[Etusivu]
[Sisältö]
[Luku
I
II
III
IV
V
VI]
[Hakemisto]
[Ylempi pääsivu]
[Edellinen sivu]
[Seuraava sivu]
Selvitetään yleisesti eräiden säännöllisesti käyttäytyvien lausekkeiden raja-arvojen päätteleminen.
Todistus. Tapaus
on selvä, joten olkoon
. Annetulle
on silloin
(b) Rationaalifunktiolle
,
missä
ja
ovat polynomeja, on
Todistus. (a) Apulauseessa 2.2.10 on väite todistettu ensimmäisen asteen polynomille. Toisen asteen polynomille
on
joten edellisen lauseen ja raja-arvojen tulosäännön mukaan
Tällekin polynomille lauseen väite siis pätee.
Isompiasteisille polynomeille väite todistetaan induktiivisesti aste kerrallaan edeten. Oletetaan, että väite pätee
−asteisille polynomeille. Olkoon
sitten
−asteinen polynomi, jolloin se voidaan esittää muodossa
,
missä
on
−asteinen polynomi ja
on polynomin
vakiotermi. Induktio-oletuksen mukaan
Raja-arvojen rationaalisten laskusääntöjen mukaan on tällöin myös
Siten väite pätee myös polynomille
. Induktioperiaatteen mukaan väite pätee kaikille polynomeille (sen asteesta riippumatta).
(b) Tulos seuraa raja-arvojen osamääräsäännöstä (lause 2.2.8) edellinen kohta huomioiden.
Edellisen lauseen (b)-kohdan mukaan on
Edellä olevaa lausetta ei voi käyttää rationaalifunktioille, joiden nimittäjäpolynomin arvo on nolla tarkastelupisteessä. Mikäli kuitenkin myös osoittajapolynomin arvo on nolla, on rajatuloksena epämääräinen eli määrittelemätön muoto "
", jota ei voi siis määritellä miksikään luvuksi. Tällaisessa tilanteessa molemmilla polynomeilla on kuitenkin sama juuri
,
ja siten molemmilla on tekijänä polynomi
. Tämä yhteinen polynomi voidaan supistaa osamäärästä pois ja jatkaa sen jälkeen jäljelle jääneen rationaalilausekkeen tarkastelulla.
Sijoittamalla annettuun lausekkeeseen piste
saadaan määrittelemätön muoto "
". Niinpä osoittaja- ja nimittäjäpolynomeilla on yhteisenä tekijänä polynomi
. Supistamalla osamäärä tällä polynomilla pystytään raja-arvo sen jälkeen määräämään: Kun
,
niin
Sijoittamalla tähän supistettuun lausekkeeseen arvo
,
saadaan nyt reaalinen tulos, joka on etsitty raja-arvo. Siis
Mitä voidaan raja-arvosta sanoa, kun
? Tällaisiin "epäoleellisiin" raja-arvoihin palataan myöhemmin (ks. Epäoleelliset raja-arvot).
(vrt. esimerkki 2.2.1).
Sijoittamalla lausekkeeseen piste
saadaan taas määrittelemätön muoto
. Nimittäjällä on siten tekijänä polynomi
. Itse asiassa
. Osoittaja ei kuitenkaan ole polynomi, joten sen "tekijöistä" ei voi tämän perusteella sanoa mitään. Voimme kuitenkin edetä lähes analogisella tavalla kuin edellä. Ajattelemalla polynomia
neliöiden erotuksena (koska tarkastellaan pisteen 4 ympäristöä, voidaan olettaa, että
) pystytään se kirjoittamaan summan ja erotuksen tulona
. Tätä huomiota käyttäen saadaan raja-arvo pääteltyä: Kun
,
niin
Selvitettävänä ollut raja-arvo on siten
.