Maths Olympiad Prep

Library / /2 of 5

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=sr2R = s - r.

Solution

Let abca \ge b \ge c be the sides of the triangle. If the triangle is right-angled, then
r=b+ca2r = \frac{b+c-a}{2}, 2R=a2R = a and sr=a+b+c2b+ca2=a=2Rs - r = \frac{a+b+c}{2} - \frac{b+c-a}{2} = a = 2R.

If 2R=sr2R = s - r, consider
E=(2Ra)(2Rb)(2Rc)=8R34R2(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(sa)(sb)(sc)    sr2=s3(a+b+c)s2+(ab+bc+ca)sabc    ab+bc+ca=r2s2+2ss+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=8R34R22s+2R(r2+s2+4Rr)4Rsr=2R(4R24Rs+r2+s2+4Rr2sr)=2R(4R2+(rs)2+4Rr4Rs)=2R(4R2+4R2+4Rr4Rs)=8R2(2Rs+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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.