■円分多項式と正多角形(その23)

a=z^3+z^10+z^5+z^11+z^14+z^7+z^12+z^6=z^3+z^-7+z^5+z^-6+z^-3+z^7+z^-5+z^6

b=z^9+z^13+z^15+z^16+z^8+z^4+z^2+z^1=z^-8+z^-4+z^-2+z^-1+z^8+z^4+z^2+z^1

a+b=-1はよいとして、ab=-4となることを確認してみたい。

b=z^1+z^2+z^4+z^8+z^9+z^13+z^15+z^16

a=z^3+z^5+z^6+z^7+z^10+z^11+z^12+z^14

ab=z^4+z^5+z^7+z^11+z^12+z^16+z^1+z^2

z^6+z^7+z^9+z^13+z^14+z^1+z^3+z^4

z^7+z^8+z^10+z^14+z^15+z^2+z^4+z^5

z^8+z^9+z^11+z^15+z^16+z^3+z^5+z^6

z^11+z^12+z^14+z^1+z^2+z^6+z^8+z^9

z^12+z^13+z^15+z^2+z^3+z^7+z^9+z^10

z^13+z^14+z^16+z^3+z^4+z^8+z^10+z^11

z^15+z^16+z^1+z^5+z^6+z^10+z^12+z^13=-4

===================================

c=z^1+z^4+z^13+z^16

d=z^2+z^8+z^9+z^15

c+d=bはよいとして、cd=-1となることを確認してみたい。

cd=z^3+z^6+z^15+z^1

z^9+z^12+z^4+z^7

z^10+z^13+z^5+z^8

z^16+z^2+z^11+z^14=-1

===================================

e=z^3+z^5+z^12+z^14

f=z^6+z^7+z^10+z^11

ef=-1となることを確認してみたい。

cd=z^9+z^11+z^1+z^3

z^10+z^12+z^2+z^4

z^13+z^15+z^5+z^7

z^14+z^16+z^6+z^8=-1

===================================