# Bespectacled Eyeballs Extension

### Problem

Circle $O(I)$ and $O(J)$ are centered at $O$ and are through $I$ and $J,$ respectively. Circle $Q(K)$ and $Q(L)$ are centered at $Q$ and are through $K$ and $L,$ respectively. $OL$ and $OL'$ are tangent to $Q(L);$ $QI$ and $QI'$ are tangent tangent to $O(I).$ Further, $J=OL\cap O(J),$ $G=OL'\cap O(J),$ $K=QI\cap Q(K),$ $H=OI'\cap Q(K).$ Also, $\displaystyle\frac{OI}{OJ}=\frac{QL}{QK}.$ Prove that $GHKJ$ is a rectangle.

### Solution

Observe that when the given ratio is $1$ the problem reduces to the Eyeball theorem. Define $J'=OL\cap O(I),$ $G'=OL'\cap O(I),$ $K'=QI\cap Q(L),$ $H'=OI'\cap Q(L).$ Then, by the Eyeball theorem, $G'H'K'J'$ is a rectangle. From $\displaystyle\frac{OI}{OJ}=\frac{QL}{QK}$ we also have $\displaystyle\frac{J'G'}{JG}=\frac{K'H'}{KH}$ while, due to symmetry, $J'G'\parallel JG$ and $K'H'\parallel KH.$ This implies that $GHKJ$ is also a rectangle.

(This is an example of a problem in which a particular case implies the more general one.)

### Acknowledgment

The above has been submitted by Dao Thanh Oai (Vietnam) in private communication.

### Problems with Ophthalmological Connotations

• The Eyeball Theorem
• Eye-to-Eye Theorem I
• Eye-to-Eye Theorem II
• The Squinting Eyes Theorem
• Eyeballing a ball
• Praying Eyes Theorem
• Focus on the Eyeball Theorem
• Eyeball Theorem Rectified
• Shedding Light on the Ball for Eyeballing
• Eyeballs Projected
• Archimedean Siblings out of Wedlock, i.e., Arbelos
• Rectified, Halved, Sheared, Eyeballs Still Surprise