Maths Olympiad Prep

Library / /387 of 520

Algebra Difficulty 5.9 AIME, harder Prove it

【Example 5】In ABC\triangle A B C, let ss be the semi-perimeter, RR and rr be the circumradius and inradius, respectively. Prove:
2r(r+4R)<2s4(r+2R)2+2R2 2 \sqrt{r(r+4 R)}<2 s \leqslant \sqrt{4(r+2 R)^{2}+2 R^{2}} \text {. }

Solution

Prove that the calculation yields
s2r24Rr=s2Δ2s2abcs=s2(sa)(sb)(sc)sabcs=s3s3+s2(a+b+c)s(ab+bc+ca)+abcabcs=s(a+b+c)(ab+bc+ca)=12(a2+b2+c2). \begin{aligned} s^{2} & -r^{2}-4 R r \\ & =s^{2}-\frac{\Delta^{2}}{s^{2}}-\frac{a b c}{s} \\ & =s^{2}-\frac{(s-a)(s-b)(s-c)}{s}-\frac{a b c}{s} \\ & =\frac{s^{3}-s^{3}+s^{2}(a+b+c)-s(a b+b c+c a)+a b c-a b c}{s} \\ & =s(a+b+c)-(a b+b c+c a) \\ & =\frac{1}{2}\left(a^{2}+b^{2}+c^{2}\right) . \end{aligned}

From 0<a2+b2+c29R20 < a^{2} + b^{2} + c^{2} \leq 9 R^{2}, we get
0<s2(r2+4Rr)9R22, 0 < s^{2} - (r^{2} + 4 R r) \leq \frac{9 R^{2}}{2},

Thus, we have
r2+4Rr<s2r2+4Rr+9R22,r2+4Rr<sr2+4Rr+4R2+R22,2r2+4Rr<2s4(r+2R)2+2R2. \begin{array}{l} r^{2} + 4 R r < s^{2} \leq r^{2} + 4 R r + \frac{9 R^{2}}{2}, \\ \sqrt{r^{2} + 4 R r} < s \leq \sqrt{r^{2} + 4 R r + 4 R^{2} + \frac{R^{2}}{2}}, \\ 2 \sqrt{r^{2} + 4 R r} < 2 s \leq \sqrt{4(r + 2 R)^{2} + 2 R^{2}} . \end{array}

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.