■正多角形の作図と原始根(その184)

5(10+2√5)^1/2+4(10−2√5)^1/2=(5-2√5)^1/2+9(5+2√5)^1/2

4(10+2√5)^1/2-5(10−2√5)^1/2=9(5-2√5)^1/2-(5+2√5)^1/2

5(10+2√5)^1/2-4(10−2√5)^1/2=9(5-2√5)^1/2+(5+2√5)^1/2

4(10+2√5)^1/2+5(10−2√5)^1/2=-(5-2√5)^1/2+9(5+2√5)^1/2

が成り立つ

y^5-y^4-4y^3+3y^2+3y-1=0の一つの解は

A={11/4・(80+25√5-5i(5+2√5)^1/2+45i(5-2√5)^1/2}^1/5

B={11/4・(80+25√5+5i(5+2√5)^1/2-45i(5-2√5)^1/2}^1/5

C={11/4・(80-25√5-5i(5+2√5)^1/2-45i(5-2√5)^1/2}^1/5

D={11/4・(80-25√5+5i(5+2√5)^1/2+45i(5-2√5)^1/2}^1/5

としたとき、y=1/5・(1+A+B+C+D)で与えられるとのことであるが、そうはならなかった。誤植があるのだろうか?

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

プログラムでは

1000 PI=3.14159

1010 A=89+25*SQR(5):A=-A*11/4

1020 B=89-25*SQR(5):B=-B*11/4

1030 C=5*SQR(5+2*SQR(5)):C=-C*11/4

1040 D=45*SQR(5-2*SQR(5)):D=-D*11/4

1050 E=5*SQR(5-2*SQR(5)):E=-E*11/4

1060 F=45*SQR(5+2*SQR(5)):F=-F*11/4

1360 REA=A:IMA=-C+D:WA=-PI/5:WZ=W(1):GOSUB *CALC2

1370 REA=B:IMA=E+F :WA=-PI/5:WZ=W(2):GOSUB *CALC2

1380 REA=B:IMA=-E-F:WA= PI/5:WZ=W(3):GOSUB *CALC2

1390 REA=A:IMA=C-D :WA= PI/5:WZ=W(4):GOSUB *CALC2

としたが、E,FをC,Dに置き換えることはできなそうである。

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