Bisection for a circular equation
Form a continuous difference function and check the endpoints for an exact root. Otherwise locate opposite endpoint signs and test the midpoint. Stop if its value is zero; if not, keep the sign-changing half and repeat
- Form a difference function Write the circular side minus the algebraic side so that an intersection is a root of F \(\displaystyle F(x)=f(x)-P(x),\quad F(x)=0\)
- Check the endpoint signs Check that F is continuous throughout the interval. If an endpoint value is zero, that endpoint is an exact root; otherwise use non-zero endpoint values with opposite signs \(\displaystyle F(L)<0<F(R)\quad\text{or}\quad F(R)<0<F(L)\)
- Calculate the midpoint Average the current left and right endpoints to obtain the next test value \(\displaystyle M=\frac{L+R}{2}\)
- Keep the sign-changing half If F(M) = 0, stop: M is an exact root. Otherwise retain the half whose endpoints have opposite signs and repeat \(\displaystyle F(L)F(M)<0\quad\Rightarrow\quad [L,M]\)
Worked example
Use two bisection steps to refine a root of the equation below on the stated interval
- \(\displaystyle F(x)=\sin x-\frac{1}{2},\quad F(0)=-\frac{1}{2}<0,\quad F\left(\frac{\pi}{2}\right)=\frac{1}{2}>0\)The endpoint signs are opposite, so the interval brackets a root
- \(\displaystyle M_1=\frac{0+\frac{\pi}{2}}{2}=\frac{\pi}{4},\quad F\left(\frac{\pi}{4}\right)\approx0.207>0\quad\Rightarrow\quad \left[0,\frac{\pi}{4}\right]\)The first midpoint is positive, so it is paired with the negative left endpoint
- \(\displaystyle M_2=\frac{0+\frac{\pi}{4}}{2}=\frac{\pi}{8},\quad F\left(\frac{\pi}{8}\right)\approx-0.117<0\quad\Rightarrow\quad \left[\frac{\pi}{8},\frac{\pi}{4}\right]\)The second midpoint is negative, so it is paired with the positive right endpoint
- \(\displaystyle x_{\rm estimate}=\frac{\frac{\pi}{8}+\frac{\pi}{4}}{2}=\frac{3\pi}{16}\)Average the endpoints of the final retained interval to report the midpoint estimate
Common mistakes
Difficulty levels
Questions about this topic
Why must the endpoint signs be opposite?+
A continuous difference function with opposite endpoint signs crosses zero somewhere between the endpoints, so the interval brackets a root
Why should midpoint function values not be rounded before choosing a half?+
A small non-zero value can round to zero. Bisection needs the sign of the unrounded value
What happens to the interval width after each bisection step?+
If no exact root has been found, each completed halving keeps one half of the current interval. After n such halvings its width is the initial width divided by two raised to the power n
Can I use a calculator?+
A calculator is allowed unless a question is marked no calculator
Which year level and chapter is this?+
Year 11, VCE Units 1 & 2, Mathematical Methods, chapter 9: Circular functions