Pure 9.1 - Locating roots by sign changes

Pure 9.1 - Locating roots by sign changes

Trap an awkward root inside an interval without finding its exact value. You will use signs and continuity to justify roots and rounded answers, then recognise the two traps: missed crossings and breaks in a graph.

What a sign change means

Can two calculator readings prove that an equation has a solution, even when neither reading is zero? For f(x)=x3−x−2f(x)=x^3-x-2, the readings f(1)=−2f(1)=-2 and f(2)=4f(2)=4 already tell a useful story: a continuous graph must get from below the axis to above it.

You already know

A positive function value puts a point above the xx-axis; a negative value puts it below. Polynomials and exponential functions are continuous on the whole real line.

The solution is an input, rather than the function value produced by that input.

Root

A root of f(x)=0f(x)=0 is an input x=αx=\alpha with f(α)=0f(\alpha)=0. Its graph point is (α,0)(\alpha,0). For example, 22 is a root of x2−4=0x^2-4=0; 44 is not.

A continuous graph has no break on the interval being examined. It cannot switch sides of the axis without meeting it.

Sign-change test

If ff is continuous on [a,b][a,b], where a<ba<b, and

f(a)f(b)<0f(a)f(b)<0

then f(x)=0f(x)=0 has at least one root in (a,b)(a,b).

Not in the formula booklet: learn it.

The signs may change in either direction. They establish existence, rather than uniqueness.

[DIAGRAM: asset_slug: p1_9_1_locate_roots_by_considering_changes_of_sign_of_f_x__diagram_01; asset_name: Three sign-change possibilities; caption: A crossing, two hidden crossings and an asymptote give different conclusions; description: Three exact panels show x minus 2 crossing zero, (x minus 1)(x minus 3) crossing twice, and 1/(x minus 2) changing sign across an asymptote without a root. Defined endpoints are filled.]
A crossing, two hidden crossings and an asymptote give different conclusions

Worked example 1: a polynomial crossing

Question. Show that x3−x−2=0x^3-x-2=0 has a root between 11 and 22.

Plan. Evaluate the polynomial at both endpoints, then use continuity.

f(1)=1−1−2=−2left endpointf(2)=8−2−2=4right endpoint\begin{aligned} f(1)&=1-1-2=-2 && \text{left endpoint} \\ f(2)&=8-2-2=4 && \text{right endpoint} \end{aligned}

Why this step? Opposite signs place the continuous graph on opposite sides of the axis.

Answer. Since f(1)<0<f(2)f(1)<0<f(2) and ff is continuous on [1,2][1,2], there is at least one root in (1,2)(1,2).

Check. The endpoints are not roots, so the root really is strictly between them.

Change only the constant term in the polynomial. The reasoning stays the same, although the endpoint values change.

Worked example 2: the same test with a new constant

Question. Show that x3−x−3=0x^3-x-3=0 has a root between 11 and 22.

Plan. Repeat the endpoint calculation for the new function.

f(1)=1−1−3=−3negativef(2)=8−2−3=3positive\begin{aligned} f(1)&=1-1-3=-3 && \text{negative} \\ f(2)&=8-2-3=3 && \text{positive} \end{aligned}

Why this step? The sign test belongs to the current function; values for the earlier cubic cannot be reused.

Answer. There is a sign change, and a polynomial is continuous, so there is a root in (1,2)(1,2).

Check. f(1.5)=−1.125f(1.5)=-1.125 places the crossing in the upper half of that interval, consistently with the conclusion.

An exponential can be tested in exactly the same way once you have checked its continuity. For example, ex−4xe^x-4x is continuous and has values 0.149858…0.149858\ldots at 0.30.3 and −0.108175…-0.108175\ldots at 0.40.4, proving a root between them.

Watch out

Wrong: “The signs differ, so there is exactly one root.” Right: “There is at least one root.” A uniqueness claim needs extra information, such as strict monotonicity.

For your turn, change the cubic's constant once more, keeping its tested interval fixed.

Writing the exam conclusion

Make the logical bridge visible: endpoint signs, continuity of the function, then a root in the interval. Continuity is a property you check independently; a sign change does not establish it.

For f(x)=ln⁡(x+3)−xf(x)=\ln(x+3)-x, the domain is x>−3x>-3. Both endpoints of [1,2][1,2], and every point between them, lie in that domain. Therefore the logarithm creates no break there.

Worked example 3: a logarithmic conclusion

Question. Given f(x)=ln⁡(x+3)−xf(x)=\ln(x+3)-x, show that a root lies in (1,2)(1,2).

Plan. Calculate the signs and explain why the logarithm is continuous throughout this interval.

f(1)=ln⁡4−1=0.386294…positivef(2)=ln⁡5−2=−0.390562…negative\begin{aligned} f(1)&=\ln4-1=0.386294\ldots && \text{positive} \\ f(2)&=\ln5-2=-0.390562\ldots && \text{negative} \end{aligned}

Why this step? The argument x+3x+3 stays positive throughout [1,2][1,2], so the logarithm is defined and continuous there.

Answer. The signs differ and ff is continuous on [1,2][1,2], hence f(x)=0f(x)=0 has a root in (1,2)(1,2).

Check. x+3x+3 lies between 44 and 55, safely away from the logarithm's boundary at zero.

Change only the constant inside the logarithm. You must check the new domain before giving the same form of conclusion.

Worked example 4: checking the domain again

Question. Show that g(x)=ln⁡(x+4)−xg(x)=\ln(x+4)-x has a root in (1,2)(1,2).

Plan. Find the endpoint signs and check positivity of x+4x+4.

g(1)=ln⁡5−1=0.609438…positiveg(2)=ln⁡6−2=−0.208241…negative\begin{aligned} g(1)&=\ln5-1=0.609438\ldots && \text{positive} \\ g(2)&=\ln6-2=-0.208241\ldots && \text{negative} \end{aligned}

Why this step? Here the valid domain is x>−4x>-4, and it contains the entire tested interval.

Answer. Since gg is continuous on [1,2][1,2] and changes sign, a root lies in (1,2)(1,2).

Check. At x=1.5x=1.5, g(x)=0.204748…>0g(x)=0.204748\ldots>0, consistent with a crossing further to the right.

Pearson rewards the complete argument, even when the calculation itself is short.

Exam tip

Write “the function is continuous”, followed by the root conclusion. “The interval is continuous” and “the root is continuous” do not state the required property.

For example, supplied readings f(4)=−0.28f(4)=-0.28, f(5)=1.91f(5)=1.91, together with continuity on [4,5][4,5], would prove a root in (4,5)(4,5). For your turn, instead change only the logarithm's constant from 44 to 55.

Continue this lesson.

You’re previewing NovaLearn without an account. Create a free account to read the rest.

Create free account