For three mutually distinct real numbers a1, a2, a3, define three real numbers b1, b2, b3 as follows: bj=(1+aj−aiajai)(1+aj−akajak),{i,j,k}={1,2,3}. Prove the inequality 1+∣a1b1+a2b2+a3b3∣≤(1+∣a1∣)(1+∣a2∣)(1+∣a3∣). When does the equality hold?
Solution — click to reveal
Define A=a1−a2a1a2,B=a1−a3a1a3,C=a2−a3a2a3. Then ==a1b1+a2b2+a3b3a1(1+A)(1+B)+a2(1−A)(1+C)+a3(1−B)(1−C)a1+a2+a3+(a1−a2)A+(a1−a3)B+(a2−a3)C+a1AB−a2AC+a3BC. Some computation shows that (a1−a2)A+(a1−a3)B+(a2−a3)C=a1a2+a1a3+a2a3,