Maths Olympiad Prep

Library / Preselection Tests for the Full-time Training /5 of 10

Preselection Tests for the Full-time Training

Geometry Difficulty 7.6 National Olympiad, round 2 Prove it Saudi Arabia

△ABC\triangle ABC is a triangle and Ib,IcI_{b}, I_{c} its excenters opposite to B,CB, C. Prove that △ABC\triangle ABC is right at AA if and only if its area is equal to 12AIb⋅AIc\frac{1}{2} AI_{b} \cdot AI_{c}.

Solution

First solution. Let △ABC\triangle ABC be any triangle. Considering triangle AIcCA I_{c} C, we have
∡CIcA=180∘−(∡ACIc+∡IcAC)=180∘−(12∡ACB+∡BAC+12(180∘−∡BAC))=90∘−12(∡ACB+∡BAC)=∡IbBA. \begin{aligned} \measuredangle C I_{c} A & =180^{\circ}-\left(\measuredangle A C I_{c}+\measuredangle I_{c} A C\right) \\ & =180^{\circ}-\left(\frac{1}{2} \measuredangle A C B+\measuredangle B A C+\frac{1}{2}\left(180^{\circ}-\measuredangle B A C\right)\right) \\ & =90^{\circ}-\frac{1}{2}(\measuredangle A C B+\measuredangle B A C) \\ & =\measuredangle I_{b} B A . \end{aligned}

Figure 1

On the other hand, ∡IcAC=∡BAIb\measuredangle I_{c} A C=\measuredangle B A I_{b}. We deduce that triangles ABIb,AIcCA B I_{b}, A I_{c} C are similar and therefore
AIcAB=ACAIb⇔AIb⋅AIc=AB⋅AC. \frac{A I_{c}}{A B}=\frac{A C}{A I_{b}} \quad \Leftrightarrow \quad A I_{b} \cdot A I_{c}=A B \cdot A C .
Thus, the area of triangle ABCA B C is equal to 12AIb⋅AIcsin⁡∡BAC\frac{1}{2} A I_{b} \cdot A I_{c} \sin \measuredangle B A C. Hence, triangle △ABC\triangle ABC is right at AA if and only if its area is equal to 12AIb⋅AIc\frac{1}{2} A I_{b} \cdot A I_{c}.

Second solution. Let △ABC\triangle ABC be any triangle. Denote a,b,ca, b, c the lengths of the opposite sides to the vertices A,B,CA, B, C respectively, ss the semiperimeter, rr the inradius, rb,rcr_{b}, r_{c} the exradius opposite to the vertices B,CB, C respectively. We have
AIb2=rb2+(s−c)2 and AIc2=rc2+(s−b)2. A I_{b}^{2}=r_{b}^{2}+(s-c)^{2} \quad \text{ and } \quad A I_{c}^{2}=r_{c}^{2}+(s-b)^{2} .

Figure 2

But the area of the triangle △ABC\triangle ABC is equal to
K=rs=rb(s−b)=rc(s−c)=s(s−a)(s−b)(s−c), K=rs=r_{b}(s-b)=r_{c}(s-c)=\sqrt{s(s-a)(s-b)(s-c)},
and that rbrc=s(s−a)r_{b} r_{c}=s(s-a) (which follows from the above formulas for the area). Hence
AIb2⋅AIc2=(rb2+(s−c)2)(rc2+(s−b)2)=s2(s−a)2+2K2+(s−b)2(s−c)2A I_{b}^{2} \cdot A I_{c}^{2}=\left(r_{b}^{2}+(s-c)^{2}\right)\left(r_{c}^{2}+(s-b)^{2}\right)=s^{2}(s-a)^{2}+2 K^{2}+(s-b)^{2}(s-c)^{2}.
Therefore, K=12AIb⋅AIcK=\frac{1}{2} A I_{b} \cdot A I_{c} is equivalent to
2K2=s2(s−a)2+(s−b)2(s−c)2. 2 K^{2}=s^{2}(s-a)^{2}+(s-b)^{2}(s-c)^{2} .
But 2K2=2s(s−a)(s−b)(s−c)2 K^{2}=2 s(s-a)(s-b)(s-c). Hence, this is equivalent to
((s−b)(s−c)−s(s−a))2=0 ((s-b)(s-c)-s(s-a))^{2}=0
which simplifies to
a2=b2+c2. a^{2}=b^{2}+c^{2} .

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.