9. Combined Transcendental Inequality Solver
This calculator solves inequalities of the form
\[
\mathrm{LHS}(x)\ \square\ \mathrm{RHS}(x)
\]
where the expressions may mix polynomials, exponentials, logarithms, and trigonometric functions.
The output is a union of intervals (within a chosen solve window).
1) Reduce to a sign problem
Move everything to one side:
\[
f(x)=\mathrm{LHS}(x)-\mathrm{RHS}(x).
\]
Then solve
\[
f(x)\ \square\ 0.
\]
Between two consecutive real roots of \(f\), the sign of \(f\) is constant (as long as \(f\) is defined).
2) Domain restrictions (important!)
- \(\ln(u)\) and \(\log(u)\) require \(u>0\).
- \(\sqrt{u}\) requires \(u\ge 0\) (real-valued mode).
- Division by 0 creates a hole / vertical blow-up.
The calculator detects “domain holes” numerically and marks them as red dashed vertical lines on the graph.
Intervals never cross those cuts.
3) Numerical root bracketing + bisection
Most mixed transcendental equations \(f(x)=0\) have no simple closed-form solution, so we compute roots numerically:
- Scan the interval \([x_{\min},x_{\max}]\) on a grid.
- When \(f\) changes sign between two grid points, a root lies between them (Intermediate Value Theorem).
- Refine the root using bisection until the chosen tolerance is reached.
The Precision slider controls the bisection tolerance (smaller tolerance = more accurate roots, slightly more work).
4) Build the solution set (test points)
Collect the boundary points (roots + domain cuts + window endpoints), split the line into sub-intervals,
test one midpoint per piece, and keep the pieces where \(f(x)\ \square\ 0\) is true.
5) Monte-Carlo verification (sanity check)
If enabled, the calculator samples random points in the solve window, evaluates the inequality,
and compares with the computed interval membership. If mismatches appear, increase precision or widen the window.
6) Difficulty levels
- High-school: polynomial / sqrt / abs only.
- Pre-calculus: adds \(\sin,\cos,\tan,\exp,\ln,\log\).
- University: adds inverse trig + \(\min/\max\).
7) Notes & limitations
- Solutions are computed within \([x_{\min},x_{\max}]\). If you suspect solutions outside, expand the window.
- Very steep functions may require higher precision and/or a wider scan region.
- Discontinuities can create separate solution pieces; always watch the dashed “cut” lines.
Tip: If you mainly need the roots first, solve \(f(x)=0\) (by setting LHS = RHS) and then use the inequality solver.
If you need symbolic simplification/factoring, use your Expressions/Factoring tools before coming back here.