>>586 を 改良・・・・
D = {z ∈ C | |z - 1| < cosα, |Arg(1 - z)| < α}とする。
z ∈ D ⇒ |z-1/2| < 1/2 を証明せよ。