Maths WorkshopMaths problems with full solutions
Exercise 580Calculus › Single-variable calculus › Differentiation › Taylor expansionsL1Added 3 Nov 2026

The Taylor expansion of arctan by integrating

#Taylor expansion#integration of expansions#arctangent

Statement

  1. Write the expansion of 11+t2\dfrac1{1+t^2} at 00 up to order 66.
  2. Integrate it to obtain the expansion of arctan⁡x\arctan x at 00 up to order 77.
  3. Deduce the limit lim⁡x→0arctan⁡x−xx3\displaystyle\lim_{x\to0}\frac{\arctan x-x}{x^3}.
Hint

If ff is differentiable and f′(t)=P(t)+o(tn)f'(t)=P(t)+o(t^n), then f(x)=f(0)+∫0xP+o(xn+1)f(x)=f(0)+\int_0^xP+o(x^{n+1}).

Show solutionHide solution

Solution

1. With u=−t2u=-t^2 in 11−u=1+u+u2+u3+o(u3)\frac1{1-u}=1+u+u^2+u^3+o(u^3):
11+t2=1−t2+t4−t6+o(t6).\frac1{1+t^2}=1-t^2+t^4-t^6+o(t^6).

2. Since arctan⁡(0)=0\arctan(0)=0 and arctan⁡′(t)=11+t2\arctan'(t)=\frac1{1+t^2}, integrating term by term,
arctan⁡x=x−x33+x55−x77+o(x7).\arctan x=x-\frac{x^3}3+\frac{x^5}5-\frac{x^7}7+o(x^7).

3. arctan⁡x−x=−x33+o(x3)\arctan x-x=-\frac{x^3}3+o(x^3), so the limit is −13-\dfrac13.

Remark. Evaluating at x=1x=1 formally gives Leibniz's formula π4=1−13+15−⋯\frac\pi4=1-\frac13+\frac15-\cdots. The expansion above does not prove it (it is a local statement at 00), but it points to it.