>>586
Dが空ならok
Dが非空なら0<cosαより-π/2<α<π/2
zは1を中心とする半径cosαの円内にあり
かつ中心1からみた偏角θはπ-α<θ<π+α
この領域は0,1,cosβe^(±iβ)を頂点とする菱形
の内部にあり(β=π/2-αとおいた)
よって領域は単位円内に存在する