Porisma

Original question & working

Half the infinite sum and alternate indices · source reference

[2009/NYJC/Prelim/I/9] · Question pp. 2 · Working pp. 8, 9

Open the interactive lesson

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

An infinite GP need not have a finite sum. The printed solution supplies a convergence assumption absent from part (b) wording.

View source review notes
Full original question, working & notes

Printed question

(a) In a convergent geometric progression, the sum of the first nn terms equals the sum of the remaining terms. Given also that the (n+1)(n+1)th term is 12\frac12, determine the (2n+1)(2n+1)th term. [4]

(b) An arithmetic progression has first term aa and common difference dd. The eighth, third and second terms are successive terms of an infinite geometric progression. If the first GP term is 10, find the sum of its even-numbered terms. [4]

A sequence is formed whose nnth term is ln⁡∣unun+1∣\ln|u_nu_{n+1}|, where unu_n is the nnth term of the geometric progression. Show that it forms an AP and state the common difference. [3]

Printed working

(a) Sn=S∞−Sn⇒2Sn=S∞S_n=S_{\infty}-S_n\Rightarrow2S_n=S_{\infty}.

2a(1−rn)1−r=a1−r⇒2(1−rn)=1⇒rn=12.2\frac{a(1-r^n)}{1-r}=\frac a{1-r}\Rightarrow2(1-r^n)=1\Rightarrow r^n=\frac12.

Given arn=12ar^n=\frac12, hence a=1a=1.

(2n+1)th term=ar2n=a(rn)2=(1/2)2=14.(2n+1)\text{th term}=ar^{2n}=a(r^n)^2=(1/2)^2=\frac14.

(b) (a+7d),(a+2d),(a+d)(a+7d),(a+2d),(a+d) form a convergent GP.

r=a+2da+7d=a+da+2d⇒3d2=−4ad⇒d=−43a.r=\frac{a+2d}{a+7d}=\frac{a+d}{a+2d}\Rightarrow3d^2=-4ad\Rightarrow d=-\frac43a.

(d≠0d\ne0 since r≠1r\ne1 for a convergent GP.)

r=a+da+2d=a−4a/3a−8a/3=15.r=\frac{a+d}{a+2d}=\frac{a-4a/3}{a-8a/3}=\frac15.

Even-numbered sum =10/51−(1/5)2=2512=\frac{10/5}{1-(1/5)^2}=\frac{25}{12}.

Let tn=ln⁡∣unun+1∣t_n=\ln|u_nu_{n+1}|.

tn−tn−1=ln⁡∣unun+1∣−ln⁡∣un−1un∣=ln⁡∣unun+1un−1un∣=ln⁡∣un+1un−1∣=ln⁡∣10rn10rn−2∣=ln⁡(1/5)2=2ln⁡(1/5).\begin{aligned}t_n-t_{n-1}&=\ln|u_nu_{n+1}|-\ln|u_{n-1}u_n|\\&=\ln\left|\frac{u_nu_{n+1}}{u_{n-1}u_n}\right|=\ln\left|\frac{u_{n+1}}{u_{n-1}}\right|\\&=\ln\left|\frac{10r^n}{10r^{n-2}}\right|=\ln(1/5)^2=2\ln(1/5).\end{aligned}

It is constant independent of nn, so AP with common difference −2ln⁡5-2\ln5.

Teacher notes

The full GP sum is T1+⋯+Tn+Tn+1+⋯T_1+\cdots+T_n+T_{n+1}+\cdots; the first bracket is SnS_n, the remaining bracket is the remaining-tail sum.

Even-indexed GP terms u2,u4,u6,…=ar,ar3,ar5,…u_2,u_4,u_6,\ldots=ar,ar^3,ar^5,\ldots have first term arar and common ratio r2r^2, so sum ar/(1−r2)ar/(1-r^2).

To prove a sequence is AP, use general consecutive terms, proving a constant difference independent of nn. This constant is the common difference. It is wrong to rely on specific terms only: u3−u2=u2−u1u_3-u_2=u_2-u_1 proves the first three are AP, not later u4,u5,…u_4,u_5,\ldots.

Printed answer key

(a) 14\frac14; (b) 2512\frac{25}{12}; −2ln⁡5-2\ln5

Mathematical review and qualifications

(a) Equality gives 1−rn=rn1-r^n=r^n, so rn=1/2r^n=1/2. Since arn=1/2ar^n=1/2, a=1a=1 and ar2n=1/4ar^{2n}=1/4.

(b) With AP first term aa and difference dd, (a+2d)2=(a+7d)(a+d)(a+2d)^2=(a+7d)(a+d) gives d(4a+3d)=0d(4a+3d)=0. For the intended convergent branch, d≠0d \ne0, so d=−4a/3d=-4a/3 and r=(a+d)/(a+2d)=1/5r=(a+d)/(a+2d)=1/5. The GP is un=10(1/5)n−1u_n=10(1/5)^{n-1}. Even-indexed sum is [10/5]/[1−1/25]=25/12[10/5]/[1-1/25]=25/12. Also ln⁡∣unun+1∣=ln⁡100+(2n−1)ln⁡(1/5)\ln|u_nu_{n+1}|=\ln100+(2n-1)\ln(1/5), an AP with difference −2ln⁡5-2\ln5.

Qualification: the question says infinite GP, while its solution assumes convergence. Without that assumption d=0,a=10d=0,a=10 gives the constant GP, whose even-indexed series diverges and whose logarithmic sequence has difference 0.

An infinite GP need not have a finite sum. The printed solution supplies a convergence assumption absent from part (b) wording.

Provenance

2025 TJC H2 Math (9758) JC2 MSM: ARITHMETIC & GEOMETRIC PROGRESSIONS. [2009/NYJC/Prelim/I/9] Question PDF pages 2; solution PDF pages 8, 9. The original files remain private QA records outside this native content.