Rollen lause polynomeille

Samankaltaiset tiedostot
PERUSASIOITA ALGEBRASTA

7. Olemassaolo ja yksikäsitteisyys Galois n kunta GF(q) = F q, jossa on q alkiota, määriteltiin jäännösluokkarenkaaksi

Johdatus reaalifunktioihin P, 5op

Ratkaisuehdotus 2. kurssikoe

Derivaattaluvut ja Dini derivaatat

14. Juurikunnat Määritelmä ja olemassaolo.

Ratkaisuehdotus 2. kurssikokeeseen

Tehtävä 2. Osoita, että seuraavat luvut ovat algebrallisia etsimällä jokin kokonaislukukertoiminen yhtälö jonka ne toteuttavat.

Mikäli funktio on koko ajan kasvava/vähenevä jollain välillä, on se tällä välillä monotoninen.

Matemaattisen analyysin tukikurssi

1.5 Suljetulla välillä jatkuva funktio. Perusominaisuudet.

Matematiikkaa kauppatieteilijöille

Matematiikan tukikurssi

Juuri 2 Tehtävien ratkaisut Kustannusosakeyhtiö Otava päivitetty

4 Yleinen potenssifunktio ja polynomifunktio

DIFFERENTIAALI- JA INTEGRAALILASKENTA I.1. Ritva Hurri-Syrjänen/Syksy 1999/Luennot 6. FUNKTION JATKUVUUS

MS-A0102 Differentiaali- ja integraalilaskenta 1

TOOLS. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO TOOLS 1 / 28

2 Funktion derivaatta

3.1 Väliarvolause. Funktion kasvaminen ja väheneminen

8 Potenssisarjoista. 8.1 Määritelmä. Olkoot a 0, a 1, a 2,... reaalisia vakioita ja c R. Määritelmä 8.1. Muotoa

1 sup- ja inf-esimerkkejä

MAA2.3 Koontitehtävät 2/2, ratkaisut

Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta:

MATP153 Approbatur 1B Harjoitus 5 Maanantai

1 Kompleksiluvut. Kompleksiluvut 10. syyskuuta 2005 sivu 1 / 7

1.1 Vektorit. MS-A0004/A0006 Matriisilaskenta. 1.1 Vektorit. 1.1 Vektorit. Reaalinen n-ulotteinen avaruus on joukko. x 1. R n.

KOMPLEKSIANALYYSI I KURSSI SYKSY 2012

Matematiikan tukikurssi

Matematiikan tukikurssi

Polynomifunktioiden juuret

Alkulukujen harmoninen sarja

Dihedraalinen ryhmä Pro gradu Elisa Sonntag Matemaattisten tieteiden laitos Oulun yliopisto 2013

Matematiikan tukikurssi

NELIÖJUURI. Neliöjuuren laskusääntöjä

Koodausteoria, Kesä 2014

Mitään muita operaatioita symbolille ei ole määritelty! < a kaikilla kokonaisluvuilla a, + a = kaikilla kokonaisluvuilla a.

Matriisilaskenta Luento 16: Matriisin ominaisarvot ja ominaisvektorit

1 Lukujen jaollisuudesta

HY, MTO / Matemaattisten tieteiden kandiohjelma Todennäköisyyslaskenta IIa, syksy 2018 Harjoitus 3 Ratkaisuehdotuksia.

2 Yhtälöitä ja epäyhtälöitä

Johdatus matematiikkaan

1 Lineaariavaruus eli Vektoriavaruus

MATEMATIIKAN JA TILASTOTIETEEN LAITOS Analyysi I Harjoitus alkavalle viikolle Ratkaisuehdoituksia Rami Luisto Sivuja: 5

Sinin jatkuvuus. Lemma. Seuraus. Seuraus. Kaikilla x, y R, sin x sin y x y. Sini on jatkuva funktio.

Diskreetti derivaatta

[E : F ]=[E : K][K : F ].

Matematiikan tukikurssi

MATP153 Approbatur 1B Harjoitus 6 Maanantai

Differentiaalilaskenta 1.

k=1 b kx k K-kertoimisia polynomeja, P (X)+Q(X) = (a k + b k )X k n+m a i b j X k. i+j=k k=0

Matematiikan tukikurssi, kurssikerta 3

Tekijä MAA2 Polynomifunktiot ja -yhtälöt = Vastaus a)

Luku 4. Derivoituvien funktioiden ominaisuuksia.

Diofantoksen yhtälön ratkaisut

Matemaattisen analyysin tukikurssi

Juuri 7 Tehtävien ratkaisut Kustannusosakeyhtiö Otava päivitetty c) sin 50 = sin ( ) = sin 130 = 0,77

3 Yleinen toisen asteen yhtälö ja epäyhtälö

Korkeamman asteen polynomifunktio

Koodausteoria, Kesä 2014

Matematiikan johdantokurssi, syksy 2017 Harjoitus 8, ratkaisuista

0 kun x < 0, 1/3 kun 0 x < 1/4, 7/11 kun 1/4 x < 6/7, 1 kun x 1, 1 kun x 6/7,

5 Differentiaalilaskentaa

Kolmannen ja neljännen asteen yhtälöistä

VASTAA YHTEENSÄ KUUTEEN TEHTÄVÄÄN

Kaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle.

Johdantoa INTEGRAALILASKENTA, MAA9

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141

KERTAUSHARJOITUKSIA. 1. Rationaalifunktio a) ( ) 2 ( ) Vastaus: a) = = 267. a) a b) a. Vastaus: a) a a a a 268.

Selvästi. F (a) F (y) < r x d aina, kun a y < δ. Kolmioepäyhtälön nojalla x F (y) x F (a) + F (a) F (y) < d + r x d = r x

Matematiikan tukikurssi

ja λ 2 = 2x 1r 0 x 2 + 2x 1r 0 x 2

Primitiiviset juuret: teoriaa ja sovelluksia

2 Funktion derivaatta

802320A LINEAARIALGEBRA OSA I

x 7 3 4x x 7 4x 3 ( 7 4)x 3 : ( 7 4), 7 4 1,35 < ln x + 1 = ln ln u 2 3u 4 = 0 (u 4)(u + 1) = 0 ei ratkaisua

Oletetaan, että funktio f on määritelty jollakin välillä ]x 0 δ, x 0 + δ[. Sen derivaatta pisteessä x 0 on

Mikäli huomaat virheen tai on kysyttävää liittyen malleihin, lähetä viesti osoitteeseen

Helsingin, Itä-Suomen, Jyväskylän, Oulun, Tampereen ja Turun yliopisto Matematiikan valintakoe klo Ratkaisut ja pisteytysohjeet

1 Määritelmä ja perusominaisuuksia. 2 Laskutoimitukset kompleksiluvuilla. 3 Reaaliluvut ja kompleksiluvut. 4 Kompleksilukujen algebraa

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) OT

Koodausteoria, Kesä 2014

1. Osoita juuren määritelmän ja potenssin (eksponenttina kokonaisluku) laskusääntöjen. xm = ( n x) m ;

Matematiikassa väitelauseet ovat usein muotoa: jos P on totta, niin Q on totta.

Kertaus. x x x. K1. a) b) x 5 x 6 = x 5 6 = x 1 = 1 x, x 0. K2. a) a a a a, a > 0

1. Olkoot f ja g reaalifunktioita. Mitä voidaan sanoa yhdistetystä funktiosta g f, jos a) f tai g on rajoitettu? b) f tai g on jaksollinen?

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 4: Derivaatta

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

Cantorin joukon suoristuvuus tasossa

Ratkaisut vuosien tehtäviin

Matematiikan peruskurssi 2

koska 2 toteuttaa rationaalikertoimisen yhtälön x 2 2 = 0. Laajennuskunnan

MATEMATIIKAN JA TILASTOTIETEEN LAITOS Analyysi I Harjoitus alkavalle viikolle Ratkaisuehdotuksia (7 sivua) (S.M)

HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 5 Ratkaisuehdotuksia

Helsingin, Itä-Suomen, Jyväskylän, Oulun, Tampereen ja Turun yliopisto Matematiikan valintakoe klo 10-13

1 Rajoittamaton optimointi

Numeerinen integrointi ja derivointi

Algebra I, harjoitus 5,

Transkriptio:

Rollen lause polynomeille LuK-tutkielma Anna-Helena Hietamäki 7193766 Matemaattisten tieteiden tutkinto-ohjelma Oulun yliopisto Kevät 015

Sisältö 1 Johdanto 1.1 Rollen lause analyysissä....................... 1. Rollen lause algebrassa........................ 3 1.3 Tutkielman sisältö.......................... 4 Esitietoja 5.1 Reaalikertoimisten polynomien juurten lukumäärä........ 5. Reaalikertoiminen polynomi..................... 7 3 Rollen lause 9 3.1 Lause reaalikertoimisen polynomin väliarvoista.......... 9 3. Rollen lause ja sen todistus..................... 10 4 Esimerkkejä 1 1

1 Johdanto Rollen lauseen nimi tulee tyypillisesti lauseen julkaisijan nimestä. Michel Rolle määritteli lauseen ensimmäisenä vuonna 1691. Yleensä Rollen lauseeseen törmää matematiikassa analyysin puolella. Rollen lause onkin yksi erikoistapaus differentiaalilaskennan väliarvolauseesta. Sitä myös hyödynnetään differentiaalilaskennan väliarvolauseen todistuksessa []. Tutkielmassa lähestyn Rollen lausetta algebrallisesti, mikä on harvinaisempi lähestymistapa. Algebrallinen lähestymistapa edellyttää algebran perusteiden, muun muassa kompleksilukujen ja polynomien hallintaa, sillä esitän ja todistan Rollen lauseen reaalikertoimisilla polynomeilla. Kompleksilukuja tarvitaan toisen asteen polynomin juuria ja niiden lukumääriä tutkittaessa. Tutkielmassa on käytetty pääasiassa Maurice Mignotten kirjoittamaa kirjaa: Mathematics for Computer Algebra [1]. Jotta lukijan on helpompi hahmottaa algebrallisesti polynomeilla esitetyn Rollen lauseen eron analyysissä esiintyvästä lauseesta, esitän Rollen lauseen jo aluksi kahdella tavalla. Ensimmäinen muoto on analyysistä tuttu, ja toinen muoto on se, johon palataan tutkielmani loppupuolella. Tutkielma ensisijainen tavoite on todistaa Rollen lause 3.3. 1.1 Rollen lause analyysissä Lause 1.1 (Rollen lause analyysissä). Olkoon funktio f jatkuva suljetulla välillä [a, b] ja derivoituva avoimella välillä ]a, b[. Jos funktio saa saman arvon suljetun välin [a, b] päätepisteissä a ja b, niin funktion derivaatta saa arvon 0 jossain avoimen välin ]a, b[ pisteessä c. Formaalisti tämä voidaan kirjoittaa: f(a) = f(b) = c ]a, b[ : f (c) = 0. Analyysissä esiintyvä Rollen lauseen geometrinen tulkinta: oletuksista seuraa, että funktion f kuvaajalla on ainakin yksi vaakasuora tangentti (kulmakerroin on nolla).

Kuva 1: Rollen lause analyysissä. 1. Rollen lause algebrassa Lause 1. (Rollen lause). Olkoon funktio f reaalikertoiminen polynomi, ja olkoon a ja b, a < bkaksi peräkkäistä funktion f reaalista juurta. Tällöin funktion f derivaatalla on pariton määrä juuria avoimella reaalisella välillä ]a, b[. Kuva : Rollen lause algebrassa. 3

1.3 Tutkielman sisältö Tässä kappaleessa 1.3 kerron koko tutkielman sisällöstä eli esitiedoista, joita tarvitaan Rollen lauseen todistukseen, Rollen lauseen todistuksen päävaiheista ja esimerkeistä, joilla olen lausetta havainnollistanut. Kappaleessa esitän tarvittavia tuloksia Rollen lauseen todistukseen. Siinä määritellään reaalikertoiminen polynomi. Osoitan kappaleessa muun muassa, että jaoton reaalikertoiminen polynomi voidaan lausua sellaisten reaalikertoimisten polynomien tulona, jotka ovat ensimmäistä tai toista astetta. Tämä perustuu parillisten (polynomin asteluku on parillinen) ja parittomien polynomien (polynomin asteluku on pariton) juurien lukumäärän tutkimiseen. Tätä polynomin muotoa käytetään lopulta Rollen lauseen todistuksessa. Kappale 3 on tutkielman kannalta merkittävin osa, sillä siinä esitän ja todistan Rollen lauseen. Todistuksessa tutkitaan polynomifunktioiden juurten lukumäärää, ja siksi ennen Rollen lausetta määrittelen polynomin väliarvoihin liittyvää lauseen. Väliarvoihin liittyvän lauseen todistuksessa sekä Rollen lauseen todistuksessa viittaan aiempiin esitietoihin. Näin ollen lukijan kannattaa tutustua esitietoihin ennen varsinaista Rollen lauseen todistusta. Rollen lauseen väitteen hahmottamisessa ja konkretisoinnissa voi myös auttaa Johdannossa 1. esitetty kuva. Kappaleessa 4 on esimerkkejä Rollen lauseeseen liittyen. Olen ottanut siihen kaksi mallifunktiota, joilla konkretisoin Rollen lausetta. Visuaalisen hahmottamisen tueksi esimerkkeihin on liitetty kuvaajat tutkittavista polynomifunktioista ja niiden derivaatoista. Esimerkeissä on huomioitu myös sellainen polynomifunktio, jolla on kaksinkertainen nollakohta 4.. Tätä ei korostettu lähdeteoksessa [1], ja siksi lauseen soveltaminen tällaiseen funktioon on perusteltu kaksinkertaisen nollakohdan avulla. Kuvaajassa kaksinkertainen nollakohta tarkoittaa satulapistettä. 4

Esitietoja.1 Reaalikertoimisten polynomien juurten lukumäärä Lause.1 (Algebran peruslause). Jokaisella kompleksikertoimisella polynomilla, jonka asteluku on vähintään yksi, on ainakin yksi kompleksinen juuri. Seuraus.. Jokaisella reaalikertoimisella polynomilla, jonka asteluku on vähintään yksi, on ainakin yksi reaalinen tai kompleksinen juuri. Oletetaan seuraava fakta tunnetuksi: Fakta 1. Kaikille positiivisille reaaliluvuille y löytyy sellainen reaaliluku x, että x = y. Siis kaikilla positiivisilla reaaliluvuilla on olemassa neliöjuuret. Lemma.3. Olkoon a, b ja c kunnan K alkioita, ja a ei ole nolla. Oletetaan lisäksi, että on olemassa sellainen t K, että b 4ac = t. Tällöin yhtälöllä ax + bx + c = 0 on vähintään yksi juuri kunnassa K. x = b ± t a Kaava antaa kaksi juurta, jos t 0 ja yhden kaksinkertaisen juuren, jos t = 0. Todistus. Nyt yhtälö ax + bx + c = 0, missä a ei ole nolla, voidaan täydentää neliöön: ax + bx + c = 0 x + bx a = c a x + bx a + b 4a = b 4a 4ac 4a ( x + b ) = b 4ac a 4a. Oletuksen b 4ac = t nojalla saadaan b 4ac x = 4a b t a = 4a b a = ±t b = b ± t a a. Siis toisen asteen polynomin juuret ovat muotoa x = b ± t a. 5

Osoitetaan, että Faktasta 1 ja Lemmasta.3 seuraa, että kaikilla kompleksiluvuilla on olemassa neliöjuuret. Eli kompleksiluvuille z on olemassa sellainen kompleksiluku w, että w = z. Lemma.4. Kaikilla kompleksiluvuilla on neliöjuuret. Todistus. Olkoon z = a + ib kompleksiluku, missä a ja b ovat reaalilukuja. Olkoon lisäksi toisen asteen yhtälö muotoa x ax b 4 = 0. (1) Nyt yhtälön diskriminantti ( ) D = ( a) 4 b = a + b 0. 4 Lemman.3 nojalla yhtälöllä on ratkaisut α = a + a + b ja β = a a + b. Koska a + b a, niin α 0 ja β 0. Koska α ja β ovat reaalilukuja, niin Faktan 1 nojalla voidaan kirjoittaa α = u ja β = v, jollain u, v R. Nyt w = (u + iv) = u + iuv v. () Koska ( )( ) a + u v a + b = (α( β)) = a a + b niin Lisäksi uv = b = a (a + b ) 4 = b 4, uv = b. (3) u v = α ( β) = a + a + b Sijoittamalla yhtälöt (3) ja (4) yhtälöön () saadaan + a a + b = a. (4) w = u + iuv v = u + ib v = a + ib. Koska z = a + ib, niin saadaan w = z. Siis kompleksiluvulle z on olemassa sellainen kompleksiluku w, että w = z. Toisin sanoen kompleksiluvuilla on neliöjuuret. 6

Koska kompleksiluvuilla on neliöjuuret, Lemmasta.3 seuraa, että kaikilla toisen asteen kompleksikertoimisilla polynomeilla on kaksi kompleksista juurta (tai yksi kaksikertoiminen juuri). Seuraus.5. Kaikilla toisen asteen kompleksikertoimisilla polynomeilla on kaksi kompleksista juurta.. Reaalikertoiminen polynomi Lemma.6. Reaalikertoimiset polynomit, jotka ovat jaottomia reaalilukujen kunnassa, ovat ensimmäisen asteen polynomeja tai toisen asteen polynomeja, joilla on negatiivinen diskriminantti. Todistus. Olkoon P jaoton reaalikertoiminen polynomi. Jos polynomilla P on olemassa reaalinen juuri α, niin silloin X α on reaalikertoiminen polynomi, joka on polynomin P tekijä. Koska P on jaoton, voidaan kirjoittaa P = X α. Jos P :llä ei ole reaalista juurta, niin sillä on Lauseen.1 nojalla kompleksinen juuri. Jos reaalikertoimisen polynomin P juuri on kompleksiluku z 0 eli P (z 0 ) = 0, niin silloin myös tämän liittoluku z 0 on polynomin P juuri eli P ( z 0 ) = 0. (Perustelu: Olkoon polynomi P (X) = n k=0 a kx k. Nyt jos polynomilla on kompleksinen juuri z 0, niin n k=0 a kz0 k = 0. Nyt myös n k=0 āk z 0 k = 0. Koska polynomi P on reaalikertoiminen, niin n k=0 a k z 0 k = 0. Toisin sanoen siis P ( z 0 ) = 0.) Olkoon nämä kompleksiset juuret z 0 = a + ib ja z 0 = a ib, missä a ja b ovat reaalilukuja ja b 0. Siten polynomi (X a ib)(x a + ib) = X ax + a + b on reaalikertoiminen ja jakaa polynomin P. Täten se on yhtä kuin polynomi P. Lisäksi polynomin diskriminantti on negatiivinen: ( a) 4(a + b ) = 4b < 0. Tästä nähdään, että kaikki reaalikertoimiset polynomit, jotka ovat jaottomia reaalilukujen kunnassa, ovat ensimmäisen asteen polynomeja tai toisen asteen polynomeja, joilla on negatiivinen diskriminantti. Nyt reaalikertoiminen polynomi voidaan esittää Lemman.6 nojalla seuraavasti: 7

Seuraus.7. Reaalikertoiminen polynomi f(x) voidaan lausua sellaisten reaalikertoimisten polynomien tulona, jotka ovat ensimmäistä tai toista astetta: m n f(x) = c (X α i ) (X + β j X + γ j ) (5) i=1 j=1 Huomautus.8. Toisen asteen polynomi on kyseessä silloin, kun polynomin nollakohdat ovat kompleksilukuja. Ne ovat tällöin pareittain toistensa kompleksikonjugaatteja. Toisen asteen polynomin diskriminantti on siis negatiivinen eikä tekijäpolynomeja voida enää jakaa ensimmäisen asteen polynomeiksi. 8

3 Rollen lause Rollen lauseen todistuksessa tutkitaan reaalikertoimisten polynomifunktioiden juurten lukumääriä, joten ennen Rollen lauseen todistusta esitän lauseen polynomien väliarvoista, jossa tutkitaan polynomifunktion juurten lukumäärää jollain välillä. 3.1 Lause reaalikertoimisen polynomin väliarvoista Lause 3.1. Olkoon f reaalikertoiminen polynomi ja olkoon a ja b sellaisia reaalilukuja, että a < b, ja että polynomin f arvot pisteissä a ja b eivät ole nollia eli f(a) 0 ja f(b) 0. Jos f(a)f(b) on positiivinen, niin polynomifunktiolla f on parillinen määrä juuria avoimella välillä ]a, b[. Jos f(a)f(b) on negatiivien, niin polynomifunktiolla f on pariton määrä juuria avoimella välillä ]a, b[. (Juurten lukumäärässä otetaan juurten kertaluvut huomioon.) Todistus. Käytetään todistuksessa Seurauksen.7 mukaista polynomin esitystä m n f(x) = c (X α i ) (X + β j X + γ j ), i=1 missä vasemmanpuoleisilla polynomeilla on reaaliset juuret ja oikeanpuoleiset polynomit ovat jaottomia reaalilukujen kunnassa. Olettaen, että α 1,..., α k ovat j=1 polynomin juuret avoimella välillä ]a, b[, saadaan f(a) f(b) = a α 1 b α 1... a α k b α k m i=k+1 a α i b α i n j=1 a + β j a + γ j b + β j b + γ j. Nyt kaikki toiseen asteen polynomit saavat tällaisessa hajotelmassa vain positiivisia arvoja jokaisessa pisteessä, sillä toisen asteen polynomeilla ei ole juuria, ja näillä polynomeilla toisen asteen kerroin on positiivinen: n j=1 a + β j a + γ j b + β j b + γ j > 0. Koska α i ei ole välillä ]a, b[, kun i = k +1... m, niin a α i ja b α i ovat saman merkkisiä, joten m i=k+1 a α i b α i > 0. 9

Lisäksi huomataan, että ja a α 1 b α 1... a α k b α k < 0, kun k on pariton a α 1 b α 1... a α k b α k > 0, kun k on parillinen, koska α 1,..., α k ovat polynomin juuria välillä ]a, b[. Näin saadaan, että f(a)f(b) < 0, kun k on pariton ja f(a)f(b) > 0, kun k on parillinen. Siis, jos f(a)f(b) on positiivinen, niin polynomifunktiolla f on parillinen määrä juuria avoimella välillä ]a, b[ ja jos f(a)f(b) on negatiivien, niin polynomifunktiolla f on pariton määrä juuria avoimella välillä ]a, b[ Seuraus 3.. Olkoon f reaalikertoiminen polynomi ja olkoon a ja b kaksi reaalilukua siten, että a < b, ja lisäksi f(a)f(b) < 0. Tällöin polynomilla f on vähintään yksi juuri avoimella välillä ]a, b[. Tämä on tavallisten jatkuvien funktioiden väliarvolause sovellettuna nyt polynomeille. 3. Rollen lause ja sen todistus Lause 3.3 (Rollen lause). Olkoon funktio f reaalikertoiminen polynomi, ja olkoon a ja b, a < b kaksi peräkkäistä funktion f reaalista juurta. Tällöin funktion f derivaatalla on pariton määrä juuria avoimella reaalisella välillä ]a, b[. Todistus. Olkoon m juuren a kertaluku. Tällöin polynomi f voidaan kirjoittaa muodossa f(x) = (X a) m g(x), missä g(a) 0. Nyt polynomin f derivaatta on f (X) = m(x a) m 1 g(x) + (X a) m g (X). 10

Kun valitaan tarpeeksi pieni reaaliluku h, joka ei ole nolla, voidaan estimoida f(a + h) f (a + h) = h m g(a + h) mh m 1 g(a + h) + h m g (a + h) h = m + h g (a+h) g(a+h) h m Perustellaan tämä arvio. Valitaan sellainen δ, että g(a + h) 0 silloin, kun h on suljetulla välillä [ δ, δ]. Koska g(a + h) 0 on jatkuva funktio ja g (a + h) on jatkuva funktio, niin g (a+h) g(a+h) on jatkuva funktio, joka saavuttaa maksimin M silloin, kun h on suljetulla välillä [ δ, δ]. Tämä voidaan kirjoittaa g (a+h) < M, kaikilla h [ δ, δ]. Valitsemalla h < 1 M saadaan (a + h) hg g(a + h) < 1. Nyt jos h on positiivinen ja tarpeeksi pieni, niin g(a+h) f(a + h) f (a + h) = h m + h g (a+h) g(a+h) Jos h on negatiivinen ja tarpeeksi pieni, niin f(a h) f (a h) = h m h g (a h) g(a h) h m > 0 f(a + h)f (a + h) > 0. h m < 0 f(a h)f (a h) < 0. Koska a ja b, a < b ovat polynomifunktion f(x) kaksi peräkkäistä juurta, niin saadaan f(x)f (x) > 0, kun x a > 0 ja f(x)f (x) < 0, kun x b < 0. Koska funktio f ei koskaan saavuta arvoa nolla avoimella välillä ]a, b[ (a ja b ovat kaksi peräkkäistä polynomifunktion f:n juurta) ja polynomifunktio f ei vaihda merkkiä avoimella välillä ]a, b[ Seurauksen 3. nojalla, niin kaikilla tarpeeksi pienillä positiivisilla reaaliluvuilla h saadaan f (a + h)f (b h) < 0. Lauseen 3.1 nojalla funktion derivaatalla on siis pariton määrä juuria avoimella välillä ]a, b[. 11

4 Esimerkkejä Esimerkki 4.1. Tutkitaan reaalikertoimista polynomia f(x) = 3x 4 +x 3 +x +1. Polynomin f(x) derivaatta on f (x) = 16x 3 +6x +4x, ja polynomin f(x) juuret ovat a 0, 8 ja b 1, 3. Kuva 3: Esimerkki 1. Rollen lauseen mukaan reaalikertoimisen polynomin f(x) derivaatalla f (x) pariton määrä juuria avoimella välillä ]a, b[. Valitaan nyt tutkittavaksi väliksi ]a, b[ ja osoitetaan, että derivaattafunktion f (x) saa parittoman määrän juuria tällä välillä. Derivaattafunktion f (x) juuret ovat x = 73+3 16 0, 35,x =0 ja x = 73+3 16 0, 7, joten ne sijaitsevat suljetulla välillä [a, b]. Näin ollen polynomifunktion f(x) = 3x 4 +x 3 +x +1derivaatalla f (x) = 16x 3 + 1

6x + 4x on pariton määrä juuria (tarkalleen kolme juurta) kahden peräkkäisen funktion f(x) juuren a ja b välillä. Kuvassa 3 on esitetty graafisesti esimerkkifunktiot, josta näkyy juurten lukumäärät. Esimerkki 4.. Tutkitaan nyt reaalikertomista polynomia f(x) = 1 4 x4 4 3 x3 + 5 x x, jonka derivaatta on f (x) = (x )(x 1). Polynomin f(x) juuret Kuva 4: Esimerkki. ovat a = 0 ja b = 1380384180131 500000000000, 76. Rollen lauseen mukaan polynomin f(x) derivaatalla f (x) on pariton määrä juuria polynomin kahden peräkkäisen juuren välillä eli avoimella välillä ]a, b[. Valitaan siis tutkittavaksi väliksi ]a, b[ ja osoitetaan, että derivaattafunktion f (x) saa parittoman määrän juuria tällä välillä. Nyt derivaattafunktion juuret ovat x = 1 ja x = eli kaksi erillistä juurta. x = 1 on kuitenkin derivaatan kaksinkertainen nollakohta, eli kaksinkertainen juuri. Kuvassa 4.. tämä näkyy derivaattafunktion satulapisteenä. Voidaan siis sanoa, että derivaatalla on kolme juurta avoimella välillä ]a, b[. Näin ollen Rollen lause on tosi myös polynomeilla, joiden derivaatalla on moninkertainen juuri, kunhan kertaluku huomioidaan juurten lukumäärää laskettaessa. 13

Lähdeluettelo [1] Mignotte, Maurice: Mathematics for Computer Algebra. Springer, New York, 199. [] Lind, Tapio: Pro gradu: Raja-arvon määritelmä ja sovelluksia. Tampereen yliopisto, 009. 14