$$a_nx^n+a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+...+a_1x+a_0=0$$
$$x^n+\frac{a_{n-1}}{a_n}x^{n-1}+\frac{a_{n-2}}{a_n}x^{n-2}+...+\frac{a_1}{a_n}x+\frac{a_0}{a_n}=0..........(*)$$
Öte yandan kökleri $x_1x_2,x_3...,x_n$ olan denklem
$$(x-x_1)(x-x_2)(x-x_3)...(x-x_n)=0$$ olup
bu denklem açılıp düzenlendiğinde,
$$x^n+A_1x^{n-1}+A_2x^{n-2}+A_3x^{n-3}+...+A_{n-1}x+A_n=0........(**)$$ şeklinde olacaktır.
Burada
$A_1=-(x_1+x_2+x_3+...+x_n)$ (köklerin toplamı)
$A_2=x_1.x_2+x_1x_3+...+x_{n-1}x_n$ (köklerin ikişer ikişer çarpımlarının toplamı)
$A_3=-(x_1.x_2x_3+x_1x_2x_4+...+x_{n-2}x_{n-1}x_n)$ (köklerin üçer üçer çarpımlarının toplamı)
$\vdots$
$A_n=(-1)^nx_1x_2x_3...x_n$ (köklerin çarpımı) dır. $(*)$ ile $(**)$ eşitliklerinin eşit olmasından
$A_1=-\frac{a_{n-1}}{a_n}$
$A_2=\frac{a_{n-2}}{a_n}$
$A_3=-\frac{a_{n-3}}{a_n}$
$A_4=\frac{a_{n-4}}{a_n}$
$\vdots$
$A_n=(-1)^n\frac{a_0}{a_n}$ olacaktır.
Şimdi yeni denklemin kökler toplamını bulalım.
$\frac{1}{x_1}+\frac{1}{x_2}+...+\frac{1}{x_n}=\frac{x_2x_3...x_n+x_1x3...x_n+...+x_1x_2...x_{n-1}}{x_1x_2x_3...x_n}=\frac{A_{n-1}}{A_n}=\frac{a_1}{(-1)^na_0}$
köklerin ikişer ikişer çarpımlarının toplamı;
$\frac{1}{x_1x_2}+\frac{1}{x_1x_3}+...+\frac{1}{x_{n-1}x_n}=\frac{A_{n-2}}{A_n}=\frac{a_2}{a_0}$
Böyle devam ederek köklerin üçer üçer çarpımlarının toplamı;
$\frac{A_{n-3}}{A_n}=\frac{a_3}{(-1)^na_0}$
$\vdots$
Tüm köklerin çarpımı; $\frac{1}{x1x_2x_3...x_n}=\frac{A_1}{A_n}=\frac{a_n}{a_0}$ olur.
Bulunan bu değerlere göre yeni denklemi yazarsak,
$$x^n+\frac{a_1}{a_0}x^{n-1}+\frac{a_2}{a_0}x^{n-2}+...+\frac{a_{n-1}}{a_0}x+\frac{a_n}{a_0}=0$$
ve payda eşitleyerek:
$$a_0x^n+a_1x^{n-1}+a_2x^{n-2}+...+a_{n-1}x+a_n=0$$ elde edilir.
Çok uzun ve sıkıcı bir ispat oldu. Eminim daha kısa ve güzel olanları da gelecektir.