Let's Demonstrate Your Love with Inequalities ‘can heng2007 Problem O.1. Let a,b, ¢,d be nonnegative real numbers. Prove that a! +6! 40! 4a" —dabed 2 VIO? + 6c? + Aa? + da? —4abed), (Michaet Rozenberg) Proof. Without loss of generality, assume that a+-¢ > b-+-d. Write the inequality as att ect pat p4(VE=1) abed 2 V0 +2) +4) ‘We will prove that at ct (V2=1) abot wey +2(va- ) bate? +2) aw This inequality is equivalent to (a~c} [abe -4(v2-1) ad] 20, Which is true because (ac? 2 (b-+a)® > Abd > 4(V2—1) bl ‘Now, from (1), we see that it suffices t9 prove that (@42F 42(v3—1) bd? +2) +64 4d S V2 + ANG +a) Using the AM-GM Inequality, we have (@4 Hot eat) 2+ Ay 20 4 a4). ‘Therefore, itis enough to check that (@ 402) /2(b4 + a4) + 2(v2- dla? +c?) > V2(a? +2)(b? +a), which is equivalent to Dib +a) +2 (Vv2—1) bd > V6 +a"), (R00 F a8) (0 148) > (V3=1) 0 ap In the nontrivial case when b? +-d > 0, we can write this inequality as > (v3-1)-ay, way? V2 d+ Pacan hang2007 The love makes us stronger which is tue because =a + dpo-ay VUE aD EB (v2 1)ue + d2) (E-1)o-a? ‘The proof'is completed. On the assumptions b > d and a-}-¢ > b-+-d, equality holds fora=b nd again for a =e = Y2b and d= 0,