これが私の最初の記事「
多項式の実根を計算するアルゴリズム 」
の完成です。
ロバチェフスキー法のあまりにも簡潔なプレゼンテーションをより明確にしたコメンテーターに感謝します。 実際、二次多項式は、引数x ^ 2の多項式と見なされるべきであると明示的に書いておく必要があります。ここで、xは元の多項式の引数です。
最も重要なこととして、任意の次数の多項式のすべての実根を計算するための簡単なアルゴリズムがそこに記述されました。
さて、この基盤の上に、実根を持たない多項式の複素根を計算するための完全に基本的なアルゴリズムが構築されます。
最初に、多項式が正規化され、その自由項が1に等しくなります。 次に、引数x = 0の値で、多項式の値は実数であり、1に等しくなります。 これは数学者に広く知られている推論の出発点です。
多項式の引数xを次の形式で表します。
x=r*exp(i*fi)ここで、iは虚数単位です。
fiがゼロから2 * pi（= 6.28318 ...）に変化した場合、多項式pの値は閉じた曲線を表します。 この曲線をエピサイクロイドと呼びます。
rが非常に小さい場合、エピサイクロイドは点p = 1の周りの小さなリングのように見えます。 多項式の線形項がゼロに等しい場合、状況に気を取られません。
rが無限に大きい場合、エピサイクロイドは点p = 1の周りのいくつかのループを記述します。 ループの数は多項式の次数に等しく、形状は大きな半径の円に近くなります。
多項式の虚数部が消滅するfiのすべての値を計算する方法を学習すると役立ちます。 これにより、エピサイクロイドが横軸と交差するx座標の最小値にrの各値が建設的に対応できるようになります。
この値は、rが小さい場合は正で、rが大きい場合は負です。
セグメントを半分に分割することにより、この値が正確にゼロになるようなrを見つけることができます。 rとfiの対応する値は、多項式の希望する複素根を決定します。
計画の実施に移りましょう。
係数kf0、kf1、kf2、...、kfnを持つ多項式の虚数部は、次の形式で表示されます。
Im=kf1*r*sin(fi)+kf2*r^2*sin(2*fi)+...+kfn*r^n*sin(n*fi)
多項式の実根を計算できるので、ある種の多項式の形で表現したいと思います。 実際、この虚数部は、fiのコサインからの多項式によって、fiのサインの積として表すことができます。 多項式の程度が小さい場合、これは直接検証できます。
このステートメントを一般的な方法で証明するには、数学的帰納法を使用します。
させる
cos(n*x)=polynomC(cos(x)) sin(n*x)=sin(x)*polynomS(cos(x))
それから
cos(n*x+x)=cos(n*x)*cos(x)-sin(n*x)*sin(x)= =polynomC(cos(x))*cos(x)-sin^2(x)*polynomS(cos(x))
sin^2(x)=1-cos^2(x) 、最後の式がcos（x）の多項式であることが明らかです。
同様に：
sin(n*x+x)=sin(n*x)*cos(x)+cos(n*x)*sin(x)= =sin(x)*(polynomS(cos(x)*cos(x)+polynomC(cos(x))))
そしてここで、最後の式のsin（x）の係数がcos（x）の多項式であることは明らかです。
上記の関係を注意深く記述することにより、必要な多項式の係数の漸化式を取得できることは明らかです。
以下の対応するプログラムのコメント付きテキストに従って、計画の実装の詳細をトレースする方が便利です。
このデモプログラムのフルパッケージは、以前の出版物で説明されている次の3つのファイルと2つのファイルで構成されています。
テキストファイルpolynomComplexRoot.h テキストファイルpolynomComplexRoot.cpp