定理証明済み
ヴィエトの公式
内容
最高次係数が 1 の多項式 xn+an−1xn−1+⋯+a1x+a0 の根を r1,…,rn(重複度を込めて)とすると、根の基本対称式は符号を除いて係数に一致する: ∑iri=−an−1、∑i<jrirj=an−2、…、r1r2⋯rn=(−1)na0。
なぜ正しいのか?
多項式の根がすでに分かっていれば、(x−r1)(x−r2)⋯(x−rn) を展開することで多項式を再構成できる。この積を展開すると、根同士があらゆる仕方で混ざり合う——根一つずつの和、根二つずつの積の和、というように——そしてその混ざり方がそのまま係数になる。つまり係数は無作為な数ではなく、根の組み合わせ方を圧縮して記録したものである。
証明の概略
(x−r1)(x−r2)⋯(x−rn) を展開し、xn+an−1xn−1+⋯+a0 と係数を比較する。左辺の xn−k の係数は (−1)kek(r1,…,rn) であり(ek は k 次の基本対称多項式)、これが an−k に等しくなければならない。
ステップごとの証明
この定理のステップごとの証明はまだありません。