今回のコラムでは,
[1, 1, 1 ]
F3 =[1, ω, ω^2 ]
[1, ω^2,ω ]
を用いて,一般の3次方程式の解法(カルダノの方法)をを導くことにする.
ω=exp(2πi/3)とおく.
z0=a0+a1+a2
z1=a0+a1ω+a2ω^2
z2=a0+a1ω^2+a2ω
ω~=ω^2より
3a0=z0+z1+z2
3a1=z0+z1ω^2+z2ω
3a2=z0+z1ω+z2ω^2
a0=(z0+z1+z2)/3
は三角形の重心であり,これを複素平面の原点Oにおけば
z0=a1+a2
z1=a1ω+a2ω^2
z2=a1ω^2+a2ω
z0z1z2=a1^3+a2^3
と簡単になる.
===================================
【1】カルダノの方法
3a1=z0+z1ω^2+z2ω
3a2=z0+z1ω+z2ω^2
より,
9a1a2=z0^2+z1^2+z2^2−z0z1−z0z2−z1z2
a0=(z0+z1+z2)/3を平方して引くと
3a1a2=−(z0z1+z0z2+z1z2)
z0,z1,z2を3次方程式x^3+px+q=0と仮定すると
p=(z0z1+z0z2+z1z2),z0z1z2=−q
であるから,
3a1a2=−p
z^3−1=(z−1)(z−ω)(z−ω^2)のzをーzで置き換えて
z^3+1=(z+1)(z+ω)(z+ω^2)
ここで,z=a1/a2とおくと
(a1+a2)(a1+a2ω)(a1+a2ω^2)=a1^3+a2^3
(a1+a2)(a1ω+a2ω^2)(a1ω^2+a2ω)=a1^3+a2^3
結局,
a1^3+a2^3=−q
a1^3a2^3=−p/27
の2つの等式が成り立つが,a1^3,a2^3は2次方程式
x^2+qx−p/27=0
の2根であることがわかる.
a1^3=−q/2+Δ^1/2
a2^3=−q/2−Δ^1/2
Δ=q^2/4+p^3/27
z0=a1+a2
z1=a1ω+a2ω^2
z2=a1ω^2+a2ω
により3根z0,z1,z2を得ることができる.
===================================