Porisma

Worked solution

Use an iteration to approximate the specified cubic root

The cubic x3−6x+1=0x^3-6x+1=0 has a root α\alpha in (0,1)(0,1).

(i) Find α\alpha to 5 decimal places. mark

(ii) For xn+1=(xn3+1)/6x_{n+1}=(x_n^3+1)/6, x1=0x_1=0, use a calculator to determine the sequence’s behaviour. marks

(iii) Prove algebraically that, if the sequence converges to α\alpha, its limit is the root of the given cubic. marks

[2008/CJC/I/5]

CJC · Review problems · Question 15

Answer

α=0.16745\alpha=0.16745 (5 d.p.); from x1=0x_1=0 the iteration increases to α\alpha, and its limiting equation is α3−6α+1=0\alpha^3-6\alpha+1=0.

(i) Select the root in the specified interval

The root in (0,1)(0,1) is α≈0.1674491911\alpha\approx0.1674491911, so α=0.16745\alpha=0.16745 to 5 d.p. Other roots of the cubic are not the root selected in this question.

How did this part go?

(ii) Retain the calculator iteration behaviour

The source calculator iterates the recurrence from x1=0x_1=0 and reports increasing convergence to α\alpha. The reproduced values are:

nx_n (approximately)
10
20.16666666667
30.16743827160
40.16744903803
50.16744918896
60.16744919108
70.16744919111
80.16744919111

The first two nonzero exact values are x2=1/6x_2=1/6, x3=217/1296x_3=217/1296. Repeated rounded values are not a proof of exact equality or of convergence.

How did this part go?

(iii) Pass to the limit in the continuous recurrence

If xn→αx_n\to\alpha, then xn+1→αx_{n+1}\to\alpha and α=(α3+1)/6\alpha=(\alpha^3+1)/6. Hence α3−6α+1=0\alpha^3-6\alpha+1=0, as required. For this starting value, increasing bounded convergence can also be checked: the map is increasing on [0,α][0,\alpha], sends that interval into itself, and (x3+1)/6>x(x^3+1)/6>x below α\alpha. The conditional limit calculation alone is not a proof for arbitrary starting values.

How did this part go?

Compare your sketch

Expand diagram

Use the scrollbars or arrow keys to inspect details.

Iteration values x_n from x_1=0 rise toward alpha≈0.1674491911. Discrete points for n=1,…,8 are shown with a horizontal limiting line; the selected cubic root lies in (0,1).
Iteration values x_n from x_1=0 rise toward alpha≈0.1674491911. Discrete points for n=1,…,8 are shown with a horizontal limiting line; the selected cubic root lies in (0,1).
Iteration values x_n from x_1=0 rise toward alpha≈0.1674491911. Discrete points for n=1,…,8 are shown with a horizontal limiting line; the selected cubic root lies in (0,1).

Common mistakes

A fixed-point calculation is conditional on convergence, and repeated calculator digits are not an exact constant sequence.

Read the hint