□ Example 8 Given that a,b,c,d are positive real numbers, prove: (a+c)2+(b+d)2⩽a2+b2+c2+d2⩽(a+c)2+(b+d)2+(a+c)2+(b+d)22∣ad−bc∣.
This one wants a proof. Work it on paper, read the official solution, then mark
yourself honestly — the ladder only means something if the record is true.
Official solution
Proof: Let u=(a,b),v=(c,d), then the inequality (a+c)2+(b+d)2⩽a2+b2+c2+d2
is a triangle inequality constructed by vectors u and v, which is obviously true. Therefore, to prove the original inequality, it suffices to prove a2+b2+c2+d2⩽(a+c)2+(b+d)2+(a+c)2+(b+d)22∣ad−bc∣
which is equivalent to proving (a2+b2+c2+d2)2⩽(a+c)2+(b+d)2+2∣ad−bc∣.
And (1) is equivalent to a2+b2+c2+d2+2a2+b2⋅c2+d2 ⇔⇔⇔⩽a2+2ac+c2+b2+2bd+d2+2∣ad−bc∣a2+b2⋅c2+d2⩽ac+bd+∣ad−bc∣(a2+b2)(c2+d2)⩽a2c2+2abcd+b2d2+a2d2−2abcd+b2c2+2(ac+bd)∣ad−bc∣0⩽2(ac+bd)∣ad−bc∣.
The last inequality is obviously true, hence the original inequality holds.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.