Historical Background of Infinite Series
Imagine you are a mathematician in the 17th century, facing a seemingly simple question: How can we accurately calculate the area of a circle?
The formula for the area of a circle is known:
But what is the value of π? At that time, people only knew that π was about 3.14, but needed a more accurate value.
The ancient Greek mathematician Archimedes computed π with a geometric method:
- Inscribe a regular hexagon in the circle and compute its area
- Circumscribe a regular hexagon about the circle and compute its area
- The area of the circle lies between these two values
- Increase the number of sides (regular dodecagon, regular 24-gon, …) to squeeze the value closer
Diagram: Archimedes squeezed the area of the circle between regular polygons inscribed in and circumscribed about it; adding more sides made the bound on π progressively tighter.
The problem: this method is extremely tedious to carry out, and its precision is limited.
One day, mathematicians noticed a remarkable phenomenon:
This formula is also called the geometric series summation formula. It is one of the most fundamental formulas in the theory of infinite series.
The geometric series formula was first given by Archimedes (287 BC – 212 BC) in The Method of Squaring Parabolas, though without a rigorous proof at the time. Much later, Leonhard Euler (1707–1783) provided a rigorous proof in the 18th century and extended the range of its applications.
This formula is an important foundation of the theory of infinite series and laid the groundwork for the later development of mathematical analysis.
When :
Left-hand side:
Right-hand side:
The discovery: this infinite sum turns out to be exactly 2!
If you are interested in the proof, here is Euler’s method:
Approach:
Euler proved the geometric series formula by an algebraic method. The proof rests on the following observation: multiplying a series by shifts every term one place to the right, so subtracting the shifted series from the original leaves only the first term.
Steps:
- Introduce the sum function: let
- Multiply by :
- Subtract: , because every term except the leading cancels
- Factor out:
- Solve:
Answer:
The proof is complete: . The convergence condition is that the series converges when . Historically, this proof is concise and ingenious — it demonstrates the basic technique of manipulating infinite sums and laid the groundwork for the later development of series theory.
Mathematicians realised that an infinite sum can represent a definite number!
This is the origin of infinite series.
Later, the mathematician Leibniz found:
This means π can be computed by simple addition and subtraction!
Approach:
Between 1673 and 1674 Leibniz discovered this formula by studying the power series expansion of the arctangent function.
Steps:
-
Study the arctangent function: Leibniz noticed the power series expansion of :
-
Substitute a special value: when , , so substituting gives:
-
Historical significance: this was the first formula in history to express π as an infinite series, providing a new way to compute π.
Answer:
Properties of the formula: its rate of convergence is slow, so many terms are needed to get an accurate value; but the computation itself is simple, involving only addition and subtraction. It gave an important line of thought for the later computation of π.
Exercise 1
Compute the sum of the first 4 terms of the series .
Approach:
Compute the sum of the first 4 terms directly.
Steps:
- Evaluate each term: , , ,
- Add them up:
Answer:
The sum of the first 4 terms is 1.875.
Exercise 2
Use the Leibniz series to compute an approximation of π from its first 3 terms.
Approach:
Use the formula:
Steps:
- Take the first 3 terms:
- Evaluate:
- Multiply by 4:
Answer:
π ≈ 3.4668 (approximation from the first 3 terms)
Symbols Used in This Article
| Symbol | Type | Pronunciation/Explanation | Meaning in This Article |
|---|---|---|---|
| Greek letter | Pi | Circular constant, approximately 3.14159 | |
| Greek letter | Sigma | Summation symbol, representing series | |
| Mathematical symbol | Infinity | Represents infinite series, infinite number of terms | |
| Mathematical symbol | Variable | Variable in the series |
