Maths Olympiad Prep

Library / Czech and Slovak Mathematical Olympiad /10 of 70

Czech and Slovak Mathematical Olympiad

Geometry Difficulty 5.4 AIME, harder Prove it Czech Republic

Let rr and rar_a be the radii of the inscribed circle and the excircle opposite AA of the triangle ABCABC. Show that if
r+ra=∣BC∣, r + r_a = |BC|,
then the triangle is right-angled.

Solution

Let us use the standard notation of the inner angles of the triangle ABCABC, further let II be the incenter and IaI_a be the excenter (of the excircle opposite AA), and let DD and EE be in order the touching points of the thought circles. Since the bisectors BIBI and BIaBI_a of the supplementary angles are perpendicular to each other (as well as CICI and CIaCI_a), the points BB, CC, II, and IaI_a lie on the circle with the diameter IIaII_a.

Thus DD and EE, the orthogonal projections of II and IaI_a onto the secant BCBC, are point reflections of each other with respect to the center of BCBC.

The right triangles BIDBID and IaBEI_aBE are obviously similar and
∣BD∣:∣ID∣=∣IaE∣:∣BE∣or∣BD∣⋅∣BE∣=∣ID∣⋅∣IaE∣ |BD| : |ID| = |I_aE| : |BE| \quad \text{or} \quad |BD| \cdot |BE| = |ID| \cdot |I_aE|
considering the mentioned point reflection also
∣BD∣+∣BE∣=∣BD∣+∣CD∣=∣BC∣=r+ra=∣ID∣+∣IaE∣. |BD| + |BE| = |BD| + |CD| = |BC| = r + r_a = |ID| + |I_aE|.
Figure 1
Fig. 1

The two equations imply that the pairs (∣ID∣|ID|, ∣EIa∣|EI_a|) and (∣BD∣|BD|, ∣BE∣|BE|) are roots of the same quadratic equation, that is ∣ID∣=∣BD∣|ID| = |BD| or ∣ID∣=∣BE∣|ID| = |BE|.

∣ID∣=∣BD∣|ID| = |BD| means the right-angled triangle BIDBID is isosceles, which is β=90∘\beta = 90^\circ.

Similarly, if ∣ID∣=∣BE∣|ID| = |BE| that is ∣ID∣=∣CD∣|ID| = |CD| (DD and EE are point reflections in the mentioned reflection) means the right triangle CIDCID is isosceles, that is γ=90∘\gamma = 90^\circ.

In both cases the triangle ABCABC is right-angled.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.