Sean $a_1, a_2, a_3$ tres números reales distintos. Defina $$\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}$$ Demuestre que $$1 + |a_1b_1+a_2b_2+a_3b_3| \le (1+|a_1|) (1+|a_2|)(1+|a_3|)$$ ¿Cuándo se cumple la igualdad?