□ Example 6 Let a1,a2,⋯,an and b1,b2,⋯,bn be real numbers, satisfying (a12+a22+⋯+an2−1)(b12+b22+⋯+bn2−1)>(a1b1+a2b2+⋯+anbn−1)2. Prove that a12+a22+⋯+an2>1 and b12+b22+⋯+bn2>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<1 and b12+b22+⋯+bn2<1, construct the quadratic function f(x)=(x−1)2−k=1∑n(akx−bk)2=(1−k=1∑nak2)x2−2(1−k=1∑nakbk)x+1−k=1∑nbk2
By the assumption a12+a22+⋯+an2<1, the parabola opens upwards. Given the conditions, its discriminant Δ=4[(1−∑k=1nakbk)2−(1−∑k=1nak2)(1−∑k=1nbk2)]<0, hence f(x) is always greater than 0. However, f(1)=−∑k=1n(ak−bk)2⩽0, which contradicts 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.