Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This problem is so hard that I cannot figure it out. I hope you guys can give me a small push on how to tackle this problem, as I have been thinking about this for, like a week. Here's the problem:


Given a circle with center O, radius R (denoted as (O; R)), and a point A exterior to (O). From A, draw 2 separate tangent line segments AB, and AC to (O) (B, C are tangent points). Let D be the intersection of the line segment AO, and (O). Choose a point E arbitrarily on the small arc BC. Let F, G be the intersection points of DE, with AB, and AC respectively. Let I be the intersection of CF, and BG; H be the intersection of AO, and BC.

Prove that H, I, and E are collinear points.


Picture 1

Any help would be greatly appreciated.

Why can't I embed pictures in my post? :((

share|improve this question
Can we apply co-ordinate geometry? –  Tapu Feb 5 '13 at 11:01
Yes, any way would be nice, but, personally, I think applying co-ordinate geometry can be a little bit hard, as there are so many free parimeters in this problem, like $R$, and the co-ordinate of $E$. –  user49685 Feb 5 '13 at 11:05
Choose $B=(0,1)$, $C=(0,,-1)$, and $E=(u,v)$; then everything is determined. –  Christian Blatter Feb 7 '13 at 10:25
I posted an answer below. It's not a push but a complete solution. I can't figure out which part of it would be enough of a push. Probably the first two paragraphs after the diagram. –  Dan Shved Feb 7 '13 at 12:43

1 Answer 1

up vote 5 down vote accepted

Let $X$ be the point where lines $BC$ and $FG$ meet. Let $J$ be the point where BC intersects $AE$. Let's forget about point $I$ for a moment. Here is the diagram: Diagram with additional points

Observe that $BD$ is the bisector of angle $HBA$, therefore $HB/BA=HD/DA$. Similarly, $HC/CA=HD/DA$. We see that points $B$, $C$ and $D$ all have the same ratio of distances from points $H$ and $A$. It follows that $(O)$ is an Apollonian circle of segment $HA$. Since $E$ is on this circle too, $HE/EA=HD/DA$. It follows that $ED$ is the bisector of angle $HEA$.

Now let us have a look at lines $EX$, $EB$, $EJ$, $EH$ and $EC$ and some of their cross-ratios. Let $f$ be the reflection across line $EX$. What we have established above is that $f(EJ)=EH$. It is also an easy exercise to see that $f(EB)=EC$ and $f(EX)=EX$. So, $f$ maps the four lines $EJ$, $EB$, $EC$ and $EX$ to lines $EH$, $EC$, $EB$ and $EX$ respectively. It follows that the corresponding cross-ratios are the same: $$ (EJ,EB;EC,EX) = (EH,EC;EB,EX). $$ Therefore, we have an equality for cross-ratios of points on line $BC$: $$ (J,B;C,X) = (H,C;B,X). $$

If we look at the perspective projection from line $BC$ to line $FG$ with center $A$, it sends points $J$, $B$, $C$ and $X$ to $E$, $F$, $G$ and $X$ respectively. Since perspective projections preserve cross-ratios, we have: $$ (E,F;G,X) = (H, C; B, X). $$

Now let us look at point $I$ (not shown on my diagram) where $BG$ and $FC$ intersect. Let $g$ be the perspective projection from line $BC$ to line $FG$ with center $I$. It is clear that $g(X)=X$, $g(B)=G$ and $g(C)=F$. $g$ preserves cross-ratios, therefore $$ (H, C; B, X) = (g(H), F; G, X), $$ and so $$ (E,F;G,X) = (g(H), F; G, X). $$ It follows that $g(H)=E$, which means that $H$, $E$ and $I$ are collinear, QED.

share|improve this answer
Hi, thank you very much for your help. I understand the first paragraph perfectly. However, I'm a little bit lost from the "mirror symmetry" part. I did do some wikipedia search, and it returned something on String Theory @.@ Can you explain briefly what mirror symmetry is (like what does $f$ do?...), or can you give me some reference on it. Thanks very much in advance. :) –  user49685 Feb 7 '13 at 14:50
@user49685 I mean a reflection. "Mirror symmetry" was a bad translation of the same thing into English. –  Dan Shved Feb 7 '13 at 15:19
I know reflection across a point, and a line; but this doesn't seem like any of the above two. :( Can you show me what $f$ does, how can $f$ map $EJ$ to $EH$? –  user49685 Feb 7 '13 at 15:25
@user49685 Of course, $f$ doesn't map point $J$ to point $H$, or segment $EJ$ to segment $EH$. But $f$ does map line $EJ$ to line $EH$, because $\angle JEX = \angle HEG$. –  Dan Shved Feb 7 '13 at 15:32
Yay, I get it. Thanks very much. :* Studying your work, I've learnt the second definition on circles (Apollonian circle), so, that's great. Thanks. I'll leave this bounty open for several more days, hope you don't mind. :) –  user49685 Feb 7 '13 at 15:43

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.