Maths Olympiad Prep

Library / Czech and Slovak Mathematical Olympiad /23 of 70

Czech and Slovak Mathematical Olympiad

Geometry Difficulty 5.8 AIME, harder Prove it Czech Republic

Find all pairs of real numbers k,lk, l such that the inequality
ka2+lb2>c2 ka^2 + lb^2 > c^2
holds for side lengths a,b,ca, b, c of any triangle.

Solution

Assume that for some k,lk, l, the given inequality holds for all side lengths a,b,ca, b, c of any triangle. Plugging in a=c=1a = c = 1 and arbitrary b<2b < 2, we get k+lb2>1k + lb^2 > 1. If k<1k < 1 then we easily find sufficiently small b>0b > 0 that makes the inequality false. Hence k≥1k \ge 1 and likewise l≥1l \ge 1.

Let ABCABC be a triangle in the coordinate plane. Without loss of generality, let A=[−1,0]A = [-1, 0], B=[1,0]B = [1, 0], and denote C=[x,y]C = [x, y] (y≠0y \ne 0). Using Pythagorean Theorem we express the side lengths in terms of x,yx, y and plug it in the given inequality to obtain
k((x−1)2+y2)+l((x+1)2+y2)>4 k((x-1)^2 + y^2) + l((x+1)^2 + y^2) > 4
which rewrites as
(k+l)x2+2(l−k)x+k+l−4>−(k+l)y2.(1) (k+l)x^2 + 2(l-k)x + k + l - 4 > -(k+l)y^2. \quad (1)
This inequality has to hold for any xx and any y≠0y \ne 0. However, varying yy, the right-hand side attains all negative values (recall k+l>0k+l > 0). Therefore for any xx we have
(k+l)x2+2(l−k)x+(k+l−4)≥0,(2) (k+l)x^2 + 2(l-k)x + (k+l-4) \ge 0, \quad (2)
which happens if and only if the discriminant D=4(l−k)2−4(k+l−4)(k+l)D = 4(l-k)^2 - 4(k+l-4)(k+l) is not positive. The inequality D≤0D \le 0 rewrites to kl≥k+lkl \ge k+l.

We found out that if numbers k,lk, l satisfy the given inequality for any triplet of side lengths of a triangle then k≥1,l≥1k \ge 1, l \ge 1, and
kl≥k+l.(3) kl \ge k + l. \tag{3}
On the other hand, the conjunction of these three conditions is also sufficient: The third condition implies that (2) is satisfied for any real xx and since the right-hand side of (1) is negative for y≠0y \ne 0, inequality (1) is satisfied for any xx and any y≠0y \ne 0. Finally, inequality (1) is equivalent to the given inequality.

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.