(CGMO 2012) The incircle of a triangle ABC is tangent to sides AB and AC at D and E respectively, and O is the circumcenter of triangle BCI where \(I\) denotes the incenter of \(\bigtriangleup ABC\). Prove that \(\angle ODB = \angle OEC \)

\(\textbf{Proof}\)

We will first prove this lemma.

\(\textbf{Lemma} \) Let \(ABC\) be a triangle with incenter \(I\) , A-excenter \(I_a\), and denote the midpoint of arc \(BC\) to be \(L\), then points \(B, I, C, I_a\) are concyclic with \(L\) as the circle center.

(We will denote angle \(A\) , \(B\), \(C\), as \(\alpha, \beta, \) and \(\gamma\), respectively.)

Also note that \(\alpha + \beta + \gamma = 180 \)

Proof: First notice that \(L\) is the intersection of the angle bisector of \(A\) and perpendicular bisector of \(BC\).

First we prove that \(LB = LI = LC\).

Since the perpendicular of \(L\) to \(BC\) is the perpendicular bisector of \(BC\), we know that \(LB = LC\).

Because \(BI, AI\) are angle bisectors, we know that \(\angle IAB = \frac{\alpha}{2} \) and \(\angle ABI= \angle IBC = \frac{\beta}{2} \). By Exterior Angle Theorem, we know that \(\angle BIL = \frac{\alpha + \beta}{2} \). If we prove that \(\angle IBL = \frac{\alpha + \beta}{2} \) we have proved the segments are equal.

Notice that \(\angle CBL = \angle LAC = \frac{\alpha}{2} \) because they substend the same arc. Therefore this implies that \(\angle IBL = \angle IBC + \angle CBL = \frac{\alpha+\beta}{2} = \angle BIL \). Thus, by isosceles triangles we get that \(LB = LI = LC \). This tells us that \(B, I, C\) are concyclic with \(L\) as a center.

Now, we must prove that \(I_a\) also lies on this circle.

Recall that the \(I_a\) is the intersection of the exterior-angle bisectors of \(B\) and \(C\). Therefore if you extend \(AB\) and \(AC\) and construct the angle bisector of the exterior angle, it intersects at \(I_a\).

Denote \(M\) as a point on ray \(AB\) past B.

By Exterior Angle Theorem, we have that \(\angle MBC = \alpha + \gamma \).

Since \(BI_a\) is the angle bisector, we have that \(\angle I_aBC = \frac{\alpha + \gamma }{2} \) . Since \(\angle LBC = \frac{\alpha}{2} \), this implies that \(\angle I_aBL = \frac{\gamma}{2} \).

We proved that \(\angle LBI = \angle LIB = \frac{\alpha + \beta}{2} \implies \angle BLI = \gamma\) .

Again by exterior angle theorem, since \(\angle LBI_a = \frac{\gamma}{2}\), we have that \(\angle BI_aL = \frac{\gamma}{2} \) which implies that \(\bigtriangleup BLI_a\) is isoscles which implies that \(BL = LI_a \implies BL = LI_a = IL = LC \). Therefore \(I_a\) must be concyclic with \(B, I, C\) because it's radius to the center, \(L\), is the same. Therefore, we have proved the lemma.

Okay good. Now let's have fun.

Restatement: The incircle of a triangle ABC is tangent to sides AB and AC at D and E respectively, and O is the circumcenter of triangle BCF where \(F\) denotes the incenter of \(\bigtriangleup ABC\). Prove that \(\angle ODB = \angle OEC \)

By the lemma, we know that the circumcenter, \(O\), of \(\bigtriangleup BFC \) is actually the midpoint of arc BC of the circumcircle of \(\bigtriangleup ABC\).

To prove \(\angle ODB = \angle OEC \), it suffices to prove that \(\angle ADO = \angle AEO \).

Since \(O\) is on the angle bisector, we know that \(\angle DAO = \angle OAE\). We also know that \(AD = AE\) because they are both tangents to the incircle. Additionally, \(\bigtriangleup DAO\) and \(\bigtriangleup AOE\) share side \(AO\). Therefore, by \(SAS\), we have that \(\bigtriangleup ADO \cong \bigtriangleup AEO \).

This implies that \(\angle ADO = \angle AEO \implies \angle ODB = \angle OEC\) and we are done.

## Comments

Sort by:

TopNewestFirst, let's clarify that point I and point F are the one and the same, which is the incenter of triangle ABC. It seems to me that it's immediately obvious that the quadrilateral AEOD is a kite, so that angles \(\angle\)ODA = \(\angle\)OEA, and therefore angles \(\angle\)ODB = \(\angle\)OEC? Am I missing something here? – Michael Mendrin · 1 year, 4 months ago

Log in to reply

– Alan Yan · 1 year, 4 months ago

It is true that AEOD is a kite, but can you prove it?Log in to reply

– Michael Mendrin · 1 year, 4 months ago

If, given two points on a circle, the tangents through are drawn so that they intersect at a 3rd point, the distances from the 3rd point to the first two points are the same. Any point on the line that passes through this 3rd point and the center of the circle forms the 4th point of the kite, by reason of symmetry.Log in to reply

– Alan Yan · 1 year, 4 months ago

Yes...that works. But note both arguments rely on the fact that O lies on the angle bisector of A, and that was the main concept I was trying to convey.Log in to reply

– Michael Mendrin · 1 year, 4 months ago

I think by using the Lemma you've discussed, a harder geometry problem probably can be devised. Let me think on it for a while on how that can be done.Log in to reply

– Alan Yan · 1 year, 4 months ago

I agree. Please do so :)Log in to reply