多項式関数の横軸の等価点を見つけるためのアルゴリズム



親愛なるKhabrovites、私は歓迎します! 数学に近い記事のサイクルを継続します 。前の記事はこちらにあります 。 私は数学のアマチュアであり、その道徳的および美的側面を扱っているだけであり、私のアイデアはあなたにとって面白くない/役に立たないように見えるかもしれないことを思い出させてください。 だから:

まず第一に、正しいコンテキストは、この文脈で「等価性」という用語の説明に公理を導入することです。


この記事のフレームワーク内でのこのような公理は便宜上のものであり、厳密に言えば、完全に正しいわけではありません。

そしてすぐに、「ごめんなさい、なぜこれが必要なのか」という伝統的な質問に答えるのは良いことです。 私は答えます-少なくとも、多項式方程式の残りの根(方程式から関数への移動)を検索し、1つの根しか知りません。 さまざまなあまり明らかでないこと。 次に、この問題の解決方法を説明し、一般的な形式でアルゴリズムを示します。 恵みに興味がある人のために、猫をお願いします。

次のクラスの関数で作業することに注意してください。

画像

sigmaが何であるかわからない場合 、これが次と同等であることを明確にする必要があります。

画像

これは、多項式である関数の一般的な形に他なりません。 最後に、具体的な例を使用して理解可能なタスクを定式化して、何が起こっているのかをよりよく理解しましょう。 したがって、3次の多項式、つまり3次の方程式があります。

画像

タスク:方程式の根の1つ(任意の数値セットから- 有理であっても、 複雑であるなど)を知って、方程式の残りの根を見つけます。 はい、見つけるだけでなく、 より低い次数の方程式を解くことによって!

それでは、方程式から関数に移りましょう。

画像

そして、楽しみのために、すべての非ゼロ派生関数を見つけます。

画像
画像
画像

さて、見つかったので、関数をテイラー級数ここで、 画像 ):

画像

さらに、上記の等価性の公理を思い出します 画像 私たちのコンテキスト:

画像 [平等のおかげで、 画像 ]

何にも似ていませんか? そう! これは、関数のテイラー級数展開の最初の項です。 そして、明らかに、平等が同一であるためには、展開の残りの項が消えなければなりません。 言い換えれば:

画像

次の明白なルールを使用します。


そして、私たちはただ乗算することができます 画像 大括弧から外します:

画像

次に:

  1. 画像

    適していない 、なぜなら 画像 、種のトートロジーがあるからです 画像

  2. 画像

これは、作業を完全にゼロにする2番目のケースです。 すぐに誘導体を置き換えましょう:

画像

少しカットしましょう。

画像

そして見よ! 方程式は2次(2次)であることが判明しましたが、元の方程式は3次( 3次)でした。

に関する決定 画像 次のルートを取得します。

画像

明らかに、私たちの機能についてはこれから次のようになります。

画像

これは、方程式に何を与えますか? そして、方程式の根の1つを知っているという事実は、他の2つを見つけることができます(そして2次の複雑さのために)。

帰結 :度の方程式の根の1つを知っている 画像 、方程式の次数を下げることができます 画像 、およびルートは、任意の標準の番号セットから取得できます。

より具体的な例を見てみましょう:

画像

求められた方程式の根からは 画像 。 また、方程式を(上記のアルゴリズムに従って)3次関数として表すと、次のようになります。

画像

グラフは次のとおりです。


それから私たちのルートのために 画像

画像

それは:

画像

したがって、2次方程式を解くことにより、3次方程式の他の2つの根を見つけました。 よく知られた円には、コーナー分割する方法があり、次数を下げることもできます。 ただし、整数係数でのみ機能します(つまり、有理係数は整数に変換する必要がありますが、複雑な係数はまったく使用できません)。

同様の「等価」式がn次多項式の(非)単調性の条件を意味することも興味深い。 次のように作成できます。
多項式で検出された場合 画像 過激でも 画像 (どこ 画像 -過激な表現)次のプロパティを形成できます:

もしあれば 画像 不等式が成り立つ 画像 、その後、目的の関数のグラフはセット全体で単調です 画像 。 逆の場合も当てはまります 画像

なぜそう はい、それが満たされない場合、我々は単に計算できないためです 画像 DLDルート式のため。

おそらく、多項式関数の横軸の同等の点見つけるための一般的なアルゴリズムを定式化する時が来たのでしょう。
一般形式の任意の次数の多項式形式の方程式があります。

画像

方程式から関数に渡します:

画像

関数をテイラー級数で展開します。 画像

画像

私たちは見つける必要があります 画像 したがって:

画像

次に:

  1. 画像

    ふさわしくない 画像 、種のトートロジーがあるからです 画像

  2. 画像

方程式を解く 画像次数は最初のものよりも小さい )、その根は等価である 画像

現在、特に、次のことが当てはまります。

  1. 画像
  2. 画像

同等のポイントが見つかりました

また、(非)単調性の条件と、目的のアルゴリズムからのさまざまな結果についても忘れないでください。 また、通常、単調性条件は、方程式の根の根のODZによって決定されることも注目に値します 画像 。 このようにして、「他のルート」だけでなく、他のルートも検索できることを思い出してください。 画像 そのような:

画像

また、Abel-Ruffiniの定理によれば、アルゴリズムは次数5を含む一般形式の多項式までしか機能しません(4次より大きい高次方程式の根は有理関数(根、など)として表現できないため) )

日曜日のタスクを完了しました。これは私が逸脱するためです。

ご清聴ありがとうございました!

Source: https://habr.com/ru/post/J319548/


All Articles