Maths Olympiad Prep

Library / First Round of the 73rd Czech and Slovak Mathematical Olympiad (take-home part) /3 of 3

First Round of the 73rd Czech and Slovak Mathematical Olympiad (take-home part)

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+b2−1+1b2+c2−1+1c2+d2−1+1d2+a2−1≥1, \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 (a−b)2≤1(a - b)^2 \le 1, which can be rearranged to
1a2+b2−1≥12ab. \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+1da≥2. \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
∣a−b∣=∣b−c∣=∣c−d∣=∣d−a∣=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,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.