Neka je u=a+bi, v=c+di. Označimo L=(1+uv)(1+uˉvˉ), D=(1+uuˉ)(1+vvˉ).
Sada imamo:
L=[1+(a+bi)(c+di)][1+(a−bi)(c−di)]=[1+ac−bd+(ad+bc)i][1+ac−bd−(ad+bc)i]=(1+ac−bd)2+(ad+bc)2=1+a2c2+b2d2+2ac−2bd−2abcd+a2d2+2abcd+b2c2=1+a2c2+b2d2+a2d2+b2c2+2ac−2bd.
D=[1+(a+bi)(a−bi)][1+(c+di)(c−di)]=(1+a2+b2)(1+c2+d2)=1+a2+b2+c2+a2c2+b2c2+d2+a2d2+b2d2.
Tada je
D−L=(a2−2ac+c2)+(b2+2bd+d2)=(a−c)2+(b+d)2≥0.
Odavde slijedi da je zaista L≤D.
Drugo rješenje.
(1+uv)(1+uˉvˉ)⇔uv+uˉvˉ⇔(u−vˉ)(uˉ−v)⇔(u−vˉ)(u−vˉ)⇔∣u−vˉ∣2≤(1+uuˉ)(1+vvˉ)≤uuˉ+vvˉ≥0≥0≥0,
što uvijek vrijedi.