Maths Olympiad Prep

Library / /13 of 24

Geometry Difficulty 6.7 National Olympiad Prove it Italy

Problem:

Let Γ\Gamma be the excircle of triangle ABCABC opposite vertex AA, that is, the circle tangent to BCBC and to the extensions of sides ABAB and ACAC on the side of BB and of CC. Let DD be the center of Γ\Gamma and let EE and FF be, respectively, the points of tangency of Γ\Gamma with the extensions of sides ABAB and ACAC. Let JJ be the intersection of segments BDBD and EFEF.
Prove that the angle CJB\angle CJB is right.

Solution

Solution:

The lines BDBD and CDCD are the bisectors of angles EBC^\widehat{EBC} and BCF^\widehat{BCF}; letting α,β,γ\alpha, \beta, \gamma be the interior angles of triangle ABCABC (respectively at A,B,CA, B, C), we thus know that BCD^=180γ2\widehat{BCD} = \frac{180^{\circ} - \gamma}{2} and CBD^=180β2\widehat{CBD} = \frac{180^{\circ} - \beta}{2}. It follows (by subtraction) that BDC^=β+γ2\widehat{BDC} = \frac{\beta + \gamma}{2}.

Triangle AEFAEF is isosceles with base EFEF, hence AEF^=EFA^=180α2=β+γ2=BDC^\widehat{AEF} = \widehat{EFA} = \frac{180^{\circ} - \alpha}{2} = \frac{\beta + \gamma}{2} = \widehat{BDC}, and therefore the quadrilateral DJCFD J C F is inscribable in a circle.

On the other hand, since the angle DFA^\widehat{DFA} is right (as AFAF is tangent to the circle Γ\Gamma), this implies that the angle CJD^\widehat{CJD}, supplementary to DFC^\widehat{DFC}, is also right. This obviously also implies that the angle CJB^\widehat{CJB} is right.

Figure 1

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from it; metadata (topic, difficulty) added by this project.