Maths Olympiad Prep

Library / /3 of 3

Algebra Difficulty 5.4 AIME, harder Prove it Czech Republic

Let aa, bb, cc, dd be positive real numbers lying in the interval [1,2][1, 2] that also satisfy the equation (a+c)(b+d)=8(a + c)(b + d) = 8. Prove that the inequality
1a2+b21+1b2+c21+1c2+d21+1d2+a211, \frac{1}{a^2 + b^2 - 1} + \frac{1}{b^2 + c^2 - 1} + \frac{1}{c^2 + d^2 - 1} + \frac{1}{d^2 + a^2 - 1} \geq 1,
is satisfied for all such quadruples and determine all the cases when the equality holds.

Solution

To begin with, note that all the numbers are greater or equal to one, so the denominators are positive and the question is well-posed.

As a first step in our solution, let's observe that since aa and bb lie in a closed interval of length 11, we must have (ab)21(a - b)^2 \le 1, which can be rearranged to
1a2+b2112ab. \frac{1}{a^2 + b^2 - 1} \ge \frac{1}{2ab}.
Applying similar bounds to all four terms, we see that it suffices to prove the inequality
1ab+1bc+1cd+1da2. \frac{1}{ab} + \frac{1}{bc} + \frac{1}{cd} + \frac{1}{da} \ge 2.

But since the condition (a+c)(b+d)=8(a + c)(b + d) = 8 is equivalent to ab+bc+cd+da=8ab + bc + cd + da = 8, this follows from the inequality between the arithmetic and harmonic means (or, if one prefers, from the Cauchy-Schwarz inequality).

In order for equality to be attained, we must have equality in both our estimates. From the first one, we can infer that
ab=bc=cd=da=1. |a - b| = |b - c| = |c - d| = |d - a| = 1.
Since all the numbers lie in an interval of length 11, this leaves us with only two options where equality can be attained, (1,2,1,2)(1, 2, 1, 2) and (2,1,2,1)(2, 1, 2, 1), with an easy check confirming that we indeed get equality.

Conclusion. The inequality holds by the argument above and we get an equality precisely for quadruples (1,2,1,2)(1, 2, 1, 2) and (2,1,2,1)(2, 1, 2, 1).

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.