■円周等分と正17角形(その12)
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
===================================
どのpに対しても原始根は一般に複数あるが、どの原始根で考えても、この手順による最終的な分け方は同一になる
===================================