Let $a_1, a_2, a_3$ be three distinct real numbers. Define $$\begin{cases} b_1=\left(1+\dfrac{a_1a_2}{a_1-a_2}\right)\left(1+\dfrac{a_1a_3}{a_1-a_3}\right) \\ \\ b_2=\left(1+\dfrac{a_2a_3}{a_2-a_3}\right)\left(1+\dfrac{a_2a_1}{a_2-a_1}\right) \\ \\ b_3=\left(1+\dfrac{a_3a_1}{a_3-a_1}\right)\left(1+\dfrac{a_3a_2}{a_3-a_2}\right) \end {cases}$$Prove that $$1 + |a_1b_1+a_2b_2+a_3b_3| \le (1+|a_1|) (1+|a_2|)(1+|a_3|)$$When does equality hold?
Problem
Source: Indian Postal Coaching 2007 set 3 p2
Tags: inequalities, algebra, system of equations