证:∵|z1-
.
z2|=|1-z1z2|
∴|z1-
.
z2|2=|1-z1z2|2.
∴(z1-
.
z2)
.
(z1?
.
z2)=(1-z1z2)
.
(1?z1z2).
∴(z1-
.
z2)(
.
z1-z2)=(1-z1z2)(1-
.
z1
.
z2).
化简后得z1
.
z1+z2
.
z2=1+z1z2
.
z1
.
z2.
∴|z1|2+|z2|2=1+|z1|2?|z2|2.
∴(|z1|2-1)(|z2|2-1)=0.∴|z1|2=1,或|z2|2=1.
∴|z1|,|z2|中至少有一个为1.