Back to Mathematical Olympiad
Difficulty: 7/102021 IMO 2021 (Q1)

Let be an integer. Let be positive real numbers such that . Prove that:

Options:

  • A.

    No such configuration exists under the given conditions.

  • Inequality proven via Cauchy-Schwarz / Cauchy's Engel Form

  • C.

    The relation holds only for sufficiently large values in the system.

  • D.

    There is no general solution for all cases.

Guide / Hint

Hint 1: Use Cauchy-Schwarz inequality, specifically Titu's Lemma (Engel's Form): .

Hint 2: Identify and . Plug these into the formula.

Hint 3: Simplify the resulting expression: the numerator becomes , and the denominator becomes .

Solution

Step 1: Apply Cauchy's Engel Form (also known as Titu's Lemma), which states that for positive real numbers and :

Step 2: Let and (with index wrapping ). Applying the lemma:

Step 3: Simplify the terms in the numerator and denominator:

  • Numerator: .

  • Denominator: .

Step 4: Substitute these simplifications back into the inequality:

This completes the proof. Equality holds if and only if .

Ready to track your progress and master these topics?

Create a free account
    2021 IMO 2021 Q1 - Olympiad Math Olympiad Question | Leminno