Definition: The law proving that the radii of circles packed tangentially into a geometric corner form a perfect geometric progression.
Chapter 1: The Shrinking Marbles (Elementary School Understanding)
Imagine you have a perfect corner, like the corner of a book or a room. You want to fit as many marbles as you can into this corner.
First, you place the biggest marble you can find. It nestles perfectly into the corner, touching both walls.
Next, you find the biggest marble that can fit into the tiny space between your first marble and the corner. You slide it in until it touches the first marble and both walls.
Then, you find the biggest marble that can fit in the even tinier space behind that one, and so on.
You will get a line of marbles going into the corner, each one smaller than the last.
The Law of Circular Packing is a magic rule about the size of these marbles. It says that the marbles don't just get smaller randomly. They follow a perfect, predictable pattern. If you measure the radius of each marble, you'll find that to get from one marble to the next, you always multiply by the same secret shrinking number.
If the first marble has a radius of 10, and the secret shrinking number is 1/2, then the next marble will have a radius of 5, the next will be 2.5, and so on, forever. This perfect, repeating scaling is called a geometric progression.
Chapter 2: The Constant Ratio of Radii (Middle School Understanding)
The Law of Circular Packing describes what happens when you recursively pack circles into a geometric corner so that each circle is tangent to the two sides of the corner and to the previous circle.
The law states that the sequence of the radii of these circles, r₁, r₂, r₃, ..., forms a geometric progression.
A geometric progression is a sequence where you get the next term by multiplying the current term by a constant value called the common ratio, q.
The formula for the sequence is: r_k = r₁ × q^(k-1).
The Common Ratio q:
The amazing part of this law is that the common ratio q is a constant that depends only on the angle of the corner, α.
For a 90-degree corner (like the corner of a square), we proved that the common ratio is a strange, irrational number: q = 3 - 2√2 ≈ 0.1716. This means each new circle's radius is only about 17% of the previous one's.
For a 60-degree corner (like in a triangle), the ratio q would be different, but it would still be a constant.
This law reveals a hidden, fractal-like self-similarity in the geometry of circles. The relationship between any circle and its smaller neighbor is exactly the same as the relationship between its larger neighbor and itself, all governed by the constant q.
Chapter 3: A Geometric Proof of Geometric Progression (High School Understanding)
The Law of Circular Packing is a provable theorem of Euclidean geometry. Let's prove it for the case of a 90° corner formed by the x and y axes.
The Setup:
A sequence of circles C₁, C₂, ... with radii r₁, r₂, ... are packed into the corner.
The center of each circle C_k must lie on the angle bisector, the line y=x. So its center is at (r_k, r_k).
Each circle C_{k+1} is tangent to the x-axis, the y-axis, and the previous circle C_k.
The Proof:
The Distance Constraint: The distance between the centers of two tangent circles is the sum of their radii. The distance between the center of C_k at (r_k, r_k) and the center of C_{k+1} at (r_{k+1}, r_{k+1}) must be r_k + r_{k+1}.
The Distance Formula: We can also calculate this distance using the distance formula:
Distance = √[ (r_k - r_{k+1})² + (r_k - r_{k+1})² ]
= √[ 2(r_k - r_{k+1})² ] = √2 × (r_k - r_{k+1})
Equating the Expressions: We now have an equation that must be true for any two consecutive circles in the sequence:
r_k + r_{k+1} = √2 × (r_k - r_{k+1})
Solving for the Ratio: Our goal is to find the common ratio q = r_{k+1} / r_k. We rearrange the equation to isolate this ratio.
r_{k+1} + r_{k+1}√2 = r_k√2 - r_k
r_{k+1}(1 + √2) = r_k(√2 - 1)
r_{k+1} / r_k = (√2 - 1) / (√2 + 1)
Conclusion: The ratio r_{k+1} / r_k is a constant value, which we can call q. It does not depend on k. Therefore, the sequence of radii is a perfect geometric progression. By rationalizing the denominator, we find the value q = 3 - 2√2.
This proof shows that the geometric series is not just an abstract idea but is a necessary consequence of the geometry of tangency.
Chapter 4: Inversion Geometry and Apollonian Gaskets (College Level)
The Law of Circular Packing is a specific, linear case of a more general set of fractal geometric problems related to Apollonian gaskets. A more powerful and elegant way to understand and prove this law is by using inversive geometry.
Inversion is a transformation of the plane that maps circles to circles (or lines, which are considered circles of infinite radius). It is a powerful tool for simplifying complex tangency problems.
Proof using Inversion:
The Setup: We have our infinite sequence of circles {C_k} packed into a 90° corner (which is two intersecting lines).
The Inversion: Perform a geometric inversion centered at the corner vertex (the origin).
Under inversion, lines passing through the center of inversion are mapped to themselves. So, the x and y axes remain unchanged.
Circles not passing through the center are mapped to other circles.
The Transformed System: The inversion transforms our infinite sequence of shrinking circles {C_k} into a new, infinite sequence of circles {C'_k}. Because the original circles were all tangent, the new circles must also be tangent. But crucially, because the original circles were shrinking towards a single point (the origin), the new circles will be arranged in a straight, infinite line, all of the same size, sandwiched between two parallel lines.
The Simplicity: The centers of these new, equal-sized circles C'_k clearly form an arithmetic progression.
The Final Step: The inverse of an inversion is the inversion itself. When we invert the system back, the arithmetic progression of the centers in the transformed space becomes a geometric progression of the radii in the original space.
This proof is more profound because it shows that the geometric progression of circular packing is the "shadow" of a simple arithmetic progression in a different, transformed geometric space. It reveals a deep duality between arithmetic and geometric series, linked by the transformation of inversion.
Chapter 5: Worksheet - The Shrinking Sequence
Part 1: The Shrinking Marbles (Elementary Level)
You are packing marbles in a corner. The first marble has a radius of 16. The "secret shrinking number" is 1/4. What is the radius of the second marble? What is the radius of the third?
What is a "geometric progression"?
Part 2: The Constant Ratio (Middle School Level)
The Law of Circular Packing states that the sequence of radii r_k follows what kind of mathematical sequence?
For a 90-degree corner, the common ratio is q ≈ 0.1716. If the first, largest circle has a radius of r₁ = 10 cm, what is the approximate radius of the second circle, r₂?
Does the common ratio q depend on the size of the first circle, or only on the angle of the corner?
Part 3: The Geometric Proof (High School Level)
The proof for the 90° corner relies on finding two different expressions for the same quantity and setting them equal. What is this quantity?
The final result of the proof is r_{k+1} / r_k = (√2 - 1) / (√2 + 1). Explain why this proves the sequence is a geometric progression.
Rationalize the denominator for the expression (√2 - 1) / (√2 + 1) to show that it equals 3 - 2√2.
Part 4: Inversive Geometry (College Level)
What is geometric inversion? What does it map circles to?
Briefly describe how inversion is used to prove the Law of Circular Packing. What does the geometric progression of radii in the original space correspond to in the inverted space?
The empty space left by the circles in a corner is a fractal. What is this type of fractal called?