Maths Olympiad Prep

Library / /5 of 42

Algebra Difficulty 4.8 AIME Prove it Ireland

Show that 1+t1t1+t12\frac{\sqrt{1+t} - \sqrt{|1-t|}}{1+\sqrt{t}} \le \frac{1}{\sqrt{2}}, for all t0t \ge 0.

Solutions — 2

Solution 1

f(t)=1+t1t1+t f(t) = \frac{\sqrt{1+t} - \sqrt{|1-t|}}{1+\sqrt{t}}
and observe that f(1/t)=f(t)f(1/t) = f(t), and that f(0)=0,f(1)=1/2f(0) = 0, f(1) = 1/\sqrt{2}. Therefore, it suffices to prove that 2(f(s2))212(f(s^2))^2 \le 1 if 0s10 \le s \le 1, i.e, that
2(1+s2+1s221s4)(1+s)2. 2(1 + s^2 + 1 - s^2 - 2\sqrt{1 - s^4}) \le (1 + s)^2.
This is equivalent to 4(1+s)241s44-(1+s)^2 \le 4\sqrt{1-s^4}, or (4(1+s)2)216(1s4)(4-(1+s)^2)^2 \le 16(1-s^4), i.e.
(1s)2(3+s)216(1s)(1+s+s2+s3). (1-s)^2(3+s)^2 \le 16(1-s)(1+s+s^2+s^3).
Since 0s10 \le s \le 1 this holds provided that
(1s)(9+6s+s2)16(1+s+s2+s3), (1-s)(9+6s+s^2) \le 16(1+s+s^2+s^3),
equivalently, iff
93s5s2s316(1+s+s2+s3), 9 - 3s - 5s^2 - s^3 \le 16(1 + s + s^2 + s^3),
which clearly holds for all s0s \ge 0.

Solution 2

We first show that
ababif0ba.(9) \sqrt{a} - \sqrt{b} \le \sqrt{a-b} \quad \text{if} \quad 0 \le b \le a. \qquad (9)
Indeed, we have 0ba0 \le \sqrt{b} \le \sqrt{a} and multiply by 2b2\sqrt{b} to get 02b2ab0 \le 2b \le 2\sqrt{ab}.
If we add ab2aba - b - 2\sqrt{ab} to both sides this yields
(ab)2=a2ab+bab. (\sqrt{a} - \sqrt{b})^2 = a - 2\sqrt{ab} + b \le a - b.
Because aba \ge b, we can take square roots to obtain abab\sqrt{a} - \sqrt{b} \le \sqrt{a-b}.
Next, we note that the inequality we wish to show is unchanged when tt is
replaced by 1/t1/t. Hence, it suffices to consider 0t10 \le t \le 1. In this case,
1t=1t|1-t| = 1-t. With a=1+ta = 1+t and b=1tb = 1-t we obtain from (9) the inequality
1+t1t2t=2t21+t2, \sqrt{1+t} - \sqrt{1-t} \le \sqrt{2t} = \frac{2\sqrt{t}}{\sqrt{2}} \le \frac{1+\sqrt{t}}{\sqrt{2}},
where we have used t1\sqrt{t} \le 1 in the last step. This is the desired result.

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.