この問題に紐づくOpen Issueはありません。
情報取得：2026/11/06 21:01（日本時間）。最新の状態はGitHubで確認できます。
，は複素数で，の絶対値は1とする． このときを満足する複素数があるための必要十分条件はであることを示せ． ここに，はそれぞれ，の共役複素数を表わす．
