Porisma

Original question & working

A square-root iteration crosses its limit · source reference

[2012/IJC/Prelim/II/3] · Question pp. 3 · Working pp. 7

Open the interactive lesson

The working and teaching notes are included in the interactive lesson.

The source has a square root over 10−3xn10-3x_n; plain text extraction loses it. The recurrence is assumed defined and positive at every step.

View source review notes
Full original question, working & notes

Printed question

A sequence of positive numbers satisfies

xn+1=10−3xn(n=1,2,3,…).x_{n+1}=\sqrt{10-3x_n}\quad(n=1,2,3,\ldots).

(i) Given convergence to ll, find ll. [2]

(ii) Prove xn+12−l2=3(l−xn)x_{n+1}^2-l^2=3(l-x_n). [2]

(iii) Use (ii) to show that if xn<lx_n<l, then xn+1>lx_{n+1}>l. [2]

Printed working

(i) Since the sequence converges to ll, as n→∞n\to\infty, xn→l,xn+1→lx_n\to l,x_{n+1}\to l.

l=10−3l⇒l2=10−3l⇒l2+3l−10=0⇒(l−2)(l+5)=0.l=\sqrt{10-3l}\Rightarrow l^2=10-3l\Rightarrow l^2+3l-10=0\Rightarrow(l-2)(l+5)=0.

l=2l=2 or l=−5l=-5 (rejected), so l=2l=2.

(ii)

xn+12−l2=10−3xn−22=6−3xn=3(l−xn).x_{n+1}^2-l^2=10-3x_n-2^2=6-3x_n=3(l-x_n).

(iii) Since xn<lx_n<l, l−xn>0l-x_n>0. Hence xn+12−l2>0x_{n+1}^2-l^2>0 and (xn+1−l)(xn+1+l)>0(x_{n+1}-l)(x_{n+1}+l)>0. As xn+1+l>0x_{n+1}+l>0, xn+1−l>0x_{n+1}-l>0, proving xn+1>lx_{n+1}>l.

Printed answer key

(i) 2

Mathematical review and qualifications

(i) l=10−3ll=\sqrt{10-3l} implies (l−2)(l+5)=0(l-2)(l+5)=0. Nonnegativity rejects −5-5, so l=2l=2.

(ii) xn+12−l2=10−3xn−4=3(2−xn)=3(l−xn)x_{n+1}^2-l^2=10-3x_n-4=3(2-x_n)=3(l-x_n).

(iii) If xn<lx_n<l, this expression is positive. Since xn+1+l>0x_{n+1}+l>0, factoring (xn+1−l)(xn+1+l)(x_{n+1}-l)(x_{n+1}+l) gives xn+1>lx_{n+1}>l.

The source has a square root over 10−3xn10-3x_n; plain text extraction loses it. The recurrence is assumed defined and positive at every step.

Provenance

2025 TJC H2 Math (9758) JC2 MSM: RECURRENCE RELATIONS. [2012/IJC/Prelim/II/3] Question PDF pages 3; solution PDF pages 7. The original files remain private QA records outside this native content.