A triangle has semi-perimeter s, circumradius R and inradius r. Show that it is right-angled iff 2R=s−r.
Solution
Let a≥b≥c be the sides of the triangle. If the triangle is right-angled, then r=2b+c−a, 2R=a and s−r=2a+b+c−2b+c−a=a=2R.
If 2R=s−r, consider E=(2R−a)(2R−b)(2R−c)=8R3−4R2(a+b+c)+2R(ab+bc+ca)−abc Let Δ be the area of the triangle. We have a+b+c=2s and R=4Δabc⟺abc=4RΔ. Finally, since Δ=sr, abc=4Rsr and sr⟺sr2⟺ab+bc+ca=Δ=s(s−a)(s−b)(s−c)=s3−(a+b+c)s2+(ab+bc+ca)s−abc=r2−s2+2s⋅s+4Rr=r2+s2+4Rr 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 and so one of the sides of the triangle is equal to 2R, 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.