Jos polynomilla on kaksoisjuuri, on sillä samassa kohdassa myös derivaatan nollakohta
Tiistaina numeerisen matikan kurssilla (MAA12) eräs opiskelija oli yhtä tehtävää ratkaistessaan huomaamattaan olettanut, että kun polynomilla on kaksoisjuuri pisteessä a, on sillä myös derivaatan nollakohta samaisessa pisteessä. Huomasin asian ja kysyin oliko opiskelija miettinyt läpi onko asia todella näin. Totesi, että ei tajunnut edes miettiä asiaa, vastaust tuli kuitenkin oikein. Kehotin yrittämään todistaa kyseisen tuloksen ja lupasin itse yrittää samaa.
Mietin todistusta eilen ja keksinkin sen. Tässä siis kyseinen tulos:
Lause ja sen todistus
Olkoon P(x) n:nnen asteen polynomi siten, että sillä on kaksoisjuuri
Väite: P'(t) = 0
Todistus: Olkoon
Funktion f derivaatta on
D(fg) = f'g + fg'
mukaan saadaan, että
P'(x) = f'(x)·g(x) + f(x)·g'(x)
ja näin ollen
P'(t) = f'(t)·g(t) + f(t)·g'(t) = 0·g(t) + 0·g'(t) = 0,
mikä todistaa väitteen kaikilla n ≥ 2.