MathDB
RMO 2024 Q4

Source: RMO 2024 Q4

November 3, 2024
algebrainequalities

Problem Statement

Let a1,a2,a3,a4a_1,a_2,a_3,a_4 be real numbers such that a12+a22+a32+a42=1a_1^2 + a_2^2 + a_3^2 + a_4^2 = 1. Show that there exist i,ji,j with 1i<j4 1 \leq i < j \leq 4, such that (aiaj)215(a_i - a_j)^2 \leq \frac{1}{5}.