を複素数、を純虚数でない複素数とし、を虚数単位とする。複素数平面において、点が虚軸全体を動くとき、 で定まる点の軌跡をとする。次の3条件が満たされているとする。(ア)のときにとなり)のときにとなる。(イ)は単位円の周に含まれる。(ウ)点はに属さない…