Porisma

Original question & working

A shifted cotangent is analytic at zero · source reference

[modified 2009/ACJC/Prelim/I/11] · Question pp. 25 · Working pp. 25, 26

Open the interactive lesson

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

Both Topic 09 PDFs are identical and include full solutions beside the questions; opening source pages reveals answers.

View source review notes
Full original question, working & notes

Printed question

(i) Given that y=cot⁡(2x+π4)y=\cot(2x+\frac\pi4), find an equation relating dydx\frac{dy}{dx} and yy. [2]

Hence show that d3ydx3=k[yd2ydx2+(dydx)2]\frac{d^3y}{dx^3}=k[y\frac{d^2y}{dx^2}+(\frac{dy}{dx})^2], where kk is a constant to be found. [2]

(ii) Find the Maclaurin’s series for yy up to and including the term in x3x^3 if xx is sufficiently small for powers of xx higher than x3x^3 to be neglected. [2]

(iii) Using the Maclaurin’s expansion for yy, estimate the value of csc⁡2(13π50)\csc^2(\frac{13\pi}{50}), giving your answer in the form a+bπ+cπ2a+b\pi+c\pi^2, where a,b,ca,b,c are constants to be determined. [4]

(iv) Using your result from part (ii), state the equation of the tangent to the curve y=cot⁡(2x+π4)y=\cot(2x+\frac\pi4) at x=0x=0. [1]

(v) Explain why a Maclaurin series for y=cot⁡2xy=\cot2x cannot be found. [1]

[modified 2009/ACJC/Prelim/I/11]

Printed working

y′=−2csc⁡2(2x+π/4)=−2[1+cot⁡2(2x+π/4)]=−2(1+y2)y'=-2\csc^2(2x+\pi/4)=-2[1+\cot^2(2x+\pi/4)]=-2(1+y^2).

y′′=−4yy′y''=-4yy', y′′′=−4(y′)2−4yy′′=−4[yy′′+(y′)2]y'''=-4(y')^2-4yy''=-4[yy''+(y')^2], so k=−4k=-4.

At 0, y=1y=1, y′=−4y'=-4, y′′=16y''=16, y′′′=−128y'''=-128; y=1−4x+16x2/2!−128x3/3!+⋯≈1−4x+8x2−64x3/3y=1-4x+16x^2/2!-128x^3/3!+\cdots\approx1-4x+8x^2-64x^3/3.

Differentiate: −2csc⁡2(2x+π/4)≈−4+16x−64x2-2\csc^2(2x+\pi/4)\approx-4+16x-64x^2; csc⁡2(2x+π/4)≈2−8x+32x2\csc^2(2x+\pi/4)\approx2-8x+32x^2.

2x+π/4=13π/50⇒x=π/2002x+\pi/4=13\pi/50\Rightarrow x=\pi/200; csc⁡2(13π/50)≈2−π/25+π2/1250\csc^2(13\pi/50)\approx2-\pi/25+\pi^2/1250. a=2,b=−1/25,c=1/1250a=2,b=-1/25,c=1/1250.

Tangent is y=1−4xy=1-4x. At 0, cot⁡2x\cot2x is undefined, hence no Maclaurin expansion exists there.

Teacher note 1

Let y=f(x)y=f(x). To find the Maclaurin’s series for yy, up to and including the term in x3x^3, differentiate up to the 3rd derivative. Substitute the values of y,y′,y′′,y′′′y,y',y'',y''' when x=0x=0 into Maclaurin’s theorem:

f(x)=f(0)+f′(0)x+f′′(0)2!x2+f′′′(0)3!x3+⋯ .f(x)=f(0)+f'(0)x+\frac{f''(0)}{2!}x^2+\frac{f'''(0)}{3!}x^3+\cdots.

Teacher note 2

The first 2 terms (constant and term in xx) in the Maclaurin’s series for yy give the tangent equation.

Mathematical review

(i) y′=−2(1+y2)y'=-2(1+y^2), y′′=−4yy′y''=-4yy', and y(3)=−4[(y′)2+yy′′]y^{(3)}=-4[(y')^2+yy''], so k=−4k=-4.

(ii) At zero, y=1,y′=−4,y′′=16,y(3)=−128y=1,y'=-4,y''=16,y^{(3)}=-128. Thus y=1−4x+8x2−64x3/3+O(x4)y=1-4x+8x^2-64x^3/3+O(x^4).

(iii) csc⁡2(2x+π/4)=−y′/2≈2−8x+32x2\csc^2(2x+\pi/4)=-y'/2\approx2-8x+32x^2. Set x=π/200x=\pi/200: the estimate is 2−π/25+π2/12502-\pi/25+\pi^2/1250, so a=2,b=−1/25,c=1/1250a=2,b=-1/25,c=1/1250.

(iv) The tangent is y=1−4xy=1-4x. (v) cot⁡2x\cot2x has a pole at zero, so an ordinary power series there cannot represent it (a Laurent series is possible).

Provenance

TJC JC2 2025 H2 Maths (9758) MSM. Native transcription checked against original visible question, working and sidebars. Question page(s): 25. Working page(s): 25, 26. The two Series source files are byte-identical; their shared visible content is expressed once and mapped to both page sets. Original records remain private for QA; this native article has no PDF or raster worksheet dependency.