Olympiad Maths Prep

Track / Stage 7 / 100 of 300 #1500 of 2000

Problem 1500

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.2 Prove it

\square Example 6 Let a1,a2,,ana_{1}, a_{2}, \cdots, a_{n} and b1,b2,,bnb_{1}, b_{2}, \cdots, b_{n} be real numbers, satisfying (a12+a22+\left(a_{1}^{2}+a_{2}^{2}+\right. +an21)(b12+b22++bn21)>(a1b1+a2b2++anbn1)2\left.\cdots+a_{n}^{2}-1\right)\left(b_{1}^{2}+b_{2}^{2}+\cdots+b_{n}^{2}-1\right)>\left(a_{1} b_{1}+a_{2} b_{2}+\cdots+a_{n} b_{n}-1\right)^{2}. Prove that a12+a22++an2>1a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2}>1 and b12+b22++bn2>1b_{1}^{2}+b_{2}^{2}+\cdots+b_{n}^{2}>1 hold. (2004 USA National Training Team Problem)

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Proof by contradiction. Assume a12+a22++an2<1a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2}<1 and b12+b22++bn2<1b_{1}^{2}+b_{2}^{2}+\cdots+b_{n}^{2}<1, construct the quadratic function
f(x)=(x1)2k=1n(akxbk)2=(1k=1nak2)x22(1k=1nakbk)x+1k=1nbk2\begin{aligned} f(x) & =(x-1)^{2}-\sum_{k=1}^{n}\left(a_{k} x-b_{k}\right)^{2} \\ & =\left(1-\sum_{k=1}^{n} a_{k}^{2}\right) x^{2}-2\left(1-\sum_{k=1}^{n} a_{k} b_{k}\right) x+1-\sum_{k=1}^{n} b_{k}^{2} \end{aligned}

By the assumption a12+a22++an2<1a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2}<1, the parabola opens upwards. Given the conditions, its discriminant Δ=4[(1k=1nakbk)2(1k=1nak2)(1k=1nbk2)]<0\Delta=4\left[\left(1-\sum_{k=1}^{n} a_{k} b_{k}\right)^{2}-\left(1-\sum_{k=1}^{n} a_{k}^{2}\right)\left(1-\sum_{k=1}^{n} b_{k}^{2}\right)\right]<0, hence f(x)f(x) is always greater than 0. However, f(1)=k=1n(akbk)20f(1)=-\sum_{k=1}^{n}\left(a_{k}-b_{k}\right)^{2} \leqslant 0, which contradicts f(x)f(x) being always greater than 0. Therefore, the assumption is false, and the proposition is proved.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.