An Interesting Equality for Sum of Reciprocals of the Squares
∑∞
k=1 1/k
2
= pi2/6
March 28, 2007
Overview
Some History about the Sum
Review: Maclaurin Series
Euler’s “Proof”
Expanding sin−1 x (or arcsinx)
Choe’s Proof
Sources for Further Reading
Some History about the Sum
Let I denote the sum
∑
∞
k=1
1/k2
Jakob Bernoulli (1654–1705) proved that I < 2. Although he and
his brother (Johann) tried very hard, they were not able to find the
exact value of I
Jakob said, “if anybody has discovered the answer that makes us
feel so defeated, please contact us, we will be very grateful.”
Leonard Euler (1707–1783) gave a “proof” that I = pi2/6 in 1734
In fact, he continued to produce the sum of reciprocals of the
positive even powers
Here, we will look at an alternative proof by Boo Rim Choe in 1987
Maclaurin Series
Theorem (Maclaurin Series)
The function, f(x), can be expressed by
f(x) = f(0) + f ′(0)x +
f ′′(0)
2!
x2 + · · · + f
(k)(0)
k!
xk + · · ·
How to prove?
Given f(x), can we find its constant term?
Can we find the coefficient of its x term?
In general, what should be the coefficient of its xk term?
Euler’s Proof
Euler observed that the function
sinx
has roots at x = 0,±pi,±2pi,±3pi, . . .
Next, he observed that the infinite product
x
(
1− x
2
(pi)2
)(
1− x
2
(2pi)2
)(
1− x
2
(3pi)2
)
· · ·
also has roots at x = 0,±pi,±2pi,±3pi, . . .
Euler believed that these two functions are equivalent
By Maclaurin series on sinx, we find that the coefficient of the x3
term = −1/6
On the other hand, for the infinite product, the coefficient of the x3
term = −I/pi2 = −∑∞
k=1
1/(k2pi2)
Thus, Euler concluded that I = pi2/6
Expanding Inverse of Sine (1)
Fact
For |x| < 1, ∫
1√
1−...