Gothic ArcI've been putting a stack of magazines in order when I ran into D. Schattschneider's very positive review of a book by J. L. Heilborn. The review and the book end with a problem of Gothic Arc: The Gothic Arc OBC is constructed with two circular arcs of radius OB, one centered on O and one on B. The sequence of circles is constructed as shown in the applet below so that each circle is tangent to the semicircle on diameter OB, the arc OBC, and the adjacent circles in the sequence. Show that the radius of each of these tangent circles is a rational fraction of OD. (This is implies that the right triangles with one vertex at the center of a circle from the sequence, another at O, and the base on OB have rational sides. In particular, ODP is a 3-4-5 triangle.) The book is said to have a complete solution. I do not have the book to check the solution but the configuration is clearly embeddable into a more conventional Pappus' circle chain inscribed into Archimedes' Arbelos. For arbelos, the fact is very well known and is based on the properties of the Pappus' chain and the arbelos as partially demonstrated by Archimedes himself.
I shall just show how the "Gothic Arc" may be embedded into a more standard arbelos with a Pappus chain. Arbelos is a shape bounded by three mutually tangent semicircles with a common base. In case the two small semicircles are equal, an Archimedes' formula (with There is in fact a general formula, which has been derived elsewhere. If we denote the radius of the circle centered at K as R1, that of the circle with center at P as R2 and so on, then Archimedes' formula admits a generalization:
For the case at hand, where r = 1,
which means that KP||AB and D, the center of the semicircle, is the foot of the perpendicular from P to AB. In other words, the circle centered at P is sitting directly on top of the right semicircle. The line PD of their centers is the common axis of symmetry, which implies the possibility of the embedding. Arbelos being one of geometric wonders, the configuration has many more marvelous properties (see [Bankoff, Bankoff and Trigg]). Triangle ODP is not the only 3-4-5 triangle in this configuration. But to find another, I'll have to introduce more general notations. So let denote the centers of the circles in Pappus' chain as On, their radii as Rn, and the projection of On on AB as Pn, this in agreement with the previous usage of R1 and R2, so that As we know from Pappus' theorem,
Since in the arc, r = 1, we may simplify the expression for Rn to
Combining the two gives
We can also show that
It then follows by the Pythagorean theorem that
Thus all triangles DPnOn are Pythagorean. In particular ΔDP1O1 is 3-4-5. Wait, so far there is no big deal as ΔDP1O1 is none other than ΔDOK. But take n = 6. Then
which shows that ΔDP6O6 is also 3-4-5. As a matter of fact, ΔOP3O3 is also 3-4-5. References
|Activities| |Contact| |Front page| |Contents| |Store| |Geometry| Copyright © 1996-2012 Alexander Bogomolny |
| 40618968 |
