# Difference between revisions of "2015 AMC 12A Problems/Problem 25"

(→Solution) |
(→Solution 2 (Proof of solution 1)) |
||

Line 51: | Line 51: | ||

Note that the circles in this question are known as Ford circles. | Note that the circles in this question are known as Ford circles. | ||

− | ==Solution 2 ( | + | ==Solution 2 (Pythagorean Theorem)== |

Let the two circles from <math>L_0</math> be or radius <math>r_1</math> and <math>r_2</math>, with <math>r_1>r_2</math>. Let the circle of radius <math>r_1</math> be circle <math>A</math> and the circle of radius <math>r_2</math> be circle <math>B</math>. Now, let the circle of <math>L_1</math> have radius <math>r_3</math>. Let this circle be circle <math>C</math>. Draw a two lines parallel to the common tangential line of the two layers intersecting the center point of circle <math>B</math> and the center point of circle <math>C</math>. Now, we have <math>3</math> right triangles with a line of common length (The two parallel lines). Using the pythagorean theorem, we get the formula <math>\sqrt{(r_2+r_1)^2-(r_2-r_1)^2}=\sqrt{(r_1+r_3)^2-(r_1-r_3)^2}+\sqrt{(r_2+r_3)^2-(r_2-r_3)^2}</math> Now we solve for <math>r_3</math>. Square both sides, use the identity <math>(a^2-b^2)=(a+b)(a-b)</math> and simplify: <math>(2r_2)(2r_1) = (2r_1)(2r_3)+2\sqrt{16r_1r_3r_2r_3}+(2r_2)(2r_3)=4(r_1r_3+r_2r_3+2r_3\sqrt{r_1r_2})=4r_3(r_1+r_2+2\sqrt{r_1r_2}) \\ 4r_2r_1=4r_3(r_1+r_2+2\sqrt{r_1r_2}) \implies r_3=\frac{r_2r_1}{r_1+r_2+2\sqrt{r_1r_2}}</math> | Let the two circles from <math>L_0</math> be or radius <math>r_1</math> and <math>r_2</math>, with <math>r_1>r_2</math>. Let the circle of radius <math>r_1</math> be circle <math>A</math> and the circle of radius <math>r_2</math> be circle <math>B</math>. Now, let the circle of <math>L_1</math> have radius <math>r_3</math>. Let this circle be circle <math>C</math>. Draw a two lines parallel to the common tangential line of the two layers intersecting the center point of circle <math>B</math> and the center point of circle <math>C</math>. Now, we have <math>3</math> right triangles with a line of common length (The two parallel lines). Using the pythagorean theorem, we get the formula <math>\sqrt{(r_2+r_1)^2-(r_2-r_1)^2}=\sqrt{(r_1+r_3)^2-(r_1-r_3)^2}+\sqrt{(r_2+r_3)^2-(r_2-r_3)^2}</math> Now we solve for <math>r_3</math>. Square both sides, use the identity <math>(a^2-b^2)=(a+b)(a-b)</math> and simplify: <math>(2r_2)(2r_1) = (2r_1)(2r_3)+2\sqrt{16r_1r_3r_2r_3}+(2r_2)(2r_3)=4(r_1r_3+r_2r_3+2r_3\sqrt{r_1r_2})=4r_3(r_1+r_2+2\sqrt{r_1r_2}) \\ 4r_2r_1=4r_3(r_1+r_2+2\sqrt{r_1r_2}) \implies r_3=\frac{r_2r_1}{r_1+r_2+2\sqrt{r_1r_2}}</math> | ||

## Revision as of 21:55, 9 August 2017

## Problem

A collection of circles in the upper half-plane, all tangent to the -axis, is constructed in layers as follows. Layer consists of two circles of radii and that are externally tangent. For , the circles in are ordered according to their points of tangency with the -axis. For every pair of consecutive circles in this order, a new circle is constructed externally tangent to each of the two circles in the pair. Layer consists of the circles constructed in this way. Let , and for every circle denote by its radius. What is

## Solution 1

Let us start with the two circles in and the circle in . Let the larger circle in be named circle with radius and the smaller be named circle with radius . Also let the single circle in be named circle with radius . Draw radii , , and perpendicular to the x-axis. Drop altitudes and from the center of to these radii and , respectively, and drop altitude from the center of to radius perpendicular to the x-axis. Connect the centers of circles , , and with their radii, and utilize the Pythagorean Theorem. We attain the following equations.

We see that , , and . Since , we have that . Divide this equation by , and this equation becomes the well-known relation of Descartes's Circle Theorem We can apply this relationship recursively with the circles in layers .

Here, let denote the sum of the reciprocals of the square roots of all circles in layer . The notation in the problem asks us to find the sum of the reciprocals of the square roots of the radii in each circle in this collection, which is . We already have that . Then, . Additionally, , and . Now, we notice that because , which is a power of Hence, our desired sum is . This simplifies to .

Note that the circles in this question are known as Ford circles.

## Solution 2 (Pythagorean Theorem)

Let the two circles from be or radius and , with . Let the circle of radius be circle and the circle of radius be circle . Now, let the circle of have radius . Let this circle be circle . Draw a two lines parallel to the common tangential line of the two layers intersecting the center point of circle and the center point of circle . Now, we have right triangles with a line of common length (The two parallel lines). Using the pythagorean theorem, we get the formula Now we solve for . Square both sides, use the identity and simplify:

Now, let's change this into a function to clean things up:
Let's begin to rewrite the sum we want to find in terms of the radii of the circles, call this : Using this, we can find the sum of some layers: , , and : This is interesting, we have that the sum of Layer 0 and Layer 1 is equal to twice of Layer 0. If we continue and find the sum of layers 0, 1 and 2, we see it is equal to . This is getting very interesting, there must be some pattern. First of all, we should observe that finding of a circle is equivalent to adding up those of the 2 larger circles to construct the smaller one. Second, upon further observation, we can draw out the layers. When we're finding the next layer, we can split the current layers across the center, so that each half includes the center circle . Now, if we were to find , we notice we are doubling the current sum and including the center circle twice. So, the recursive sum would be . So, applying this new formula, we get