IA idea · Pure maths, number & proof
Why does 1 + 1/4 + 1/9 + … equal π²/6?
Research question
How quickly do partial sums of Σ1/n² approach π²/6, and can Euler's argument using the Maclaurin series of sin x be made convincing at the level of AA HL?
Adapt it: change the place, the data or the comparison until the question is yours.
Why it makes a good exploration
The Basel problem defeated mathematicians for decades until Euler's audacious solution in 1734. Numerically exploring convergence and then reconstructing Euler's argument — and its gaps — is a classic HL exploration.
The mathematics you'll need
- Infinite series and convergence
- Comparison with integrals to bound the tail
- Maclaurin series of sin x
- Factorising a polynomial by its roots; comparing coefficients
Course labels show where a technique sits; using maths from outside your course is fine if you explain it clearly and say it is new to you.
Where the data comes from
No data needed.
- Desmos graphing calculator — Free graphing and regression (y₁ ~ ax₁ + b) — fit models to your data and show residuals.
Cite every source in a footnote where you use it and in your bibliography. Check the licence of any dataset you download.
A possible outline
- Explore partial sums numerically.
- Bound the error with integrals.
- Present Euler's argument step by step.
- Identify the unjustified step (infinite products) honestly.
- Reflect on rigour in mathematics.
Pitfalls that cost marks
- Presenting Euler's argument as a complete proof.
- Error estimates without justification.
- Copying the argument without understanding it.
Showing personal engagement
- Use the method to find Σ1/n⁴.
- Accelerate convergence using your tail estimate.
- Discuss how mathematicians later made the proof rigorous.
See Criterion C: personal engagement for what examiners look for.
Taking it further
Use the same method to derive Σ1/n⁴ = π⁴/90.
Turn this idea into your IA
Similar ideas
- How does a calculator work out sin(x)?AA HLAA SLSolid
- Will the sofa fit round the corner? The longest object through a corridorAA SLAA HLAI SLAI HLSolid
- How are letters drawn on a screen? Bézier curvesAA HLAA SLAI HLSolid
- Estimating π by dropping needles: how fast does the estimate improve?AA HLAA SLAI SLAI HLSolid