Maths Olympiad Prep

Library / /25 of 61

Algebra Difficulty 6.3 National Olympiad Prove it Canada

Problem:
Assume that real numbers aa and bb satisfy
ab+ab+1+a2+bb2+a=0 a b + \sqrt{a b + 1} + \sqrt{a^{2} + b} \cdot \sqrt{b^{2} + a} = 0
Find, with proof, the value of
ab2+a+ba2+b a \sqrt{b^{2} + a} + b \sqrt{a^{2} + b}

Solution

Solution:
Let us rewrite the given equation as follows:
ab+a2+bb2+a=ab+1. a b + \sqrt{a^{2} + b} \sqrt{b^{2} + a} = -\sqrt{a b + 1}.
Squaring this gives us
a2b2+2aba2+bb2+a+(a2+b)(b2+a)=ab+1(a2b2+a3)+2aba2+bb2+a+(a2b2+b3)=1(ab2+a+ba2+b)2=1ab2+a+ba2+b=±1. \begin{aligned} a^{2} b^{2} + 2 a b \sqrt{a^{2} + b} \sqrt{b^{2} + a} + (a^{2} + b)(b^{2} + a) & = a b + 1 \\ (a^{2} b^{2} + a^{3}) + 2 a b \sqrt{a^{2} + b} \sqrt{b^{2} + a} + (a^{2} b^{2} + b^{3}) & = 1 \\ (a \sqrt{b^{2} + a} + b \sqrt{a^{2} + b})^{2} & = 1 \\ a \sqrt{b^{2} + a} + b \sqrt{a^{2} + b} & = \pm 1. \end{aligned}
Next, we show that ab2+a+ba2+b>0a \sqrt{b^{2} + a} + b \sqrt{a^{2} + b} > 0. Note that
ab=ab+1a2+bb2+a<0 a b = -\sqrt{a b + 1} - \sqrt{a^{2} + b} \cdot \sqrt{b^{2} + a} < 0
so aa and bb have opposite signs. Without loss of generality, we may assume a>0>ba > 0 > b. Then rewrite
ab2+a+ba2+b=a(b2+a+b)b(aa2+b) a \sqrt{b^{2} + a} + b \sqrt{a^{2} + b} = a (\sqrt{b^{2} + a} + b) - b (a - \sqrt{a^{2} + b})
and, since b2+a+b\sqrt{b^{2} + a} + b and aa2+ba - \sqrt{a^{2} + b} are both positive, the expression above is positive. Therefore,
ab2+a+ba2+b=1, a \sqrt{b^{2} + a} + b \sqrt{a^{2} + b} = 1,
and the proof is finished.

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.