22/12/30 17:30:50.61 bjNnsn/s.net
>>133
⑥^2
= (ζ7 -ζ7^6)(ζ7-ζ7^6)+ω^2(ζ7 -ζ7^6)(ζ7^2-ζ7^5)+ω (ζ7 -ζ7^6)(ζ7^4-ζ7^3)
+ω^2(ζ7^2-ζ7^5)(ζ7-ζ7^6)+ω (ζ7^2-ζ7^5)(ζ7^2-ζ7^5)+ (ζ7^2-ζ7^5)(ζ7^4-ζ7^3)
+ω (ζ7^4-ζ7^3)(ζ7-ζ7^6)+ (ζ7^4-ζ7^3)(ζ7^2-ζ7^5)+ω^2(ζ7^4-ζ7^3)(ζ7^4-ζ7^3)
= ((ζ7^2+ζ7^5-2) +(ζ7^6-ζ7^2-ζ7^5+ζ7 ) +(ζ7^6-ζ7^5-ζ7^2+ζ7 ) )
+ω^2((ζ7^3-ζ7 -ζ7^6+ζ7^4) +(ζ7^3-ζ7^6-ζ7 +ζ7^4) +(ζ7 +ζ7^6-2) )
+ω ((ζ7^5-ζ7^3-ζ7^4+ζ7^2) +(ζ7^4+ζ7^3-2) +(ζ7^5-ζ7^4-ζ7^3+ζ7^2) )
= (-2+ζ7 +ζ7 +ζ7^6+ζ7^6+ζ7^2+ζ7^5-ζ7^2-ζ7^2-ζ7^5-ζ7^5)
+ω^2(-2+ζ7^4+ζ7^4+ζ7^3+ζ7^3+ζ7 +ζ7^6-ζ7 -ζ7 -ζ7^6-ζ7^6)
+ω (-2+ζ7^2+ζ7^2+ζ7^5+ζ7^5+ζ7^4+ζ7^3-ζ7^4-ζ7^4-ζ7^3-ζ7^3)
=(2-ω^2)⑤
=(3+ω)⑤
⑤⑥
= (ζ7 +ζ7^6)(ζ7-ζ7^6)+ω^2(ζ7 +ζ7^6)(ζ7^2-ζ7^5)+ω (ζ7 +ζ7^6)(ζ7^4-ζ7^3)
+ω^2(ζ7^3+ζ7^4)(ζ7-ζ7^6)+ω (ζ7^3+ζ7^4)(ζ7^2-ζ7^5)+ (ζ7^3+ζ7^4)(ζ7^4-ζ7^3)
+ω (ζ7^2+ζ7^5)(ζ7-ζ7^6)+ (ζ7^2+ζ7^5)(ζ7^2-ζ7^5)+ω^2(ζ7^2+ζ7^5)(ζ7^4-ζ7^3)
= ((ζ7^2-ζ7^5)+(ζ7-ζ7^6)+(ζ7^4-ζ7^3)
+ω ((ζ7^5+ζ7^3-ζ7^4-ζ7^2)+(ζ7^5+ζ7^6-ζ7 -ζ7^2)+(ζ7^3+ζ7^6-ζ7 -ζ7^4))
+ω^2((ζ7^3+ζ7 -ζ7^6-ζ7^4)+(ζ7^4+ζ7^5-ζ7^2-ζ7^3)+(ζ7^6+ζ7^2-ζ7^5-ζ7 ))
=(-2ω+1)⑦