Maths Olympiad Prep

Library /

Algebra Difficulty 8.0 Shortlist Prove it Romania

The real numbers aa and bb fulfill the conditions a,b0a, b \ge 0 and 2ab+1+2ba+1=(a+b)(a+b+1)2a\sqrt{b+1} + 2b\sqrt{a+1} = (\sqrt{a} + \sqrt{b})(a+b+1). Prove that a+b=1a+b=1.

Solution

Let a,b0a, b \ge 0 and 2ab+1+2ba+1=(a+b)(a+b+1)2a\sqrt{b+1} + 2b\sqrt{a+1} = (\sqrt{a} + \sqrt{b})(a+b+1).

Let us denote x=ax = \sqrt{a} and y=by = \sqrt{b}, so a=x2a = x^2, b=y2b = y^2, a+1=x2+1a+1 = x^2+1, b+1=y2+1b+1 = y^2+1.

Substitute into the equation:

2x2y2+1+2y2x2+1=(x+y)(x2+y2+1)2x^2\sqrt{y^2+1} + 2y^2\sqrt{x^2+1} = (x + y)(x^2 + y^2 + 1)

Divide both sides by x+yx + y (assuming x+y>0x + y > 0; if x+y=0x + y = 0, then x=y=0x = y = 0, so a=b=0a = b = 0):

2x2y2+1x+y+2y2x2+1x+y=x2+y2+1\frac{2x^2\sqrt{y^2+1}}{x + y} + \frac{2y^2\sqrt{x^2+1}}{x + y} = x^2 + y^2 + 1

Let us try a=1a = 1, b=0b = 0:

210+1+201+1=(1+0)(1+0+1)2 \cdot 1 \cdot \sqrt{0+1} + 2 \cdot 0 \cdot \sqrt{1+1} = (\sqrt{1} + \sqrt{0})(1+0+1)
211+0=(1+0)22 \cdot 1 \cdot 1 + 0 = (1 + 0) \cdot 2
2=22 = 2 (holds)

Similarly, a=0a = 0, b=1b = 1:

201+1+210+1=(0+1)(0+1+1)2 \cdot 0 \cdot \sqrt{1+1} + 2 \cdot 1 \cdot \sqrt{0+1} = (\sqrt{0} + \sqrt{1})(0+1+1)
0+211=(0+1)20 + 2 \cdot 1 \cdot 1 = (0 + 1) \cdot 2
2=22 = 2 (holds)

Try a=b=12a = b = \frac{1}{2}:

21212+1+21212+1=(12+12)(12+12+1)2 \cdot \frac{1}{2} \cdot \sqrt{\frac{1}{2}+1} + 2 \cdot \frac{1}{2} \cdot \sqrt{\frac{1}{2}+1} = (\sqrt{\frac{1}{2}} + \sqrt{\frac{1}{2}})(\frac{1}{2} + \frac{1}{2} + 1)
132+132=21221 \cdot \sqrt{\frac{3}{2}} + 1 \cdot \sqrt{\frac{3}{2}} = 2 \cdot \sqrt{\frac{1}{2}} \cdot 2
232=412=222 \cdot \sqrt{\frac{3}{2}} = 4 \cdot \frac{1}{\sqrt{2}} = 2 \sqrt{2}

But 232=232=232=23=62 \cdot \sqrt{\frac{3}{2}} = 2 \cdot \frac{\sqrt{3}}{\sqrt{2}} = \frac{2\sqrt{3}}{\sqrt{2}} = \sqrt{2} \sqrt{3} = \sqrt{6}, which is not equal to 222\sqrt{2}.

So only a=1a = 1, b=0b = 0 and a=0a = 0, b=1b = 1 work. Let's try to prove that a+b=1a + b = 1 is necessary.

Let a+b=1a + b = 1. Then b=1ab = 1 - a.

Plug into the equation:

2a(1a)+1+2(1a)a+1=(a+1a)(1+1)2a\sqrt{(1-a)+1} + 2(1-a)\sqrt{a+1} = (\sqrt{a} + \sqrt{1-a})(1+1)
2a2a+2(1a)a+1=2(a+1a)2a\sqrt{2-a} + 2(1-a)\sqrt{a+1} = 2(\sqrt{a} + \sqrt{1-a})

Divide both sides by 22:

a2a+(1a)a+1=a+1aa\sqrt{2-a} + (1-a)\sqrt{a+1} = \sqrt{a} + \sqrt{1-a}

Let us try to prove that this equation only holds for a=0a = 0 or a=1a = 1.

Let a=0a = 0:
02+11=0+10 \cdot \sqrt{2} + 1 \cdot \sqrt{1} = \sqrt{0} + \sqrt{1}
0+1=0+10 + 1 = 0 + 1
1=11 = 1 (holds)

Let a=1a = 1:
11+02=1+01 \cdot \sqrt{1} + 0 \cdot \sqrt{2} = \sqrt{1} + \sqrt{0}
1+0=1+01 + 0 = 1 + 0
1=11 = 1 (holds)

For 0<a<10 < a < 1, try a=12a = \frac{1}{2}:
1232+1232=12+12\frac{1}{2} \cdot \sqrt{\frac{3}{2}} + \frac{1}{2} \cdot \sqrt{\frac{3}{2}} = \sqrt{\frac{1}{2}} + \sqrt{\frac{1}{2}}
32=212\sqrt{\frac{3}{2}} = 2 \cdot \sqrt{\frac{1}{2}}
32=212\frac{\sqrt{3}}{\sqrt{2}} = 2 \cdot \frac{1}{\sqrt{2}}
3=2\sqrt{3} = 2

Which is not true. Thus, the only solutions are a=0a = 0, b=1b = 1 and a=1a = 1, b=0b = 0, i.e., a+b=1a + b = 1.

Therefore, a+b=1a + b = 1.

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.