ａ，ｂ，ｃを絶対値１の複素数とする．

　　ａ＝ｃｏｓα＋ｉｓｉｎα

　　ｂ＝ｃｏｓβ＋ｉｓｉｎβ

　　ｃ＝ｃｏｓγ＋ｉｓｉｎγ

　　ａ^n＝ｃｏｓｎα＋ｉｓｉｎｎα

　　ｂ^n＝ｃｏｓｎβ＋ｉｓｉｎｎβ

　　ｃ^n＝ｃｏｓｎγ＋ｉｓｉｎｎγ

を頂点とする複素平面上の三角形△ＡＢＣを考える．

　このとき，原点が△ＡＢＣ内にくるようなｎが存在する．ただし，

　　ａ＝１

　　ｂ＝ｃｏｓ２π／７＋ｉｓｉｎ２π／７

　　ｃ＝ｃｏｓ６π／７＋ｉｓｉｎ６π／７

　　ａ＝１

　　ｂ＝ｃｏｓ２π／７＋ｉｓｉｎ２π／７

　　ｃ＝ｃｏｓ１０π／７＋ｉｓｉｎ１０π／７

の場合だけは例外であって，そのようなｎは存在しないという．確認してみたい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝