Maths Olympiad Prep

Library / Brazilian Mathematical Olympiad /26 of 120

Brazilian Mathematical Olympiad

Geometry Difficulty 4.7 AIME Prove it Brazil

A triangle has semi-perimeter ss, circumradius RR and inradius rr. Show that it is right-angled iff 2R=s−r2R = s - r.

Solution

Let a≥b≥ca \ge b \ge c be the sides of the triangle. If the triangle is right-angled, then
r=b+c−a2r = \frac{b+c-a}{2}, 2R=a2R = a and s−r=a+b+c2−b+c−a2=a=2Rs - r = \frac{a+b+c}{2} - \frac{b+c-a}{2} = a = 2R.

If 2R=s−r2R = s - r, consider
E=(2R−a)(2R−b)(2R−c)=8R3−4R2(a+b+c)+2R(ab+bc+ca)−abc E = (2R-a)(2R-b)(2R-c) = 8R^3 - 4R^2(a+b+c) + 2R(ab+bc+ca) - abc
Let Δ\Delta be the area of the triangle. We have a+b+c=2sa+b+c = 2s and R=abc4Δ  ⟺  abc=4RΔR = \frac{abc}{4\Delta} \iff abc = 4R\Delta. Finally, since Δ=sr\Delta = sr, abc=4Rsrabc = 4Rsr and
sr=Δ=s(s−a)(s−b)(s−c)  ⟺  sr2=s3−(a+b+c)s2+(ab+bc+ca)s−abc  ⟺  ab+bc+ca=r2−s2+2s⋅s+4Rr=r2+s2+4Rr \begin{align*} sr &= \Delta = \sqrt{s(s-a)(s-b)(s-c)} \\ \iff sr^2 &= s^3 - (a+b+c)s^2 + (ab+bc+ca)s - abc \\ \iff ab + bc + ca &= r^2 - s^2 + 2s \cdot s + 4Rr = r^2 + s^2 + 4Rr \end{align*}
Thus
E=8R3−4R2⋅2s+2R(r2+s2+4Rr)−4Rsr=2R(4R2−4Rs+r2+s2+4Rr−2sr)=2R(4R2+(r−s)2+4Rr−4Rs)=2R(4R2+4R2+4Rr−4Rs)=8R2(2R−s+r)=0 \begin{align*} E &= 8R^3 - 4R^2 \cdot 2s + 2R(r^2 + s^2 + 4Rr) - 4Rsr \\ &= 2R(4R^2 - 4Rs + r^2 + s^2 + 4Rr - 2sr) \\ &= 2R(4R^2 + (r-s)^2 + 4Rr - 4Rs) \\ &= 2R(4R^2 + 4R^2 + 4Rr - 4Rs) \\ &= 8R^2(2R - s + r) = 0 \end{align*}
and so one of the sides of the triangle is equal to 2R2R, completing the proof.

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.