Eye-to-Eye Theorem I
What is this about?
$(A)$ and $(B)$ are two circles tangent externally at $C.$ $(C)$ any circle with the radius less than $AC$ and $BC.$ From $A$ and $B$ draw tangents to $(C)$ and mark points $E,G,N,L$ and $F,H,O,M$ where they intersect circles $(A)$ and $(B),$ respectively.
Then points $L,E,F,M$ are collinear as are points $N,G,H,O;$ both lines are parallel to $AB,$ making several rectangles, say, $EGHF$ and $LNOM.$
There is a good deal of tangent lines and, hence, right triangles. Some of these are similar.
I shall prove the assertion only for $EGHF.$
Let $I$ be the foot of the perpendicular from $E$ to $AB;$ $J$ the point of tangency of $AE$ and $(C).$
Triangles $AEI$ and $ACJ$ are right and similar because they share an acute angle at $A.$ Their hypotenuses $AC$ and $AE$ are equal as radii of $(A).$ It follows that $\Delta AEI=\Delta ACJ$ and, hence, $EI=CJ$ - the radius of $(C).$
By symmetry, the same holds for $G,F,H,$ making $EGHF$ a rectangle with sides $EF$ and $GH$ tangent to $(C).$
The problem has been posted by Dao Thanh Oai at the CutTheKnotMath facebook page.
The statement admits an easy generalization. I took the liberty of naming the two Eye-to-Eye theorem I and Eye-to-Eye Theorem II.
|Contact| |Front page| |Contents| |Geometry|Copyright © 1996-2018 Alexander Bogomolny