実数でも純虚数でもない複素数z(|z|≠1)と、複素数wについて
|1-wz|=1-|w/z|が成り立っている。
また、z+(z-(1/z))k (kは実数)が実数となるとき、その値をα、
z+(z-(1/z))kが純虚数となるとき、その値をβとすると
zを固定したときの|w|の最大値は|α+β|であることを示せ。