Porisma

Worked solution

Recover an inverse-cosine tangent from its Maclaurin coefficients

Given cos⁡y=1−ex/4\cos y=\sqrt{1-e^x/4} and 0<y<π/20<y<\pi/2, show sin⁡(2y)y′=ex/4\sin(2y)y^{\prime}=e^x/4. By further differentiation find the Maclaurin series for yy through x2x^2 in exact form. marks

Deduce the tangent to y=cos⁡−1 ⁣1−ex/4y=\cos^{-1}\!\sqrt{1-e^x/4} at x=0x=0. marks

[2008/NJC/Promo/7]

CJC · Review problems · Question 8

Answer

y=π/6+x/(23)+x2/(63)+O(x3)y=\pi/6+x/(2\sqrt3)+x^2/(6\sqrt3)+O(x^3); tangent y=x/(23)+π/6y=x/(2\sqrt3)+\pi/6.

Square the radical and differentiate

cos⁡2y=1−ex/4\cos^2y=1-e^x/4 gives −2cos⁡ysin⁡y y′=−ex/4-2\cos y\sin y\,y^{\prime}=-e^x/4, hence sin⁡(2y)y′=ex/4\sin(2y)y^{\prime}=e^x/4. The square root is present in the original printed question, though absent from its native extraction.

How did this part go?

Differentiate again and evaluate the branch at zero

A further derivative gives sin⁡(2y)y′′+2cos⁡(2y)(y′)2=ex/4\sin(2y)y^{\prime\prime}+2\cos(2y)(y^{\prime})^2=e^x/4. The branch condition gives y(0)=π/6y(0)=\pi/6, y′(0)=1/(23)y^{\prime}(0)=1/(2\sqrt3) and y′′(0)=1/(33)y^{\prime\prime}(0)=1/(3\sqrt3). Thus

y=π6+x23+x263+O(x3).\begin{aligned}&y\\ & =\frac\pi6+\frac{x}{2\sqrt3}+\frac{x^2}{6\sqrt3}+O(x^3).\end{aligned}

How did this part go?

Use the exact constant and linear terms for the tangent

The tangent has point (0,π/6)(0,\pi/6) and slope 1/(23)1/(2\sqrt3), so y−π/6=x/(23)y-\pi/6=x/(2\sqrt3), or y=x/(23)+π/6y=x/(2\sqrt3)+\pi/6. This is the exact tangent, not a quadratic approximation to it.

How did this part go?

Common mistakes

Dropping the square root changes the initial value and every derivative.

Read the hint