anxn+an−1xn−1+an−2xn−2+...+a1x+a0=0
xn+an−1anxn−1+an−2anxn−2+...+a1anx+a0an=0..........(∗)
Öte yandan kökleri x1x2,x3...,xn olan denklem
(x−x1)(x−x2)(x−x3)...(x−xn)=0 olup
bu denklem açılıp düzenlendiğinde,
xn+A1xn−1+A2xn−2+A3xn−3+...+An−1x+An=0........(∗∗) şeklinde olacaktır.
Burada
A1=−(x1+x2+x3+...+xn) (köklerin toplamı)
A2=x1.x2+x1x3+...+xn−1xn (köklerin ikişer ikişer çarpımlarının toplamı)
A3=−(x1.x2x3+x1x2x4+...+xn−2xn−1xn) (köklerin üçer üçer çarpımlarının toplamı)
⋮
An=(−1)nx1x2x3...xn (köklerin çarpımı) dır. (∗) ile (∗∗) eşitliklerinin eşit olmasından
A1=−an−1an
A2=an−2an
A3=−an−3an
A4=an−4an
⋮
An=(−1)na0an olacaktır.
Şimdi yeni denklemin kökler toplamını bulalım.
1x1+1x2+...+1xn=x2x3...xn+x1x3...xn+...+x1x2...xn−1x1x2x3...xn=An−1An=a1(−1)na0
köklerin ikişer ikişer çarpımlarının toplamı;
1x1x2+1x1x3+...+1xn−1xn=An−2An=a2a0
Böyle devam ederek köklerin üçer üçer çarpımlarının toplamı;
An−3An=a3(−1)na0
⋮
Tüm köklerin çarpımı; 1x1x2x3...xn=A1An=ana0 olur.
Bulunan bu değerlere göre yeni denklemi yazarsak,
xn+a1a0xn−1+a2a0xn−2+...+an−1a0x+ana0=0
ve payda eşitleyerek:
a0xn+a1xn−1+a2xn−2+...+an−1x+an=0 elde edilir.
Çok uzun ve sıkıcı bir ispat oldu. Eminim daha kısa ve güzel olanları da gelecektir.