19/05/12 05:30:48.68 B2mXwahY.net
いいよ。
αz = α･i + α(z-i),
Re(αz) = - Im(α) + Re{α(z-i)}
z が円 |z-i| ≦ 1 内で動くとき
-Im(α) - |α| ≦ Re(αz) ≦ - Im(α) + |α|,
題意より
-1 ≦ -Im(α) - |α|, -Im(α) + |α| ≦ 1,
∴ |α| ≦ 1 - |Im(α)|,
2乗して
|α|^2 ≦ (1 - |α"|)^2
(α')^2 + (α")^2 ≦ 1 -2|α"| + (α")^2
|α"| ≦ {1 - (α')^2}/2,
ここで α' = Re(α), α" = Im(α). とおいた。