Maths Olympiad Prep

Library / /6 of 32

Algebra Difficulty 7.9 National Olympiad, round 2 Prove it United States

Let a1,a2,,an,b1,b2,,bna_1, a_2, \dots, a_n, b_1, b_2, \dots, b_n be real numbers such that
(a12+a22++an21)(b12+b22++bn21)>(a1b1+a2b2++anbn1)2. (a_1^2 + a_2^2 + \cdots + a_n^2 - 1)(b_1^2 + b_2^2 + \cdots + b_n^2 - 1) > (a_1b_1 + a_2b_2 + \cdots + a_nb_n - 1)^2.
Show 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.

Solutions — 3

Solution 1

If exactly one of a12+a22++an2a_1^2 + a_2^2 + \dots + a_n^2 and b12+b22++bn2b_1^2 + b_2^2 + \dots + b_n^2 is no greater than 11, then the left-hand side of the inequality is no greater than 00, and inequality ()(*) is trivial. Now we assume that both are no greater than 11. Set a=1a12a22an2a = 1 - a_1^2 - a_2^2 - \dots - a_n^2 and b=1b12b22bn2b = 1 - b_1^2 - b_2^2 - \dots - b_n^2. Then both aa and bb are nonnegative real numbers. Multiplying both sides of the inequality ()(*) by 44 gives
(22a1b12a2b22anbn)24ab (2 - 2a_1b_1 - 2a_2b_2 - \dots - 2a_n b_n)^2 \geq 4ab
Note that
22a1b12a2b22anbn=(a1b1)2+(a2b2)2++(anbn)2+a+ba+b0. \begin{aligned} & 2 - 2a_1b_1 - 2a_2b_2 - \cdots - 2a_n b_n \\ &= (a_1 - b_1)^2 + (a_2 - b_2)^2 + \cdots + (a_n - b_n)^2 + a + b \\ &\geq a + b \geq 0. \end{aligned}
It follows that
(22a1b12a2b22anbn)2(a+b)24ab, (2 - 2a_1b_1 - 2a_2b_2 - \cdots - 2a_n b_n)^2 \geq (a+b)^2 \geq 4ab,
as desired.

Solution 2

We use the following inequality of Aczel: If x1,,xm,y1,,ymRx_1, \dots, x_m, y_1, \dots, y_m \in \mathbb{R} such that x12>x22++xm2x_1^2 > x_2^2 + \dots + x_m^2, then
(x1y1x2y2xmym)2(x12x22xm2)(y12y22ym2). (x_1y_1 - x_2y_2 - \dots - x_m y_m)^2 \geq (x_1^2 - x_2^2 - \dots - x_m^2)(y_1^2 - y_2^2 - \dots - y_m^2).
To prove Aczel's Inequality, we consider the quadratic function
f(t)=(x1t+y1)2i=2m(xit+yi)2 f(t) = (x_1 t + y_1)^2 - \sum_{i=2}^{m} (x_i t + y_i)^2
and note that f(y1/x1)0f(-y_1/x_1) \leq 0. It follows that the discriminant is nonnegative, hence proving the desired inequality. Now we proceed to solve the problem at hand. It is clear that a12++an21a_1^2 + \dots + a_n^2 - 1 and b12++bn21b_1^2 + \dots + b_n^2 - 1 have the same sign. If both are negative, then Aczel's Inequality yields
(1a1b1anbn)2(1a12an2)(1b12bn2), (1 - a_1 b_1 - \dots - a_n b_n)^2 \geq (1 - a_1^2 - \dots - a_n^2)(1 - b_1^2 - \dots - b_n^2),
contradicting the given inequality.

Solution 3

Define the vectors u=[a1,a2,,an]\mathbf{u} = [a_1, a_2, \dots, a_n] and v=[b1,b2,,bn]\mathbf{v} = [b_1, b_2, \dots, b_n], and place u\mathbf{u} and v\mathbf{v} tail by tail at the origin OO to form two sides of a triangle in Rn\mathbb{R}^n by letting AA and BB be the points with the coordinates of u\mathbf{u} and v\mathbf{v}. The given inequality is equivalent to (uu1)(vv1)>(uv1)2(\mathbf{u} \cdot \mathbf{u} - 1)(\mathbf{v} \cdot \mathbf{v} - 1) > (\mathbf{u} \cdot \mathbf{v} - 1)^2, where “\cdot” denotes the dot product of two vectors. Expanding both sides and rearranging terms yields
(uu)(vv)uuvv>(uv)22(uv), (\mathbf{u} \cdot \mathbf{u})(\mathbf{v} \cdot \mathbf{v}) - \mathbf{u} \cdot \mathbf{u} - \mathbf{v} \cdot \mathbf{v} > (\mathbf{u} \cdot \mathbf{v})^2 - 2(\mathbf{u} \cdot \mathbf{v}),
or
(uu)(vv)(uv)2>uu+vv2(uv). (\mathbf{u} \cdot \mathbf{u})(\mathbf{v} \cdot \mathbf{v}) - (\mathbf{u} \cdot \mathbf{v})^2 > \mathbf{u} \cdot \mathbf{u} + \mathbf{v} \cdot \mathbf{v} - 2(\mathbf{u} \cdot \mathbf{v}).
Factoring the right-hand side of the above inequality gives
(uu)(vv)(uv)2>(uv)(uv). (\mathbf{u} \cdot \mathbf{u})(\mathbf{v} \cdot \mathbf{v}) - (\mathbf{u} \cdot \mathbf{v})^2 > (\mathbf{u} - \mathbf{v}) \cdot (\mathbf{u} - \mathbf{v}).
By the vector form of the Law of Cosines, we have (uv)2=(uu)(vv)cos2AOB(\mathbf{u} \cdot \mathbf{v})^2 = (\mathbf{u} \cdot \mathbf{u})(\mathbf{v} \cdot \mathbf{v}) \cos^2 \angle AOB. Hence
(uu)(vv)(1cos2AOB)>(uv)(uv), (\mathbf{u} \cdot \mathbf{u})(\mathbf{v} \cdot \mathbf{v})(1 - \cos^2 \angle AOB) > (\mathbf{u} - \mathbf{v}) \cdot (\mathbf{u} - \mathbf{v}),
or
(uu)(vv)sin2AOB>(uv)(uv); (\mathbf{u} \cdot \mathbf{u})(\mathbf{v} \cdot \mathbf{v}) \sin^2 \angle AOB > (\mathbf{u} - \mathbf{v}) \cdot (\mathbf{u} - \mathbf{v});
that is, OA2OB2sin2AOB>AB2OA^2 \cdot OB^2 \sin^2 \angle AOB > AB^2. Hence
[AOB]=12OAOB2sinAOB>12AB. [AOB] = \frac{1}{2} OA \cdot OB^2 \sin \angle AOB > \frac{1}{2} \cdot AB.
Therefore, the length of the altitude from OO to ABAB must be greater than 11. Yet the altitude is the shortest segment connecting OO to ABAB, and so 1<OA2=uu=i=1nai21 < OA^2 = \mathbf{u} \cdot \mathbf{u} = \sum_{i=1}^n a_i^2 and 1<OB2=vv=i=1nbi21 < OB^2 = \mathbf{v} \cdot \mathbf{v} = \sum_{i=1}^n b_i^2, as desired.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.