Maths Olympiad Prep

Library / /27 of 34

, 2014

Geometry Difficulty 6.6 National olympiad Prove it Austria

(a) For which triangles with sides of length aa, bb and cc do the inequalities a2+b2>c2a^2 + b^2 > c^2, b2+c2>a2b^2 + c^2 > a^2 and a2+c2>b2a^2 + c^2 > b^2 hold (along with the usual triangle inequalities a+b>ca+b>c, b+c>ab+c>a and c+a>bc+a>b)?

(b) For which triangles with sides of length aa, bb and cc do the inequalities an+bn>cna^n + b^n > c^n, bn+cn>anb^n + c^n > a^n and an+cn>bna^n + c^n > b^n hold for all positive integers nn (along with the usual triangle inequalities a+b>ca+b>c, b+c>ab+c>a and c+a>bc+a>b)?

Solution

(a) By the cosine theorem, we have c2=a2+b22abcosγc^2 = a^2 + b^2 - 2ab \cos \gamma. Since cosγ>0    γ<90\cos \gamma > 0 \iff \gamma < 90^\circ, we see that a2+b2>c2a^2 + b^2 > c^2 is equivalent to γ<90\gamma < 90^\circ. Since the analogous results hold for the other two inequalities, we see that these all hold exactly for acute angled triangles ABCABC.

(b) Without loss of generality, assume cbac \ge b \ge a. Since p=ac1p = \frac{a}{c} \le 1 and q=bc1q = \frac{b}{c} \le 1, the three inequalities hold iff pn+qn>1p^n + q^n > 1 holds for all positive integers nn. If both pp and qq are less than 11, there exists sufficiently large values of nn, such that pn<12p^n < \frac{1}{2} and qn<12q^n < \frac{1}{2} both hold, and therefore pn+qn<1p^n + q^n < 1. It therefore follows that q=1q = 1 and p1p \le 1 must hold. The triangle must therefore be isosceles with b=cb = c and aca \le c, i.e. with α60\alpha \le 60^\circ. The inequalities certainly hold for such triangles, and the proof is complete.

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.