Locate and bisect a circular-equation root
The following circular equation is to be solved numerically
\[\sin x=-0.25x - 0.778\]
Write the algebraic function in the equation as \(P(x)=-0.25x - 0.778\)
Let \(F(x)\) be the circular side minus the algebraic side, so \(F(x)=\sin x-\left(-0.25x - 0.778\right)\)
The sign-changing interval under consideration is \(\left[-\frac{9}{10},-\frac{3}{10}\right]\). The table also gives one point just outside each endpoint
| \(x\) | \(F(x)\) |
|---|---|
| \(-\frac{21}{20}\) | \(\approx -0.352\) |
| \(-\frac{9}{10}\) | \(\approx -0.230\) |
| \(-\frac{3}{10}\) | \(\approx 0.407\) |
| \(-\frac{3}{20}\) | \(\approx 0.591\) |
On this interval, \(F\) is strictly increasing
Select the two functions, the justified root count and the interval containing the sign change