Porisma

Original question & working

Alternating terms, even terms and products · source reference

[2009/IJC/Prelim/I/12] · Question pp. 2 · Working pp. 10, 11

Open the interactive lesson

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

View source review notes
Full original question, working & notes

Printed question

A geometric series G is given by e−e1+α+e1+2α−e1+3α+⋯e-e^{1+\alpha}+e^{1+2\alpha}-e^{1+3\alpha}+\cdots, where α\alpha is a negative real number.

(i) Show that G is convergent. [2]

(ii) Its sum to infinity is SS. Given that the sum to infinity of the even-numbered terms (the second, fourth, sixth, … terms) is −13S-\frac13S, find α\alpha exactly. [4]

(iii) In another series H, each term is the modulus of the corresponding G term. Given α=−0.03\alpha=-0.03, find the greatest nn such that the product of H’s first nn terms exceeds 15000. [4]

Printed working

(i) Common ratio r=−eαr=-e^{\alpha}; ∣−eα∣=eα<1|-e^{\alpha}|=e^{\alpha}<1 since α<0\alpha<0, so G converges.

(ii) S=e/(1+eα)S=e/(1+e^{\alpha}). Even-term sum:

−e1+α1−(−eα)2=−e1+α1−e2α=−13e1+eα.\frac{-e^{1+\alpha}}{1-(-e^{\alpha})^2}=\frac{-e^{1+\alpha}}{1-e^{2\alpha}}=-\frac13\frac e{1+e^{\alpha}}. eα1−eα=13⇒4eα=1⇒eα=14⇒α=−ln⁡4.\frac{e^{\alpha}}{1-e^{\alpha}}=\frac13\Rightarrow4e^{\alpha}=1\Rightarrow e^{\alpha}=\frac14\Rightarrow\alpha=-\ln4.

(iii) H is e+e1+α+e1+2α+⋯e+e^{1+\alpha}+e^{1+2\alpha}+\cdots. Product of nn terms:

e e1+α⋯e1+(n−1)α=e1+(1+α)+(1+2α)+⋯+[1+(n−1)α]=en2[2+(n−1)α]=en2(2.03−0.03n).e\,e^{1+\alpha}\cdots e^{1+(n-1)\alpha}=e^{1+(1+\alpha)+(1+2\alpha)+\cdots+[1+(n-1)\alpha]}=e^{\frac n2[2+(n-1)\alpha]}=e^{\frac n2(2.03-0.03n)}.

Given this >15000>15000,

n2(2.03−0.03n)>ln⁡15000⇒0.03n2−2.03n+2ln⁡15000<0.\frac n2(2.03-0.03n)>\ln15000\Rightarrow0.03n^2-2.03n+2\ln15000<0.

Roots 11.39 and 56.275. Thus 11.39<n<56.27511.39<n<56.275, greatest n=56n=56.

Alternative: graph y=en(2.03−0.03n)/2y=e^{n(2.03-0.03n)/2} against y=15000y=15000. Intersections 11.39,56.275 yield the same interval and answer.

Teacher notes

G converges when ∣r∣<1|r|<1.

Even-indexed terms T2,T4,T6,…=−e1+α,−e1+3α,−e1+5α,…T_2,T_4,T_6,\ldots=-e^{1+\alpha},-e^{1+3\alpha},-e^{1+5\alpha},\ldots form a GP with first term −e1+α-e^{1+\alpha} and common ratio e2αe^{2\alpha}.

H takes the modulus of each G term, giving e+e1+α+e1+2α+⋯e+e^{1+\alpha}+e^{1+2\alpha}+\cdots.

Source diagrams redrawn

12-08-exp 12-08-quad 12-08-product

Printed answer key

(ii) −ln⁡4-\ln4; (iii) 56

Mathematical review and qualifications

(i) Ratio is −eα-e^\alpha, with modulus below one, so GG converges.

(ii) S=e/(1+t)S=e/(1+t) and the even-indexed sum is −et/(1−t2)-et/(1-t^2). Equality gives t/(1−t)=1/3t/(1-t)=1/3, hence t=1/4t=1/4, α=−ln⁡4\alpha=-\ln4.

(iii) The product is exp⁡[n+αn(n−1)/2]\exp[n+\alpha n(n-1)/2]. At α=−0.03\alpha=-0.03 its logarithm is 1.015n−0.015n21.015n-0.015n^2. Solve 1.015n−0.015n2>ln⁡150001.015n-0.015n^2>\ln15000, giving approximately 11.39<n<56.27511.39<n<56.275. The greatest integer is 56; the logarithms at 56 and 57 are 9.8 and 9.12, bracketing ln⁡15000≈9.616\ln15000\approx9.616.

Provenance

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