Porisma

Worked solution

Differentiate a tangent expansion to obtain a secant-square series

Let y=tan⁡2xy=\tan 2x, show that

(i) dy/dx=2(1+y2)dy/dx=2(1+y^2),

(ii) d3y/dx3=4(dy/dx)2+4y d2y/dx2d^3y/dx^3=4(dy/dx)^2+4y\,d^2y/dx^2.

Find the Maclaurin series for tan⁡2x\tan 2x, up to and including the term in x3x^3.

Hence, find the first two nonzero terms of the Maclaurin series for sec⁡22x\sec^2 2x.

CJC · Lecture · Example 7

(i) Keep the chain-rule factor of 2

The Teacher fills the first derivative steps left blank in the Student copy:

y′=2sec⁡2(2x)=2(1+tan⁡2(2x))=2(1+y2).\begin{aligned}&y^{\prime}\\ & =2\sec^2(2x)\\ & =2(1+\tan^2(2x))\\ & =2(1+y^2).\end{aligned}

At zero, f(0)=tan0=0 and f′(0)=2f^{\prime}(0)=2. Use radians for this trigonometric differentiation.

How did this part go?

(ii) Differentiate the relation twice with the product rule

The complete source chain, including the Teacher intermediate steps, is

y′′=ddx{2(1+y2)}=2(2y)y′=4yy′,f′′(0)=0.y^{\prime\prime}=\frac d{dx}\{2(1+y^2)\}=2(2y)y^{\prime}=4yy^{\prime},\qquad f^{\prime\prime}(0)=0.

y′′′=ddx(4yy′)=4yy′′+4y′y′=4(y′)2+4yy′′.\begin{aligned}&y^{\prime\prime\prime}\\ & =\frac d{dx}(4yy^{\prime})\\ & =4yy^{\prime\prime}+4y^{\prime}y^{\prime}\\ & =4(y^{\prime})^2+4yy^{\prime\prime}.\end{aligned}

At zero this is f′′′(0)=4(2)2+4(0)(0)=16f^{\prime\prime\prime}(0)=4(2)^2+4(0)(0)=16, establishing the requested identity and its value.

How did this part go?

Build the tangent series through the cubic term

The Teacher supplies the zero-value table and factorial substitution:

tan⁡2x=0+2x+02!x2+163!x3+⋯=2x+83x3+⋯ .\begin{aligned}&\tan2x\\ & =0+2x+\frac0{2!}x^2+\frac{16}{3!}x^3+\cdots\\ & =2x+\frac83x^3+\cdots.\end{aligned}

The constant and quadratic coefficients vanish; the cubic coefficient is 16/3!=8/316/3!=8/3.

How did this part go?

Use the source hint to relate the two functions

Both copies’ callout asks how sec⁡22x\sec^2 2x is related to tan⁡2x\tan2x. The Teacher completes the deduction:

ddx(tan⁡2x)=ddx(2x+83x3+⋯ ),\frac d{dx}(\tan2x)=\frac d{dx}\left(2x+\frac83x^3+\cdots\right),

2sec⁡2(2x)=2+8x2+⋯ ,sec⁡2(2x)=1+4x2+⋯.2\sec^2(2x)=2+8x^2+\cdots,\qquad \boxed{\sec^2(2x)=1+4x^2+\cdots}.

Divide by the chain-rule factor 2 after differentiating. Independently, termwise differentiation is justified inside the tangent power series’ convergence radius, here ∣x∣<π/4|x|<\pi/4; the next nonzero tangent term is of fifth degree, so the next nonzero secant-square term is fourth degree.

How did this part go?

Common mistakes

The derivative of tan(2x) is twice sec²(2x); differentiating the polynomial alone and forgetting that factor doubles the requested coefficients.

Solution notes

Student skeleton and full Teacher differentiation/zero values/factorial and secant-square deductions visually compared. Shared callout integrated into the deduction; decorative source artwork remains archived. No printed marks or attribution.

Read the hint