Maths Olympiad Prep

Library / /1 of 9

Algebra Difficulty 5.1 AIME, harder Prove it Estonia

Does there exist a positive real number CC such that the inequality
x1x2+x1x3+x1x4+x2x3+x2x4+x3x4C(x1x2+x2x3+x3x4+x4x1) x_1x_2 + x_1x_3 + x_1x_4 + x_2x_3 + x_2x_4 + x_3x_4 \le C(x_1x_2 + x_2x_3 + x_3x_4 + x_4x_1)
holds for arbitrary positive real numbers x1,x2,x3,x4x_1, x_2, x_3, x_4?

Solution

For simplicity, denote A=x1x2+x1x3+x1x4+x2x3+x2x4+x3x4A = x_1x_2 + x_1x_3 + x_1x_4 + x_2x_3 + x_2x_4 + x_3x_4 and B=x1x2+x2x3+x3x4+x4x1B = x_1x_2 + x_2x_3 + x_3x_4 + x_4x_1.

Choose x1=x3=ux_1 = x_3 = u and x2=x4=1x_2 = x_4 = 1. Then Ax1x3=u2A \ge x_1x_3 = u^2 and B=4uB = 4u. Hence ABu4\frac{A}{B} \ge \frac{u}{4}. As uu can be arbitrarily large, no constant CC such that ACBA \le CB exists.

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 and solution reproduced as published; topic and difficulty added by this site.