Maths Olympiad Prep

Library / /38 of 53

Algebra Difficulty 7.0 National olympiad Prove it Vietnam

On the Cartesian plane, let CC be the graph of the function y=x23y = \sqrt[3]{x^2}. A line dd varies on the plane such that dd always cuts CC at three distinct points with xx-coordinates x1,x2x_1, x_2 and x3x_3.

a. Prove that the following value is a constant:
x1x2x323+x2x3x123+x3x1x223 \sqrt[3]{\frac{x_1 x_2}{x_3^2}} + \sqrt[3]{\frac{x_2 x_3}{x_1^2}} + \sqrt[3]{\frac{x_3 x_1}{x_2^2}}

b. Show that:
x12x2x33+x22x3x13+x32x1x23<154 \sqrt[3]{\frac{x_1^2}{x_2 x_3}} + \sqrt[3]{\frac{x_2^2}{x_3 x_1}} + \sqrt[3]{\frac{x_3^2}{x_1 x_2}} < -\frac{15}{4}

Solution

a. It is easy to see that dd cannot be a line parallel to the yy-axis (otherwise dd only intersects CC at at most one point), so dd has the form y=ax+by = a x + b where a,bRa, b \in \mathbb{R} and a0a \neq 0. The xx-coordinates of intersections of dd and CC are roots of
x23=ax+b. \sqrt[3]{x^2} = a x + b.
Let t=x3t = \sqrt[3]{x}, then x=t3x = t^3, so x23=t2\sqrt[3]{x^2} = t^2. The equation becomes
t2=at3+b    at3t2+b=0. t^2 = a t^3 + b \implies a t^3 - t^2 + b = 0.
This cubic equation at3t2+b=0a t^3 - t^2 + b = 0 has three distinct solutions t1,t2,t3t_1, t_2, t_3 and t1t2t30t_1 t_2 t_3 \neq 0 (because b0b \neq 0). Applying Vieta's theorem to the cubic equation, we have t1t2+t2t3+t3t1=0t_1 t_2 + t_2 t_3 + t_3 t_1 = 0, which implies
(t1t2)3+(t2t3)3+(t3t1)3=3(t1t2)(t2t3)(t3t1)=3t12t22t32. (t_1 t_2)^3 + (t_2 t_3)^3 + (t_3 t_1)^3 = 3 (t_1 t_2)(t_2 t_3)(t_3 t_1) = 3 t_1^2 t_2^2 t_3^2.
We can rewrite this equality as
t2t3t12+t3t1t22+t1t2t32=3, \frac{t_2 t_3}{t_1^2} + \frac{t_3 t_1}{t_2^2} + \frac{t_1 t_2}{t_3^2} = 3,
or
x2x3x123+x3x1x223+x1x2x323=3. \sqrt[3]{\frac{x_2 x_3}{x_1^2}} + \sqrt[3]{\frac{x_3 x_1}{x_2^2}} + \sqrt[3]{\frac{x_1 x_2}{x_3^2}} = 3.
So x2x3x123+x3x1x223+x1x2x323=3\sqrt[3]{\frac{x_2 x_3}{x_1^2}} + \sqrt[3]{\frac{x_3 x_1}{x_2^2}} + \sqrt[3]{\frac{x_1 x_2}{x_3^2}} = 3 is a constant.

b. Without loss of generality, assume that t1t_1 and t2t_2 have the same signs.
From t1t2+t2t3+t3t1=0t_1 t_2 + t_2 t_3 + t_3 t_1 = 0, we have t3=t1t2t1+t2t_3 = -\frac{t_1 t_2}{t_1 + t_2}. Hence,
x12x2x33+x22x3x13+x32x1x23=t12t2t3+t22t3t1+t32t1t2=(t1+t2)(t1t22+t2t12)+t1t2(t1+t2)2=(t12t22+t22t12+t1t2+t2t1)+t1t2(t1+t2)2. \sqrt[3]{\frac{x_1^2}{x_2 x_3}} + \sqrt[3]{\frac{x_2^2}{x_3 x_1}} + \sqrt[3]{\frac{x_3^2}{x_1 x_2}} = \frac{t_1^2}{t_2 t_3} + \frac{t_2^2}{t_3 t_1} + \frac{t_3^2}{t_1 t_2} \\ = - (t_1 + t_2) \left( \frac{t_1}{t_2^2} + \frac{t_2}{t_1^2} \right) + \frac{t_1 t_2}{(t_1 + t_2)^2} \\ = - \left( \frac{t_1^2}{t_2^2} + \frac{t_2^2}{t_1^2} + \frac{t_1}{t_2} + \frac{t_2}{t_1} \right) + \frac{t_1 t_2}{(t_1 + t_2)^2}.
Using the AM-GM inequality, we have
t12t22+t22t122,t1t2+t2t12,t1t2(t1+t2)214. \frac{t_1^2}{t_2^2} + \frac{t_2^2}{t_1^2} \geq 2, \quad \frac{t_1}{t_2} + \frac{t_2}{t_1} \geq 2, \quad \frac{t_1 t_2}{(t_1 + t_2)^2} \leq \frac{1}{4}.
Therefore,
x12x2x33+x22x3x13+x32x1x23(2+2)+14=154. \sqrt[3]{\frac{x_1^2}{x_2 x_3}} + \sqrt[3]{\frac{x_2^2}{x_3 x_1}} + \sqrt[3]{\frac{x_3^2}{x_1 x_2}} \leq - (2 + 2) + \frac{1}{4} = -\frac{15}{4}.
Note that t1,t2t_1, t_2 are distinct so the equality does not occur.

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.