Maths Olympiad Prep

Library / /22 of 37

Algebra Difficulty 5.5 AIME, harder Find the answer Italy

Three positive real numbers aa, bb, cc with ac=9a c = 9 are given. It is known that for all real numbers xx, yy with xy0x y \neq 0 the following holds
ax2+bxy+cy20. \frac{a}{x^{2}} + \frac{b}{x y} + \frac{c}{y^{2}} \geq 0.
What is the maximum possible value for bb?

Pick one

Solution

The answer is (C)\mathbf{(C)}. By hypothesis, for xx, yy such that xy0x y \neq 0, we have
ay2+bxy+cx2x2y2=ax2+bxy+cy20. \frac{a y^{2} + b x y + c x^{2}}{x^{2} y^{2}} = \frac{a}{x^{2}} + \frac{b}{x y} + \frac{c}{y^{2}} \geq 0.
We show that this inequality is always satisfied for b6b \leq 6: indeed, if xy>0x y > 0, then the inequality is clearly verified. On the other hand, if xy<0x y < 0, then, using the equality ac=9a c = 9, we obtain
ay2+bxy+cx2x2y2=(ay+cx)2+xy(b2ac)x2y2=(ay+cx)2+xy(b6)x2y2, \frac{a y^{2} + b x y + c x^{2}}{x^{2} y^{2}} = \frac{(\sqrt{a} y + \sqrt{c} x)^{2} + x y (b - 2 \sqrt{a c})}{x^{2} y^{2}} = \frac{(\sqrt{a} y + \sqrt{c} x)^{2} + x y (b - 6)}{x^{2} y^{2}},
which is clearly non-negative for b6b \leq 6.

Moreover, 6 is the maximum value of bb for which this inequality holds for every xx, yy with xy0x y \neq 0: indeed, if b>6b > 6, then for y=cy = \sqrt{c}, x=ax = -\sqrt{a} we have that
ay2+bxy+cx2x2y2=ac(b2ac)ac=3(b6)90, \frac{a y^{2} + b x y + c x^{2}}{x^{2} y^{2}} = \frac{-\sqrt{a c}(b - 2 \sqrt{a c})}{a c} = \frac{-3(b - 6)}{9} \leq 0,
against the hypotheses of the problem.

Second solution: Multiplying the inequality in the statement by the positive number y2y^{2} we obtain
a(yx)2+b(yx)+c0 a\left(\frac{y}{x}\right)^{2} + b\left(\frac{y}{x}\right) + c \geq 0
for every pair of real numbers xx, yy both nonzero. In particular, since the ratio t:=y/xt := y / x can take every real value different from 0, we have at2+bt+c0a t^{2} + b t + c \geq 0 for every tt in R\mathbb{R} (including t=0t = 0: indeed for t=0t = 0 we obtain cc, which is positive by hypothesis). It is well known that a second-degree polynomial is positive for every value of the variable if and only if the following two conditions are satisfied: the coefficient of the degree-two term is positive (and this is verified in our case, since a>0a > 0 by hypothesis) and the discriminant b24acb^{2} - 4 a c is less than or equal to 0. In our situation, this second condition translates into b24ac0b^{2} - 4 a c \leq 0, that is b24ac=36b^{2} \leq 4 a c = 36, that is finally b6b \leq 6. The maximum possible value for bb is therefore 6.

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 translated into English from it; metadata (topic, difficulty) added by this project.