Porisma

Worked solution

Compose a square-root series with an inverse tangent

For y=tan⁡−1xy=\tan^{-1}x, prove 2xy′+(1+x2)y′′=02xy^{\prime}+(1+x^2)y^{\prime\prime}=0. Differentiate further to show its Maclaurin series through x3x^3 is x+hx3x+hx^3, finding hh. marks

Hence expand 1+tan⁡−1x\sqrt{1+\tan^{-1}x} through x3x^3. marks

[2009/NJC/Promo/7]

CJC · Review problems · Question 9

Answer

h=−1/3h=-1/3; 1+tan⁡−1x=1+x/2−x2/8−5x3/48+O(x4)\sqrt{1+\tan^{-1}x}=1+x/2-x^2/8-5x^3/48+O(x^4).

Differentiate the inverse-tangent identity

y′=1/(1+x2)y^{\prime}=1/(1+x^2), so (1+x2)y′=1(1+x^2)y^{\prime}=1. Differentiating gives (1+x2)y′′+2xy′=0(1+x^2)y^{\prime\prime}+2xy^{\prime}=0. Differentiate again to obtain (1+x2)y′′′+4xy′′+2y′=0(1+x^2)y^{\prime\prime\prime}+4xy^{\prime\prime}+2y^{\prime}=0.

How did this part go?

Evaluate the derivatives and identify h

At zero, y=0y=0, y′=1y^{\prime}=1, y′′=0y^{\prime\prime}=0, y′′′=−2y^{\prime\prime\prime}=-2. Hence tan⁡−1x=x−x3/3+O(x5)\tan^{-1}x=x-x^3/3+O(x^5) and h=−1/3h=-1/3.

How did this part go?

Substitute with consistent truncation order

Put u=tan⁡−1x=x−x3/3+⋯u=\tan^{-1}x=x-x^3/3+\cdots in (1+u)1/2=1+u/2−u2/8+u3/16+⋯(1+u)^{1/2}=1+u/2-u^2/8+u^3/16+\cdots. Through degree three, u2=x2+O(x4)u^2=x^2+O(x^4) and u3=x3+O(x5)u^3=x^3+O(x^5), giving

1+tan⁡−1x=1+x2−x28−5x348+O(x4).\begin{aligned}&\sqrt{1+\tan^{-1}x}\\ & =1+\frac{x}{2}-\frac{x^2}{8}-\frac{5x^3}{48}\\ &{}+O(x^4).\end{aligned}

How did this part go?

Common mistakes

The cubic contribution is −1/6+1/16, not just the outer binomial cubic term.

Read the hint