■レムニスケートの等分点とテータ関数(その19)

P1(x)=1,Q1(x)=1

P2(x)=2,Q2(x)=1+x

Q3(x)=1+6x−3x^2

P3(x)=3−6x−x^2

Q4(x)={1+20x−26x^2+20x^3+x^4}

P4(x)=4(1+x){1−6x+x^2)

Q5(x)=(1−2x+5x^2)(1+52x−26x^2−12x^3+x^4}

P5(x)=(5−2x+x^2)(1−12x−26x^2+52x^3+x^4}

係数の表現の対称性がおもしろい.

 阪本ひろむ氏がこの続きを求めてくれたので紹介したい.

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

Q6(x)=(1+x)(1+104x−548x^2+3032x^3−4922x^4+3032x^5−578x^6+104x^7+x^8}

P6(x)=2(−3+6x+x^2)(−1−6x+3x^2)(1−28x+6x^2−28x^3+x^4}

定規とコンパスだけで6等分することは可能である.

Q7(x)=1+196x−1302x^2+14756x^3−15673x^4−42168x^5+111916x^6−82264x^7+35231x^8−19852x^9+2954x^10+308x^11−7x^12

P7(x)=7−308x−2954x^2+19852x^3−35231x^4+82264x^5−111916x^6+42168x^7+15673x^8−14756x^9+1302x^10−196x^11−x^12

定規とコンパスだけで7等分することは不可能である.

Q8(x)=1+336x−3336x^2+69616x^3−77796x^4−647088x^5+2618568x^6−3600784x^7+3356402x^8−3600784x^9+2618568x^10−947088x^11−77796x^12+69616x^12−3336x^14+336x^15+x^16

P8(x)=8(1+x)(1−6x+x^2)(1+20x−26x^2+20x^3+x^4)(1−88x+92x^2−872x^3+1990x^4−872x^5+92x^6−88x^7+x^8}

定規とコンパスだけで8等分することは可能である.

P9(x)=(−3+6x+x^2)(−3+342x+11385x^2−121392x^3+273348x^4−4009176x^5+8458020x^6−3546576x^7−19899882x^8+44431044x^9−39775986x^10+22321584x^11−13729068x^12+7820712x^13−2304684x^14+342864x^15−10923x^16+534x^17+x^18}

定規とコンパスだけで7等分することは不可能である.

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