Vietan kaavat

Vietan kaavat antavat matematiikassa yhteyden polynomin kertoimien ja sen juurten summien ja tulojen välille. Kaavat ovat saaneet nimensä ranskalaisen matemaatikon François Vièten (1540–1603) mukaan. Kaavoja käytetään erityisesti algebrassa. Suomalaisessa lukiomatematiikassa niitä on aiemmin sovellettu toisen asteen yhtälöihin, jolloin voidaan määrittää juurten summa ja tulo yhtälöä ratkaisematta, tai käänteisesti konstruoida yhtälö, jonka juurten summa tai tulo on haluttu luku.

Kaavat

Polynomilla, jonka asteluku on n

$p(X)=a_{n}X^{n}+a_{n-1}X^{n-1}+\cdots +a_{1}X+a_{0}\,$

(jossa kertoimet ovat reaali- tai kompleksilukuja ja a_n ≠ 0) on algebran peruslauseen mukaan n kompleksista juurta x₁, x₂, ..., x_n(jotka eivät välttämättä ole erillisiä). Vietan kaavat antavat yhteyden polynomin kertoimien { a_k } ja sen juurien { x_i } summien ja tulojen välille seuraavasti:

${\begin{cases}x_{1}+x_{2}+\dots +x_{n-1}+x_{n}=-{\tfrac {a_{n-1}}{a_{n}}}\\(x_{1}x_{2}+x_{1}x_{3}+\cdots +x_{1}x_{n})+(x_{2}x_{3}+x_{2}x_{4}+\cdots +x_{2}x_{n})+\cdots +x_{n-1}x_{n}={\frac {a_{n-2}}{a_{n}}}\\{}\quad \vdots \\x_{1}x_{2}\dots x_{n}=(-1)^{n}{\tfrac {a_{0}}{a_{n}}}.\end{cases}}$

Esimerkki

Sovelletaan Vietan kaavoja toisen ja kolmannen asteen polynomeille:

toisen asteen polynomille $p(X)=aX^{2}+bX+c$, jonka juuret $x_{1},x_{2}$ toteuttavat yhtälön $p(X)=0$ pätee

$x_{1}+x_{2}=-{\frac {b}{a}},\quad x_{1}x_{2}={\frac {c}{a}}.$

Kolmannen asteen polynomille $p(X)=aX^{3}+bX^{2}+cX+d$, jonka juuret $x_{1},x_{2},x_{3}$ toteuttavat yhtälön $p(X)=0$ pätee

$x_{1}+x_{2}+x_{3}=-{\frac {b}{a}},\quad x_{1}x_{2}+x_{1}x_{3}+x_{2}x_{3}={\frac {c}{a}},\quad x_{1}x_{2}x_{3}=-{\frac {d}{a}}.$

Todistus

Polynomi p(X) voidaan juuriensa $x_{1},x_{2},\dots ,x_{n}$ avulla kirjoittaa seuraavasti

$\sum _{i=0}^{n}a_{i}X^{i}=a_{n}\prod _{i=1}^{n}(X-x_{i})=a_{n}\left[X^{n}-\left(\sum _{i=1}^{n}x_{i}\right)X^{n-1}+\cdots +(-1)^{n}(x_{1}x_{2}\cdots {x_{n}})\right]$

Koska kaksi polynomia ovat samat täsmälleen silloin, kun niiden kaikki kertoimet ovat yhtä suuret, on oltava

${\begin{cases}x_{1}+x_{2}+\dots +x_{n-1}+x_{n}=-{\tfrac {a_{n-1}}{a_{n}}}\\(x_{1}x_{2}+x_{1}x_{3}+\cdots +x_{1}x_{n})+(x_{2}x_{3}+x_{2}x_{4}+\cdots +x_{2}x_{n})+\cdots +x_{n-1}x_{n}={\frac {a_{n-2}}{a_{n}}}\\{}\quad \vdots \\x_{1}x_{2}\dots x_{n}=(-1)^{n}{\tfrac {a_{0}}{a_{n}}}.\end{cases}}$

Lähteet

• H. Gray Funkhouser: A short account of the history of symmetric functions of roots of equations. American Mathematical Monthly, 1930. Mathematical Association of America.

• Ernest Vinberg: A course in algebra. American Mathematical Society, Providence, R.I, 2003.

• Dušan Djukić: The IMO compendium: a collection of problems suggested for the International Mathematical Olympiads, 1959–2004. Springer, New York, NY, 2006.