MathLabs
定理証明済み

ヴィエトの公式

内容

最高次係数が 1 の多項式 xn+an−1xn−1+⋯+a1x+a0x^n + a_{n-1}x^{n-1}+\cdots+a_1x+a_0 の根を r1,…,rnr_1,\dots,r_n(重複度を込めて)とすると、根の基本対称式は符号を除いて係数に一致する: ∑iri=−an−1\sum_i r_i = -a_{n-1}、∑i<jrirj=an−2\sum_{i<j} r_ir_j = a_{n-2}、…、r1r2⋯rn=(−1)na0r_1r_2\cdots r_n=(-1)^n a_0。

なぜ正しいのか?

多項式の根がすでに分かっていれば、(x−r1)(x−r2)⋯(x−rn)(x-r_1)(x-r_2)\cdots(x-r_n) を展開することで多項式を再構成できる。この積を展開すると、根同士があらゆる仕方で混ざり合う——根一つずつの和、根二つずつの積の和、というように——そしてその混ざり方がそのまま係数になる。つまり係数は無作為な数ではなく、根の組み合わせ方を圧縮して記録したものである。

証明の概略

(x−r1)(x−r2)⋯(x−rn)(x-r_1)(x-r_2)\cdots(x-r_n) を展開し、xn+an−1xn−1+⋯+a0x^n+a_{n-1}x^{n-1}+\cdots+a_0 と係数を比較する。左辺の xn−kx^{n-k} の係数は (−1)kek(r1,…,rn)(-1)^k e_k(r_1,\dots,r_n) であり(eke_k は kk 次の基本対称多項式)、これが an−ka_{n-k} に等しくなければならない。

この定理を使うトピック

関連する定理

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. Victor J. Katz (2009). A History of Mathematics: An Introduction