最初に２群に分けてから3次方程式を解いた方が、きれいな解が得られる。

正13角形のベキ根表示

2COS(2π/13)=(-1+√13)/6+{(26-5√13+i3√39)/54}^1/3+{(26-5√13-i3√(39)/54}^1/3

が成り立つ。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

最初に３群に分けてから２次方程式を解くと、

ω=(-1+i√3)/2

B1=-1/3+ω^2{(-65+39i√3)/54}^1/3+ω{(-65-39i√3)/54}^1/3

B4=-1/3+ω{(-65+39i√3)/54}^1/3+ω^2{(-65-39i√3)/54}^1/3とおくと、

x=2COS(2π/13)=(B1+√(B1*B1-4*B4))/2

初めにB1,B4が実数であることに気づいていれば、無駄な計算をする必要はなかったのであるが、いずれにせよ、

√5＋(22+2√5)^1/2=(11+2√29)^1/2+{16-2√29+2(55-10√29)^1/2}^1/2

のような形には表せなかったことになる。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

a+bi=(a^2+b^2)^1/2{a/(a^2+b^2)^1/2+ib/(a^2+b^2)^1/2}として、虚部を消すことを考える。

|-65+39i√3|/54=(65^2+3・39^2)^1/2/54＝(13^3・4)^1/2/54=r1

-65/54=r1cost1,39√3/54=r1sint1

B1+1/3=(r1^1/3cos(t1/3-2π/3)+ir1^1/3sin(t1/3-2π/3))+(r1^1/3cos(-t1/3+2π/3)+ir1^1/3sin(-t1/3+2π/3))

=2r1^1/3cos(t1/3-2π/3)=2r1^1/3(cos(t1/3)(-1/2)+sin(t1/3)(√3/2))

=-r1^1/3(cos(t1/3)-√3sin(t1/3))

B4+1/3=(r1^1/3cos(t1/3+2π/3)+ir1^1/3sin(t1/3+2π/3))+(r1^1/3cos(-t1/3-2π/3)+ir1^1/3sin(-t1/3-2π/3))

=2r1^1/3cos(t1/3+2π/3)=2r1^1/3(cos(t1/3)(-1/2)-sin(t1/3)(√3/2))

=-r1^1/3(cos(t1/3)+√3sin(t1/3))

B1^2=1/9+(r1^1/3cos(t1/3))^2+3(r1^1/3sin(t1/3))^2+2/3r1^1/3cos(t1/3)-2√3/3r1^1/3sin(t1/3)-2√3(r1^1/3cos(t1/3))(r1^1/3sin(t1/3))

B1^2-4B4==1/9+(r1^1/3cos(t1/3))^2+3(r1^1/3sin(t1/3))^2+2/3r1^1/3cos(t1/3)-2√3/3r1^1/3sin(t1/3)-2√3(r1^1/3cos(t1/3))(r1^1/3sin(t1/3)) +4/3+4r1^1/3cos(t1/3)+4√3r1^1/3sin(t1/3)

=13/9+(r1^1/3cos(t1/3))^2+3(r1^1/3sin(t1/3))^2-2√3(r1^1/3cos(t1/3))(r1^1/3sin(t1/3)) +14/3r1^1/3cos(t1/3)+10√3r1^1/3sin(t1/3)

実数にはなったが、これ以上簡単な形にはならない

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

x=(-1+√13)/6+{(26-5√13+i3√39)/54}^1/3+{(26-5√13-i3√(39)/54}^1/3

|26-5√13+i3√39|/54→{(1352-260√13)^1/2}/54={52(26-5√13)}^1/2/54=r1

(26-5√13)/54=r1cost1,3√39/54=r1sint1,3√39/54=r1sin(-t1)

x=(-1+√13)/6+2r1^1/3cos(t1/3)

と簡単な形になる

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝