A,B,C,D,E,F,G,H はおのおの 1, α-14, α2, α-8, α-2, α9, α4, α-5 に対応している点です AB, CD, EF が一点で交わることの証明 (1 + α-14)(α2 + α-8) + (1 + α-6)(α-2 + α9) + (1 + α7)(1 + α-14) - (1 + α-6)(1 + α-14) - (1 + α7)(α2 + α-8) - (1 + α-14)(α-2 + α9) に α22 をかけて計算する。 (α14 + 1)(α10 + 1) + (α6 + 1)(α14 + α25) + (α8 + α15)(α14 + 1) - (α8 + α2)(α14 + 1) - (α14 + α21)(α10 + 1) - (α14 + 1)(α6 + α17) 　= (α14 + 1)(α5 + α8 - 1 - α8 - α2 - α6 + α2) 　　　+ (α6 + 1)(α14 - α10) - (α14 - α6) α5 　= α19 + α5 - α14 - 1 - α20 - α6 　　　+ α20 + α14 - α16 - α10 - α19 + α11 　　= (-1 + α5 - α10) + (-α6 + α11 - α16) = 0

---

CD, EF, GH が一点で交わることの証明 (1 + α-6)(α-2 + α9) + (1 + α7)(α4 + α-5) + (1 + α-1)(α2 + α-8) 　　　 - (1 + α7)(α2 + α-8) - (1 + α-1)(α-2 + α9) - (1 + α-6)(α4 + α-5) に α11 をかけて計算する。 (1 + α6)(1 + α11)α3 + (1 + α7)(1 + α9)α6 + (1 + α)(1 + α10)α2 　　　- (1 + α7)(1 + α10)α3 - (1 + α)(1 + α11)α8 - (1 + α6)(1 + α9) 　= (1 + α6)(1 + α11)α3 + (1 + α7)(1 + α9)α6 + (1 + α)α7 　　　- (1 + α7)α8 - (1 + α)(1 + α11)α8 - (1 + α6)(1 + α9)

= α3 + α9 + α14 + α20 + α6 + α13 + α15 + α22 + α7 + α8 　　- α8 - α15 - α8 - α9 - α19 - α20 - 1 - α6 - α9 - α15 　= (α3 - α8 + α13) - (α9 - α14 + α19) + (α22 + α7) - (1 + α15) = 0 一つ戻る　　 二つ戻る　　 戻る