Tässä - Matematiikan laitos

Transcription

Tässä - Matematiikan laitos
Insinöörimatematiikka 1u
Periodi 1/2012–2013
Janne Kauhanen
TTY
Matematiikan laitos
PDF-versio POPissa: www.tut.fi/pop, toteutuskerta MAT-10412 2012-01
Insinöörimatematiikka 1u
2
Alkusanat
Tämä moniste on laadittu TTY:n opintojaksolle Insinöörimatematiikka 1u.
Moniste ei ole kattava itseopiskelupaketti, vaan se on tarkoitettu käytettäväksi luentojen seuraamisen ja harjoitustehtävien ratkomisen tukena.
Matematiikan oppiminen on valitettavasti työlästä. Pelkkä luentojen kuunteleminen ja luentomonisteen tai kurssikirjan toistuvakaan läpilukeminen
ei johda oppimiseen. Oppimisen kannalta tärkeintä on itsenäinen työnteko:
luentomuistiinpanojen ja monisteen päättelyiden, todistusten ja esimerkkien
käyminen läpi kynää ja paperia käyttäen sekä harjoitustehtävien ratkominen.
Itsenäisen työn suuri osuus kannattaa ottaa huomioon ajankäyttöä suunnitellessa. Omalla ajalla työskentelyyn saattaa kulua sama tuntimäärä mikä
istumiseen luennoilla ja harjoituksissa.
Itsenäinen työnteko ei välttämättä tarkoita yksinäistä puurtamista. Harjoitustehtäviä on usein hedelmällistä pohtia pienessä ryhmässä. Jokaisen on
kuitenkin pidettävä huoli omasta oppimisestaan, sillä tietyn kurssin osan hallitsee vasta, kun pystyy itsenäisesti käsittelemään siihen liittyviä tehtäviä.
Kurssikirjoina ovat Edwardsin ja Penneyn kirja [5] sekä Poolen kirja [11]
(ks. lähdeluettelo sivulla 130). Kirjojen käytön helpottamiseksi otsikoissa viitataan kurssikirjojen vastaaviin kohtiin: esimerkiksi viittaus [5, 1.1] tarkoittaa Edwardsin ja Penneyn kirjan [5] lukua 1.1.
Tässä monisteessa havaittujen painovirheiden listaa pidetään yllä toteutuskerran MAT-10412 Insinöörimatematiikka B 1u (MAT-10412 2012-01)
sivulla POPissa. Kommentteja painovirheistä ja monisteesta yleisemminkin
voi lähettää sähköpostitse kirjoittajalle: [email protected].
Janne Kauhanen
3
Insinöörimatematiikka 1u
Sisältö
1 Joukko-opin, logiikan ja todistamisen
1.1 Lauselogiikan lause . . . . . . . . . .
1.2 Totuusarvo ja totuustaulukko . . . .
1.3 Boolen algebra ja loogiset virtapiirit .
1.4 Joukko [11, Appendix A] . . . . . . .
1.5 Joukko-operaatiot [11, Appendix A] .
1.6 Avaruus Rn . . . . . . . . . . . . . .
1.7 Predikaattilogiikkaa . . . . . . . . .
1.8 Todistusmetodeja [11, Appendix A] .
1.9 Induktiotodistus [11, Appendix B] . .
2 Funktio-oppia [5, 1.1, 1.2 ja 4.3]
2.1 Funktio [5, 1.1] . . . . . . .
2.2 Käänteisfunktio [5, 3.8] . . .
2.3 Yhdistetty funktio [5, 1.4] .
2.4 Reaalifunktio . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
perusteita
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
7
10
11
14
17
18
19
21
.
.
.
.
22
23
25
26
27
3 Alkeisfunktiot
3.1 Potenssi- ja juurifunktiot [5, 1.3] . . . . . . . . . . . . . . . .
3.2 Polynomit ja rationaalifunktiot [5, 1.3] . . . . . . . . . . . .
3.3 Trigonometriset funktiot ja niiden käänteisfunktiot [5, Appendix C, 1.4 ja 6.8] . . . . . . . . . . . . . . . . . . . . . . . .
3.4 Eksponentti- ja logaritmifunktiot [5, 1.4 ja 3.8] . . . . . . . .
3.5 Hyperboliset funktiot ja niiden käänteisfunktiot [5, 6.8] . . .
3.6 Esimerkkejä . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
36
43
48
49
4 Funktion raja-arvo ja jatkuvuus [5, 2.1–2.4, 4.7]
4.1 Raja-arvon määritelmä ja perusominaisuudet . .
4.2 Toispuoleiset raja-arvot . . . . . . . . . . . . . .
4.3 Raja-arvokäsitteen laajennukset . . . . . . . . .
4.3.1 Epäoleelliset raja-arvot ∞ ja −∞ . . . .
4.3.2 Raja-arvo äärettömyydessä . . . . . . . .
4.4 Jatkuvuus . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
53
53
61
64
64
66
67
.
.
.
.
73
73
81
84
88
5 Derivaatta [5, 3–4]
5.1 Määritelmä ja perusominaisuudet
5.2 Alkeisfunktioden derivaatat . . .
5.3 Lineaarinen approksimaatio . . .
5.4 Ääriarvot ja funktion kulku . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
30
. 30
. 34
4
Insinöörimatematiikka 1u
5.5
5.6
Korkeammat derivaatat . . . . . . . . . . . . . . . . . . . . . . 99
l’Hôspital’n sääntö . . . . . . . . . . . . . . . . . . . . . . . . 100
6 Kompleksiluvut [11, Appendix C–D]
6.1 Peruslaskutoimitukset . . . . . . . . . . . . .
6.2 Liittoluku ja itseisarvo . . . . . . . . . . . . .
6.3 Napakoordinaattimuoto ja eksponenttifunktio
6.4 Juuri . . . . . . . . . . . . . . . . . . . . . . .
6.5 Polynomi . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
102
103
107
111
119
121
Taulukoita
128
Lähteitä ja kirjallisuutta
130
Hakemisto
130
Insinöörimatematiikka 1u
1
5
Joukko-opin, logiikan ja todistamisen perusteita
Luvussa 1 kerrataan ja esitellään kaikilla matematiikan opintojaksoilla tarvittavia matemaattisia merkintöjä ja peruskäsitteitä sekä todistustekniikkaa.
Keskeiset käsitteet:
• Implikaatio ja ekvivalenssi.
• Joukko, joukkojen yhdiste, leikkaus, erotus ja komplementti.
• Olemassaolo- ja kaikkikvanttorit.
• Suora ja epäsuora todistus, induktiotodistus.
Tavoitteena on oppia käyttämään em. merkintöjä oikein ja lukemaan ja kirjoittamaan yksinkertaisia todistuksia.
1.1
Lauselogiikan lause
Lauselogiikan peruskäsite on lause, jonka totuusarvo on joko tosi (merkitään
1 tai t) tai epätosi (merkitään 0 tai e). Lauseita merkitään p, q, r, . . . tai
A, B, C, . . .. Otetaan käyttöön seuraavat viisi konnektiivia:
¬
negaatio (”ei”)
∧
konjunktio (”ja”)
∨
disjunktio (”tai”)
→
implikaatio
↔
ekvivalenssi
Lauseista voidaan muodostaa uusia lauseita konnektiivien avulla:
¬p
”ei p”
p∧q
”p ja q”
p∨q
”p tai q”
p→q
”jos p niin q”
”p:stä seuraa q”
”p vain jos q”
”q aina kun p”
”p on riittävä ehto q:lle”
”q on välttämätön ehto p:lle”
”p implikoi q:n”
6
Insinöörimatematiikka 1u
p↔q
”p jos ja vain jos q”
”p ja q ovat yhtäpitäviä”
”p ja q ovat ekvivalentteja”
Näitä lauseita voidaan yhdistää konnektiivien avulla esimerkiksi lauseiksi
(¬p) ∧ (p ∨ q)
ja
(p ↔ q) ∨ (¬q),
ja edelleen
((¬p) ∧ (p ∨ q)) → ((p ↔ q) ∨ (¬q))
(1.1)
jne. Sovitaan konnektiiveille vahvuusjärjestys
(1) ¬
(2) ∧ ja ∨ (yhtä vahvoja)
(3) → ja ↔ (yhtä vahvoja)
Tällöin esimerkiksi lauseesta (1.1) voidaan jättää sulkuja pois:
¬p ∧ (p ∨ q) → (p ↔ q) ∨ ¬q
Esimerkki 1.2. Jos x ∈ R ja y ∈ R (ts. x ja y ovat reaalilukuja), niin
seuraavat ovat lauseita:
p:
x ∈ N (ts. x on luonnollinen luku)
q:
y2 = 2
r:
x+y ≥0
Näistä voidaan muodostaa esimerkiksi lauseet
p∨q :
¬r :
r→p:
p ∧ ¬q → ¬r :
x on luonnollinen luku tai y 2 = 2.
x+y <0
Jos x + y ≥ 0, niin x on luonnollinen luku.
Jos x on luonnollinen luku ja y 2 6= 2, niin x + y < 0.
Sen sijaan seuraavat eivät ole lauselogiikan lauseita, koska niillä ei ole totuusarvoja:
√
a+b
, π + 7.
x2 + y 2 + z 2 ,
2
7
Insinöörimatematiikka 1u
1.2
Totuusarvo ja totuustaulukko
Jos lauseiden p, q, r, . . . totuusarvot on kiinnitetty, niin niistä konnektiiveja
käyttäen muodostettujen monimutkaisempien lauseiden totuusarvot määräytyvät seuraavasta totuustaulukosta:
p
1
1
0
0
q ¬p
1 0
0 0
1 1
0 1
p∧q
1
0
0
0
p∨q
1
1
1
0
p→q
1
0
1
1
p↔q
1
0
0
1
Matematiikassa siis sovitaan, että p ∨ q on tosi myös silloin, kun molemmat lauseet p ja q ovat tosia. Luonnollisessa kielessä ”tai” tulkitaan milloin
mitenkin, kuten esimerkeistä ”Liittymislahjaksi saat repun tai puseron” ja
”Opiskelemaan pääsee, jos kirjoittaa laudaturin matematiikasta tai saa yli
kymmenen pistettä pääsykokeesta” voi havaita.
Implikaation määritelmää voidaan perustella seuraavalla esimerkillä:
p:
x>3
q:
x>2
On järkevää sopia, että lause p → q eli
x>3→x>2
on aina tosi, sijoitettiinpa luvun x paikalle mikä tahansa reaaliluku.
Esimerkki 1.3. Tutki totuustaulukon avulla, milloin lause (p → q)∧(q → p)
on tosi ja milloin epätosi.
Ratkaisu. Puretaan lause auki ja täytetään totuustaulukkoa sarake kerrallaan:
p
1
1
0
0
q p→q
1
1
0
0
1
1
0
1
q→p
1
1
0
1
(p → q) ∧ (q → p)
1
0
0
1
Huomataan, että kysytty lause on tosi, kun p ja q ovat molemmat tosia tai
kun p ja q ovat molemmat epätosia. Muulloin lause on epätosi.
Esimerkki 1.4. Osoita, että lauseella
Jos sataa, niin jään kotiin
8
Insinöörimatematiikka 1u
on aina sama totuusarvo kuin lauseella
Ei sada tai jään kotiin.
Ratkaisu. Merkitään p : Sataa ja q : Jään kotiin. Rakennetaan totuustaulukko lauseille A = (p → q) ja B = (¬p ∨ q):
p
1
1
0
0
q p→q
1
1
0
0
1
1
0
1
¬p
0
0
1
1
¬p ∨ q
1
0
1
1
Lauseilla A ja B on siten jokaisella rivillä sama totuusarvo.
Esimerkin 1.4 tapauksessa sanotaan, että lauseet A ja B ovat loogisesti ekvivalentteja:
Määritelmä 1.5. Lausetta, joka on aina tosi riippumatta siinä esiintyvien
lauseiden totuusarvoista, kutsutaan tautologiaksi.
Jos A ↔ B on tautologia, niin sanotaan että A ja B ovat loogisesti ekvivalentteja ja merkitään A ⇔ B.
Vastaavasti jos A → B on tautologia, niin sanotaan että B on A:n looginen seuraus ja merkitään A ⇒ B.
Korostetaan vielä näiden merkintöjen eroa. Merkintä A → B tarkoittaa
lauselogiikan lausetta, jonka totuusarvo voi A:sta ja B:stä riippuen olla joko
tosi tai epätosi. Merkitsemällä A ⇒ B tarkoitetaan sitä, että lause A → B
on aina tosi, ts. B on tosi aina kun A on tosi. Merkintä on tärkeä matematiikassa, missä matemaattiset lauseet voidaan yleensä esittää implikaationa
A ⇒ B, missä A:ta kutsutaan oletukseksi ja B:tä väitteeksi: jos oletus A on
tosi, niin väite B on myös tosi.
Tautologiat ovat keskeinen työkalu matemaattisessa päättelyssä, kun todistetaan jotakin väitettä tai muokataan sitä muodosta toiseen.
9
Insinöörimatematiikka 1u
Lause 1.6 (Päättelysääntöjä).
• ¬¬p ⇔ p
• p∨q ⇔q∨p
(kaksoisnegaation poisto)
ja
p∧q ⇔q∧p
• p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r
p ∧ (q ∧ r) ⇔ (p ∧ q) ∧ r
ja
• p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
• ¬(p ∨ q) ⇔ ¬p ∧ ¬q
¬(p ∧ q) ⇔ ¬p ∨ ¬q
(vaihdantalait)
(liitäntälait)
ja
(osittelulait)
ja
(de Morganin lait)
• (p ↔ q) ⇔ (p → q) ∧ (q → p)
(ekvivalenssilaki)
• p ∧ (p → q) ⇒ q
(suora todistus)
• (p → q) ⇔ (¬q → ¬p) ja
[p ∧ ((p ∧ ¬q) → (r ∧ ¬r))] ⇒ q
(epäsuora todistus)
Nämä säännöt voidaan todistaa suoraviivaisesti kirjoittamalla totuustaulukko. Käytännössä sääntöjä ei pidä eikä tarvitse opetella ulkoa, sillä ne ovat
täysin arkiajattelun mukaisia.
Esimerkki 1.7. Olkoon
p : n on parillinen kokonaisluku
ja
q : n < 0.
Tällöin väitteen
n on parillinen tai n < 0
negaatio ¬(p ∨ q) on ensimmäisen de Morganin lain mukaan loogisesti ekvivalentti lauseen ¬p ∧ ¬q kanssa, eli negaatio on
n on pariton ja n ≥ 0.
Huomautus 1.8. a) Liitäntälakien nojalla voidaan merkitä p ∨ q ∨ r ja
p ∧ q ∧ r.
b) Suora todistus luonnollisella kielellä: Jos p on tosi ja p:stä seuraa q, niin
silloin q:n on oltava tosi.
c) Epäsuora todistus luonnollisella kielellä: Jos p on tosi ja ¬q yhdessä oletuksen p kanssa johtaisi johonkin (mihin tahansa) ristiriitaan r ∧ ¬r, niin
tällöin q:n on oltava tosi.
10
Insinöörimatematiikka 1u
1.3
Boolen algebra ja loogiset virtapiirit
Määritellään alkioille p ja q ∈ {0, 1} komplementti p, tulo pq ja summa p + q
seuraavan taulukon mukaisesti:
p
1
1
0
0
q p
1 0
0 0
1 1
0 1
pq
1
0
0
0
p+q
1
1
1
0
Joukko {0, 1} varustettuna näillä laskutoimituksilla on eräs esimerkki ns.
Boolen algebrasta. Huomataan, että komplementointi vastaa negaatiota (ei),
tulo konjunktiota (ja) ja summa disjunktiota (tai). Nämä laskutoimitukset on
helppo muistaa, koska ainoana erona tavallisiin laskusääntöihin on 1 + 1 = 1.
Lause 1.9. Jokainen lauselogiikan lause voidaan esittää sellaisessa loogisesti
ekvivalentissa muodossa, jossa esiintyy vain konnektiiveja ¬, ∧ ja ∨.
Todistus. (1) Kaikki implikaatiot voidaan esittää väitetyssä muodossa, sillä
esimerkin 1.4 mukaan
(p → q) ⇔ (¬p ∨ q).
(2) Ekvivalenssilain ja kohdan (1) mukaan
(p ↔ q) ⇔ ((p → q) ∧ (q → p)) ⇔ ((¬p ∨ q) ∧ (¬q ∨ p)).
Lauseen 1.9 mukaan kaikki lauselogiikan lauseet voidaan esittää Boolen algebrassa ja siten lauseen totuusarvo voidaan selvittää totuustaulukon ohella
myös em. laskusäännöillä.
Esimerkki 1.10. a) Selvitä lauseen ¬(¬(p ∧ q) ∧ (q ∨ r)) totuusarvo, kun
q ja r ovat tosia ja p epätosi.
b) Todista lauseen 1.6 suoran todistuksen sääntö p ∧ (p → q) ⇒ q Boolen
algebran avulla.
Ratkaisu. a) Nyt q = r = 1 ja p = 0, joten
pq(q + r) = 0 · 1 · (1 + 1) = 0 · 1 = 1 · 1 = 1 = 0.
Lause on siis epätosi.
b) On osoitettava, että p ∧ (p → q) → q on aina tosi. Muokataan lause
muotoon, jossa ei esiinny implikaatioita:
[p ∧ (p → q) → q] ⇔ [p ∧ (¬p ∨ q) → q]
⇔ [¬(p ∧ (¬p ∨ q)) ∨ q]
11
Insinöörimatematiikka 1u
eli Boolen algebrassa p(p + q) + q. Nyt
p(p + q) + q =

1,
pp
jos q = 1,
= 0 = 1, jos q = 0
riippumatta p:n arvosta, ts. lause on aina tosi.
Boolen algebran lauseet voidaan esittää graafisesti loogisena virtapiirinä, joka
koostuu seuraavista kolmesta alkeisveräjästä:
¬p
p
p
q
NOT
p∧q
p
q
AND
p∨q
OR
Tässä p ja q ovat ottoja ja ¬p, p∧q ja p∨q antoja. Usein käytetään myös veräjiä XOR (jompi kumpi mutta ei molemmat) ja NAND (ei molemmat). Käytännössä veräjät voidaan toteuttaa käyttämällä esimerkiksi releitä ja transistoreja ja sopimalla, että jännite 0 V vastaa totuusarvoa 0 ja jännite 5 V
totuusarvoa 1.
Esimerkki 1.11. Lause p ∨ (¬p ∧ q) loogisena virtapiirinä:
p
p ∨ (¬p ∧ q)
q
Huomataan, että osittelulain mukaan
[p ∨ (¬p ∧ q)] ⇔ [(p ∨ ¬p) ∧ (p ∨ q)] ⇔ [p ∨ q].
Sama toiminta saadaan siis aikaiseksi yhdellä veräjällä:
p
q
1.4
p∨q
Joukko [11, Appendix A]
Määritelmä 1.12. Joukko (set) on kokoelma olioita (joita nimitetään joukon alkioiksi tai jäseniksi (element, member)) siten, että
• joukon alkioista voidaan sanoa, ovatko ne samoja vai eivät, ja
• mistä tahansa oliosta voidaan sanoa, onko se joukon alkio vai ei.
12
Insinöörimatematiikka 1u
Joukkoja merkitään usein isoilla kirjaimilla A, B, C, . . . , X, Y, Z ja alkioita
pienillä kirjaimilla a, b, c, . . . , x, y, z. Joukko voidaan ilmaista luettelemalla
sen alkiot, esimerkiksi
{2, 4, 6, 8}
tai
{2, 4, 6, . . .}
tai ilmaisemalla muutoin joukkoon kuulumisen välttämätön ja riittävä ehto,
esimerkiksi
{x : x on suomalaisen aakkoston vokaali}.
Merkintöjä:
x=y
alkiot x ja y ovat samoja,
x 6= y
alkiot x ja y eivät ole samoja,
x∈A
x kuuluu joukkoon A, eli x on A:n alkio,
x 6∈ A
x ei kuulu joukkoon A, eli x ei ole A:n alkio,
A⊂B
A on B:n osajoukko: x ∈ A ⇒ x ∈ B,
A 6⊂ B
A ei ole B:n osajoukko,
A=B
joukot A ja B ovat samoja: x ∈ A ⇔ x ∈ B
(ts. A ⊂ B ja B ⊂ A),
∅
tyhjä joukko eli joukko, joka ei sisällä yhtään alkiota.
Joukkoa, joka ei ole tyhjä joukko, sanotaan epätyhjäksi. Lisäksi joukko on
äärellinen, jos se on tyhjä joukko tai siinä on vain äärellisen monta alkiota,
muutoin joukko on ääretön.
Huomautus 1.13. a) Aina ∅ ⊂ A ja A ⊂ A.
b) Väite A = B on usein helpointa todistaa kahdessa osassa: osoitetaan,
että A ⊂ B ja B ⊂ A.
c) Osajoukolle voidaan käyttää myös merkintää A ⊆ B. Jos halutaan korostaa, että A on B:n aito osajoukko, niin voidaan merkitä A ( B.
Muistetaan tutut perusjoukot:
N = {1, 2, 3, . . .}
Z = {. . . , −2, −1, 0, 1, 2, . . .}
m
: m ∈ Z, n ∈ Z ja n 6= 0
Q=
n
R = reaaliluvut (määritelmä sivuutetaan)
luonnolliset luvut
kokonaisluvut
rationaaliluvut
Näille joukoille pätee N ⊂ Z ⊂ Q ⊂ R. On sopimuskysymys, kuuluuko 0
joukkoon N vai ei, minkä vuoksi käytäntö tulee kunkin tekstin yhteydessä
13
Insinöörimatematiikka 1u
tarvittaessa tarkastaa. Lisäksi positiivisille ja negatiivisille kokonaisluvuille
käytetään yleisesti merkintöjä Z+ = {1, 2, 3, . . .} ja Z− = {−1, −2, −3, . . .}.
Jos a ∈ R ja b ∈ R, a < b, niin määritellään rajoitetut välit
(a, b) = {x ∈ R :
[a, b] = {x ∈ R :
(a, b] = {x ∈ R :
[a, b) = {x ∈ R :
a < x < b}
a ≤ x ≤ b}
a < x ≤ b}
a ≤ x < b}
avoin väli
suljettu väli
puoliavoin väli
puoliavoin väli
x > a}
x ≥ a}
x < b}
x ≤ b}
avoin väli
suljettu väli
avoin väli
suljettu väli
ja puolirajoitetut välit
(a, ∞) = {x ∈ R :
[a, ∞) = {x ∈ R :
(−∞, b) = {x ∈ R :
(−∞, b] = {x ∈ R :
Edelleen voidaan kirjoittaa (−∞, ∞) = R.
Esimerkki 1.14. a) {n : n = 2k − 1, k ∈ N} = {2k − 1 : k ∈ N} =
{1, 3, 5, . . .}
b) {n : n = 2k − 1, k ∈ N, k ≤ 50} = {2k − 1 : k = 1, 2, 3, . . . , 50} =
{1, 3, 5, . . . , 99}
c) {x ∈ R : x2 − 8x + 15 = 0} = {3, 5}
d) {x ∈ R : x2 − 8x + 15 < 0} = (3, 5)
e) {x ∈ R : x2 + x + 15 = 0} = ∅
f) {(x, y) : x ∈ R, y ∈ R, y = 2x} on xy-tason suora
Esimerkki 1.15. Jos A = {1, 3, 5}, niin
1∈A
2 6∈ A
{1} ⊂ A
{1, 5} ⊂ A
{1, 2, 3} 6⊂ A
{1, 3, 5} ⊂ A
{3, 1, 1, 5, 3} = A
{1, 2, 3} =
6 A
Esimerkki 1.16. Olkoon
A = {n ∈ Z : luvun n kaksi viimeistä numeroa ovat 24} ja
B = {n ∈ Z : n on jaollinen 4:lla}.
Osoita, että A ⊂ B.
14
Insinöörimatematiikka 1u
Todistus. Olkoon n ∈ A. On osoitettava, että tällöin n ∈ B. Oletuksen
mukaan
n = 100k + 24
jollakin k = 0, 1, 2, . . . tai
n = 100k − 24
jollakin k = 0, −1, −2, . . . (esimerkiksi 30 124 = 301 · 100 + 24 tai −30 124 =
(−301) · 100 − 24). Nyt
n = 4(25k ± 6).
Koska 25k ± 6 ∈ Z, niin n on jaollinen 4:llä ja siten n ∈ B.
Edellä asetettu joukon määritelmä on melko epätäsmällinen, mutta se riittää käytännön matemaatikolle ja soveltajalle. Yleensä käsittelemämme joukot ovat reaalilukujen osajoukkoja tai niistä johdettuja joukkoja, eikä joukon
määritelmän kanssa tule ongelmia. Joukon määritelmän ongelmallisuutta havainnollistaa Russellin paradoksi: Onko niiden joukkojen kokoelma, jotka eivät ole itsensä alkioita, joukko? Ts. onko
E = {A : A 6∈ A}
joukko? Ei ole! Jos näet olisi E ∈ E, niin olisi E 6∈ E. Jos taas olisi E 6∈ E,
niin olisi E ∈ E. Ei siis voida sanoa, kuuluuko E kokoelmaan E vai ei.
Kevyempi versio Russellin paradoksista: Eräässä kylässä asuva parturi
väittää, että ”Leikkaan täsmälleen niiden kyläläisten hiukset, jotka eivät leikkaa omia hiuksiaan.” Leikkaako parturi omat hiuksensa?
1.5
Joukko-operaatiot [11, Appendix A]
Määritelmä 1.17. Joukkojen A ja B yhdiste (union) A ∪ B, leikkaus (intersection) A ∩ B ja erotus A \ B määritellään asettamalla
A ∪ B = {x : x ∈ A tai x ∈ B},
A ∩ B = {x : x ∈ A ja x ∈ B},
A \ B = {x ∈ A : x 6∈ B}.
Joukot A ja B ovat erillisiä eli pistevieraita (disjoint), jos joukoilla ei ole
yhteisiä alkioita, ts. A ∩ B = ∅. Jos A ⊂ X, niin joukon A komplementti
(complement) Ac (tai A) perusjoukon X suhteen on
Ac = X \ A = {x ∈ X : x 6∈ A}.
15
Insinöörimatematiikka 1u
Joukko-operaatioita voidaan havainnollistaa seuraavien Vennin kaavioiden
avulla:
B
A
B
A
A∪B
A∩B
B
A
A
A\B
Ac
Esimerkki 1.18. a) Jos A = {0, 2, 3, 4} ja B = {1, 2}, niin
A ∪ B = {0, 1, 2, 3, 4}
A ∩ B = {2}
A \ B = {0, 3, 4}
A\Z=∅
b) Jos A = (1, 3] ja B = (2, 5), niin
A ∪ B = (1, 5)
A ∩ B = (2, 3]
A \ B = (1, 2]
R \ A = (−∞, 1] ∪ (3, ∞)
Piirrä kuvat!
Lause 1.19. A \ B = A ∩ B c .
Todistus. Vakuuttaudu ensin tuloksesta Vennin kaavion avulla. Määritelmiin
perustuva todistus:
x ∈ A \ B ⇔ x ∈ A ja x 6∈ B
⇔ x ∈ A ja x ∈ B c
⇔ x ∈ A ∩ Bc
(erotuksen määritelmä)
(komplementin määritelmä)
(leikkauksen määritelmä)
16
Insinöörimatematiikka 1u
Listataan seuraavassa lauseen 1.6 päättelysääntöjä vastaavat joukko-opin tulokset, joissa yhdiste vastaa tai-konnektiivia ja leikkaus ja-konnektiivia:
Lause 1.20 (Joukko-operaatioiden laskulakeja). Olkoot A, B ja C joukkoja.
Tällöin
• (Ac )c = A
• A∪B =B∪A
ja
A∩B =B∩A
• A ∪ (B ∪ C) = (A ∪ B) ∪ C
A ∩ (B ∩ C) = (A ∩ B) ∩ C
ja
• A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
• (A ∪ B)c = Ac ∩ B c
(A ∩ B)c = Ac ∪ B c
(vaihdantalait)
ja
(liitäntälait)
ja
(osittelulait)
(de Morganin lait)
Todistus. Väitteiden todistukset palautuvat logiikan päättelysääntöihin. Todistetaan 1. osittelulaki. Missä kohti käytetään joukko-operaatioiden määritelmiä ja missä lauseen 1.6 osittelulakia?
x ∈ A ∩ (B ∪ C) ⇔ x ∈ A ja x ∈ (B ∪ C)
⇔ x ∈ A ja (x ∈ B tai x ∈ C)
⇔ (x ∈ A ja x ∈ B) tai (x ∈ A ja x ∈ C)
⇔ x ∈ A ∩ B tai x ∈ A ∩ C
⇔ x ∈ (A ∩ B) ∪ (A ∩ C)
Todista myös piirtämällä Vennin kaavio!
Liitäntälakien nojalla voidaan merkitä A ∪ B ∪ C ja A ∩ B ∩ C.
Esimerkki 1.21. Sievennä a) A ∪ (Ac ∩ B),
b) (A \ B) ∪ (A ∩ B) ∪ (B \ A).
Ratkaisu. Piirrä ensin Vennin kaaviot. Nähdään, että a-kohdassa yhdiste
A ∪ B on jaettu kahteen erilliseen osaan A ja Ac ∩ B, b-kohdassa yhdiste
A ∪ B on jaettu kolmeen erilliseen osaan A \ B, A ∩ B ja B \ A.
a) Käytetään ensin osittelulakia ja huomataan, että A ∪ Ac on koko avaruus:
A ∪ (Ac ∩ B) = (A ∪ Ac ) ∩ (A ∪ B) = A ∪ B.
17
Insinöörimatematiikka 1u
b) Käytetään osittelulakia kahdesti:
(A ∩ B c ) ∪ (A ∩ B) ∪ (B ∩ Ac ) = (A ∩ (B c ∪ B)) ∪ (B ∩ Ac )
= A ∪ (B ∩ Ac )
= (A ∪ B) ∩ (A ∪ Ac )
= A ∪ B.
1.6
Avaruus Rn
Alkioista a1 , a2 , . . . , an muodostetulle järjestetylle joukolle käytetään merkintää (a1 , a2 , . . . , an ). Tällöin
(a1 , a2 , . . . , an ) = (b1 , b2 , . . . , bn )
jos ja vain jos a1 = b1 , a2 = b2 , . . ., an = bn . Erona yleiseen joukkoon on se,
että nyt järjestyksellä on väliä. Esimerkiksi
{1, 2, c} = {2, c, 1, 2},
mutta
(1, 2, c) 6= (2, c, 1).
Määritellään joukot
R2 = {(x, y) : x ∈ R ja y ∈ R}
R3 = {(x, y, z) : x ∈ R, y ∈ R ja z ∈ R}
(xy-taso)
(xyz-avaruus)
ja yleisesti n-ulotteinen avaruus
Rn = {(x1 , x2 , . . . , xn ) : xi ∈ R}
Avaruuden Rn alkiota (x1 , x2 , . . . , xn ) kutsutaan pisteeksi ja alkioita xi koordinaateiksi.
Esimerkki 1.22. Joukko
A = {(x, y) ∈ R2 : (x − 1)2 + (y + 2)2 = 4}
on niiden xy-tason pisteiden (x, y) ∈ R2 muodostama joukko, jonka koordinaateille x ja y pätee (x − 1)2 + (y + 2)2 = 4. A on siis (1, −2)-keskinen
2-säteinen ympyrä.
Insinöörimatematiikka 1u
1.7
18
Predikaattilogiikkaa
Predikaattilogiikassa tutkitaan lauseiden lisäksi lausumia (predikaatteja)
p(x), q(x), p(x, y), . . ., joissa on yksi tai useampi muuttuja x, y, z, . . .. Lausumalla sinänsä ei ole totuusarvoa, vaan sen totuusarvo riippuu muuttujien
arvoista. Predikaattilogiikassa käytetään konnektiivien lisäksi kvanttoreita
∀
kaikkikvanttori, ”kaikilla”, ”for ∀ll” ja
∃
olemassaolokvanttori, ”on olemassa”, ”∃xists”.
Lausumasta voidaan muodostaa lause sitomalla muuttujat kvanttoreilla. Esimerkiksi
∀ x : p(x)
”kaikilla x on ominaisuus p(x)”
∃ x : p(x)
”on olemassa x, jolla on ominaisuus p(x)”
Jos näissä halutaan rajata x johonkin joukkoon L, voidaan merkitä ∀ x ∈ L :
p(x) ja ∃ x ∈ L : p(x).
Esimerkki 1.23. Tosi vai epätosi?
a) ∀ x ∈ R : x < 3 b) ∃ x ∈ R : x < 3 c) ∀ x ∈ N : x ≥ −7
Samassa lauseessa voi esiintyä useampia kvanttoreita, esimerkiksi ∀ x ∃ y :
p(x, y) tai ∃ x ∃ y : p(x, y).
Esimerkki 1.24. a) ∀ x ∈ R ∃ n ∈ N : n > x. ”Jokaisella x ∈ R on
olemassa n ∈ N siten, että n > x.” Lause on tosi.
b) ∃ n ∈ N ∀ x ∈ R : n > x. ”On olemassa n ∈ N siten, että jokaisella x ∈ R
n > x.” Lause on epätosi.
Esimerkin 1.24 mukaan kvanttorien järjestystä ei saa vaihtaa.
Lause 1.25 (Negaation ja kvanttorin vaihtosääntö).
¬(∀ x : p(x)) ⇔ ∃ x : ¬p(x) ja
¬(∃ x : p(x)) ⇔ ∀ x : ¬p(x).
Esimerkki 1.26. a) Tarkastellaan lausetta ∃ x ∈ R : x2 < 0, joka on
epätosi. Muodostetaan lauseen negaatio vaihtosäännön avulla:
¬(∃ x ∈ R : x2 < 0) ⇔ ∀ x ∈ R : ¬(x2 < 0)
⇔ ∀ x ∈ R : x2 ≥ 0
19
Insinöörimatematiikka 1u
Negaatio on tosi, kuten sen pitääkin olla, kun negatoitava lause on epätosi.
b) Muodostetaan esimerkin 1.24 b lauseen negaatio:
¬(∃ n ∈ N ∀ x ∈ R : n > x) ⇔ ∀ n ∈ N ¬(∀ x ∈ R : n > x)
⇔ ∀ n ∈ N ∃ x ∈ R : ¬(n > x)
⇔ ∀ n ∈ N ∃ x ∈ R : n ≤ x.
Negaatio on tosi.
Usein käytetään seuraavankaltaista sekakieltä:
∃ x < 0 siten, että |x| = 3
x2 > 0 ∀ x 6= 0
∃ x ∈ R s.e. |x| > ∀ > 0
(∃ x < 0 : |x| = 3)
(∀ x 6= 0 : x2 > 0)
(∃ x ∈ R ∀ > 0 : |x| > )
Monesti käytetään myös merkintöjä
@ ”ei ole olemassa”
∃! tai ∃1 ”on olemassa täsmälleen yksi”
1.8
Todistusmetodeja [11, Appendix A]
Matematiikassa lauseet voidaan yleensä esittää implikaationa p ⇒ q, ts.
oletuksesta p seuraa väite q. Eräitä yleisimpiä todistustapoja ovat:
• Suora todistus, jossa oletuksesta päädytään väitteeseen suoralla päättelyketjulla p ⇒ p1 ⇒ p2 ⇒ · · · ⇒ pn ⇒ q.
• Epäsuora todistus, jossa oletetaan ¬q (ns. vastaväite eli antiteesi) ja
päädytään ristiriitaan oletuksen kanssa (¬p) tai saadaan aikaiseksi jokin muu ristiriita (¬r ∧ r).
• Vastaesimerkki.
• Induktiotodistus.
Ekvivalenssi p ⇔ q voidaan lauseen 1.6 ekvivalenssilain nojalla todistaa kahdessa osassa todistamalla erikseen p ⇒ q ja q ⇒ p.
Esimerkki 1.27. Osoita, että x2 + x + 1 > 0 kaikilla x > 0.
Ratkaisu. Oletetaan, että x > 0. Silloin x2 > 0, x > 0 ja 1 > 0, joten niiden
summalle pätee x2 + x + 1 > 0.
20
Insinöörimatematiikka 1u
Esimerkki 1.28. Osoita, että jos n ∈ Z ja n2 on parillinen, niin n on parillinen.
Ratkaisu. Oletus: n2 on parillinen.
Väite: n on parillinen
Todistus: Käytetään epäsuoraa todistusta ja tehdään vastaväite: oletetaan,
että n onkin pariton, ts. n = 2k + 1 jollakin k ∈ Z. Silloin olisi
n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k) + 1,
ts. n2 olisi pariton. n ei siis voi olla pariton, joten se on parillinen.
√
Esimerkki 1.29. Osoita, että 2 on irrationaalinen.
√
Ratkaisu. Tehdään vastaväite, eli oletetaan, että 2 on rationaalinen, ts.
√
m
2= ,
n
missä m ja n ∈ Z. Oletetaan lisäksi, että m
on supistetussa muodossa, eli
n
m:llä ja n:llä ei ole yhteisiä tekijöitä. Neliöidään:
2=
m2
⇒ m2 = 2n2
n2
⇒ m2 on parillinen
⇒ m on parillinen, ts. m = 2k, k ∈ Z
⇒ m2 = 4k 2 = 2n2
⇒ n2 = 2k 2
⇒ n2 on parillinen
⇒ n on parillinen
Siten m ja n ovat jaollisia 2:lla. Tämä on ristiriita sen kanssa, että
supistetussa muodossa.
m
n
on
Esimerkki 1.30. Päteekö a2 − 3ab + b2 ≥ 0 kaikilla a, b ≥ 0?
Ratkaisu. Ei päde, mikä voidaan todeta vastaesimerkillä a = b = 1:
12 − 3 · 1 · 1 + 12 = −1 < 0.
Suoran todistuksen implikaatioketjun suunnan kanssa tulee olla huolellinen.
Olkoon tästä esimerkkinä esimerkin 1.30 väitteen ”todistus”:
a2 − 3ab + b2 ≥ 0
⇒ a2 − 2ab + b2 ≥ 0
⇒ (a − b)2 ≥ 0
Viimeisen rivin epäyhtälö on aina tosi, joten väite pätee.
Tämä todistus on virheellinen (vaikka jokainen implikaatio sinänsä on
tosi). Mikä on vikana?
21
Insinöörimatematiikka 1u
1.9
Induktiotodistus [11, Appendix B]
Induktioperiaate. Olkoon p(n) luonnollista lukua n koskeva väite. Jos
(1) p(1) on tosi ja jos
(2) kaikilla k ∈ N siitä, että p(k) on tosi (induktio-oletus), seuraa että myös
p(k + 1) on tosi,
niin p(n) on tosi jokaisella n ∈ N. Kohtaa (1) kutsutaan alkuaskeleeksi ja
kohtaa (2) induktioaskeleeksi.
Esimerkki 1.31. Osoita, että 1 + 2 + 3 + · · · + n =
n(n + 1)
kaikilla n ∈ N.
2
Ratkaisu. Todistetaan väite induktiolla.
(1) Alkuaskel. Tapauksesa n = 1 väite tulee muotoon
1=
1 · (1 + 1)
,
2
mikä on tosi.
(2) Induktioaskel. Tehdään induktio-oletus, että väite pätee n:n arvolla k, ts.
1 + 2 + 3 + ··· + k =
k(k + 1)
.
2
On osoitettava, että tällöin väite pätee myös n:n arvolla k + 1, ts.
1 + 2 + 3 + · · · + k + (k + 1) =
(k + 1)((k + 1) + 1)
.
2
Lasketaan:
1 + 2 + 3 + · · · + k + (k + 1) = (1 + 2 + 3 + · · · + k) + (k + 1)
k(k + 1)
=
+k+1
(induktio-oletus)
2
k(k + 1) + 2(k + 1)
=
2
k 2 + 3k + 2
(k + 1)(k + 2)
=
=
.
2
2
Esimerkki 1.32. Todista Bernoullin epäyhtälö: jos 1 + x ≥ 0, niin
(1 + x)n ≥ 1 + nx ∀n ∈ N.
22
Insinöörimatematiikka 1u
Ratkaisu. Todistetaan väite induktiolla n:n suhteen.
(1) Alkuaskel. Tapauksesa n = 1 väite pätee, sillä (1 + x)1 ≥ 1 + x.
(2) Induktioaskel. Oletetaan, että (1 + x)k ≥ 1 + kx. Silloin
(1 + x)k+1 = (1 + x)k (1 + x)
≥ (1 + kx)(1 + x)
= 1 + x + kx + kx2
≥ 1 + x + kx
= 1 + (k + 1)x.
Induktioperiaatteessa voidaan lähteä liikkeelle muustakin n:n arvosta kuin 1.
Esimerkki 1.33. Tutki, mistä n:n arvosta (n ∈ N) lähtien pätee 2n ≤ n!
ja todista väitteesi induktiolla. Tässä luvun n ∈ N kertoma (factorial) n!
määritellään asettamalla
n! = 1 · 2 · 3 · · · · · n.
Ratkaisu. Kokeillaan:
21
22
23
24
>1
>1·2
>1·2·3
≤1·2·3·4
Todistetaan induktiolla, että 2n ≤ n! kaikilla n ≥ 4.
(1) Alkuaskel. Kun n = 4, niin 24 = 16 ≤ 4! = 24.
(2) Induktioaskel. Tehdään induktio-oletus: 2k ≤ k!, k ≥ 4. Tällöin
2k+1 = 2 · 2k
≤ 2 · k!
= 2 · k · (k − 1) · · · 2 · 1
≤ (k + 1) · k · (k − 1) · · · 2 · 1
= (k + 1)!
2
Funktio-oppia [5, 1.1, 1.2 ja 4.3]
Luvussa 2 käydään läpi ensin funktion määritelmä ja peruskäsitteet yleisesti
ja sitten reaalifunktioihin liittyviä perusasioita. Keskeiset käsitteet:
• Funktio, määrittely-, maali- ja arvojoukko, alkukuva.
23
Insinöörimatematiikka 1u
• Injektio, surjektio, bijektio.
• Käänteisfunktio ja yhdistetty funktio.
• Reaalifunktio, kuvaaja, monotonisuus.
Luvun 2 tulokset mahdollistavat mm. luvussa 3 alkeisfunktioiden määrittelyn
ja niiden perusominaisuuksien tutkimisen.
2.1
Funktio [5, 1.1]
Määritelmä 2.1. Olkoot A ja B epätyhjiä joukkoja. Funktio eli kuvaus
(function, mapping) f : A → B on olio, joka liittää jokaiseen määrittelyjoukon (domain) A alkioon x täsmälleen yhden maalijoukon B alkion y, jota
merkitään y = f (x). Määrittelyjoukon alkiota x kutsutaan argumentiksi ja
vastaavaa maalijoukon alkiota f (x) kuvaksi tai arvoksi (value).
A
B
f
x
f (x)
Eräitä peruskäsitteitä:
• Joukon C ⊂ A kuvajoukko on f (C) = {f (x) : x ∈ C}.
• Joukko f (A) on f :n arvojoukko (range).
• Alkion y ∈ B alkukuva on f −1 (y) = {x ∈ A : f (x) = y}.
f −1 (y) luetaan ”f miinus 1 y”.
f
A
C
joukon C kuvajoukko
B
f (C)
f
A
f −1 (y)
B
y
alkion y alkukuva
f :n määrittelyjoukkoa merkitään Mf tai Df ja arvojoukkoa Af tai Rf . Määritellään, että funktio f : A → B on
• injektio, jos f kuvaa eri alkiot eri alkioiksi eli x1 6= x2 ⇒ f (x1 ) 6= f (x2 ),
tai yhtäpitävästi f (x1 ) = f (x2 ) ⇒ x1 = x2 ,
24
Insinöörimatematiikka 1u
• surjektio, jos f :n arvojoukko on koko maalijoukko eli f (A) = B,
• bijektio, jos f on sekä injektio että surjektio.
Huomataan, että f : A → B on
• injektio jos ja vain jos jokaista y ∈ B vastaa korkeintaan yksi x ∈ A
siten, että f (x) = y,
• surjektio jos ja vain jos jokaista y ∈ B vastaa vähintään yksi x ∈ A
siten, että f (x) = y,
• bijektio jos ja vain jos jokaista y ∈ B vastaa täsmälleen yksi x ∈ A
siten, että f (x) = y.
Yleensä määrittely- ja maalijoukkoja ei erikseen mainita, vaan ilmoitetaan
vain funktion lauseke. Tällöin määrittelyjoukko ymmärretään mahdollisimman laajaksi.
Esimerkki 2.2. a) Funktion f (x) = x2 + 1 määrittelyjoukko on R, maalijoukko R ja arvojoukko f (R) = [1, ∞) (oletetaan polynomin kulun tutkiminen tunnetuksi). Joukon (−1, 2] kuvajoukko on f ((−1, 2]) = [1, 5]. Eräitä
alkukuvia:
f −1 (2) = {−1, 1}
f −1 (1) = {0}
f −1 (−7) = ∅
(eikä funktio siten ole injektio)
(eikä funktio siten ole surjektio)
b) Funktion f ((x, y)) = f (x, y) = x + y määrittelyjoukko on R2 ja maalijoukko R. Alkion 1 alkukuva on
f −1 (1) = {(x, y) ∈ R2 : x + y = 1},
ts. suora. f ei siten ole injektio. f on kuitenkin surjektio, sillä olipa z ∈ R
mikä tahansa reaaliluku, niin valitsemalla x = z ja y = 0 on f (x, y) = z.
Esimerkki 2.3. Määritellään lattiafunktio (floor) f (x) asettamalla
f (x) = bxc = suurin n ∈ Z, jolle n ≤ x.
Nyt esimerkiksi f (2 21 ) = 2, f (2) = 2 ja f (−2 12 ) = −3. Määrittelyjoukko on R
ja maalijoukoksi voidaan ottaan R, ts. f : R → R. Arvojoukko on f (R) = Z.
Eräitä kuvia ja alkukuvia:
f ([−1, 2]) = {−1, 0, 1, 2},
f −1 ( 21 ) = ∅,
f −1 (2) = [2, 3).
25
Insinöörimatematiikka 1u
y
3
2
1
x
−3
−2
−1
1
2
3
−2
−3
Esimerkki 2.4. Mikä on funktion f (x) = √
1
määrittelyjoukko?
2x + 4
Ratkaisu. Juurrettavan täytyy olla ei-negatiivinen, ts.
2x + 4 ≥ 0 ⇔ x ≥ −2.
Lisäksi jakaja ei saa olla 0: 2x + 4 6= 0, ts. x 6= −2. Määrittelyjoukko on siten
(−2, ∞).
2.2
Käänteisfunktio [5, 3.8]
Edellä todettiin, että f : A → B on bijektio jos ja vain jos jokaista y ∈
B vastaa täsmälleen yksi x ∈ A siten, että f (x) = y. Tämä vastaavuus
määrittelee käänteisfunktion (inverse function)
f −1 : B → A, f −1 (y) = x.
f (x)
A
B
x
y
f −1 (y)
26
Insinöörimatematiikka 1u
Funktiolle ja sen käänteisfunktiolle siis pätee
y = f (x) ⇔ x = f −1 (y)
(2.5)
ja
f −1 (f (x)) = x
ja
f (f −1 (y)) = y
(2.6)
kaikilla x ∈ A ja kaikilla y ∈ B.
Esimerkki 2.7. Osoita, että funktio f : [0, ∞) → [1, ∞), f (x) = x2 + 1 on
bijektio ja määritä käänteisfunktion lauseke.
Ratkaisu. Olkoon y ∈ [1, ∞). Tällöin
f (x) = y ⇔ x2 + 1 = y
⇔ x2 = y − 1 (≥ 0)
√
√
⇔ x = y − 1 tai x = − y − 1
On siis olemassa täsmälleen yksi x ∈ [0, ∞) siten, että f (x) = y. Niinpä f
on bijektio, ja käänteisfunktio on
√
f −1 : [1, ∞) → [0, ∞), f −1 (y) = y − 1.
Tarkastetaan vielä yhtälöt (2.6):
√
f (f −1 (y)) = ( y − 1)2 + 1 = (y − 1) + 1 = y
q
√
f −1 (f (x)) = (x2 + 1) − 1 = x2 = |x| = x
2.3
Yhdistetty funktio [5, 1.4]
Jos f : A → B ja g : B → C ovat funktioita, niin voidaan määritellä yhdistetty
funktio (composition) g ◦ f : A → C asettamalla
(g ◦ f )(x) = g(f (x)).
Funktiota f sanotaan sisäfunktioksi ja funktiota g ulkofunktioksi. Sulut voidaan jättää poiskin g ◦ f :n ympäriltä ja merkitä (g ◦ f )(x) = g ◦ f (x). g ◦ f
luetaan ”g pallo f”.
f
A
x
B
f (x)
g◦f
g
C
g(f (x))
27
Insinöörimatematiikka 1u
√
Esimerkki 2.8. a) Olkoon f (x) = x3 + 3 ja g(x) = x − 1. Voidaan muodostaa yhdistetyt funktiot
√
√
(f ◦ g)(x) = f ( x − 1) = ( x − 1)3 + 3 = (x − 1)3/2 + 3 (x ≥ 1)
q
√
√
3
(g ◦ f )(x) = g(x3 + 3) = (x3 + 3) − 1 = x3 + 2
(x ≥ − 2)
b) Olkoon f (x) =
x
2
ja g(x) =
. Nyt
x
1−x
(f ◦ g)(x) = f (g(x)) =
2
x
1−x
=
2(1 − x)
.
x
Jotta sisäfunktio g(x) olisi määritelty, on oltava x 6= 1. Toisaalta ulkofunktion määrittely vaatii, että g(x) 6= 0, ts. x 6= 0. Yhdistetyn funktion f ◦ g
määrittelyjoukko on siis Mf ◦g = R \ {0, 1}. Samalla tavoin yhdistetyn funktion
2
2
x
(g ◦ f )(x) = g(f (x)) =
2 =
x−2
1− x
määrittelyjoukoksi saadaan Mg◦f = R \ {0, 2}.
Esimerkki 2.9. Olkoon
f : R2 → R3 , f (x1 , x2 ) = (x21 , x1 x2 , x1 + 1) ja
g : R3 → R, g(x1 , x2 , x3 ) = x1 x2 x3 .
Tällöin voidaan muodostaa yhdistetty funktio g ◦ f : R2 → R,
(g ◦ f )(x1 , x2 ) = g(f (x1 , x2 )) = g(x21 , x1 x2 , x1 + 1) = x21 · x1 x2 · (x1 + 1),
mutta f ◦ g ei ole määritelty.
Joukon A identtinen kuvaus on funktio idA : A → A, jolle idA (x) = x kaikilla
x ∈ A. Tällöin ehdot (2.6) voidaan ilmoittaa muodossa
f −1 ◦ f = idA
2.4
ja
f ◦ f −1 = idB .
Reaalifunktio
Funktio f : A → B on reaalifunktio, jos A ⊂ R ja B ⊂ R. Tyypillisesti
reaalifunktiolle määrittelyjoukko A on väli ja maalijoukko B = R.
Määritelmä 2.10. Reaalifunktion f : A → R kuvaaja eli graafi (graph) on
tasojoukko
Gf = {(x, f (x)) ∈ R2 : x ∈ A} = {(x, y) ∈ R2 : x ∈ A, y = f (x)}.
28
Insinöörimatematiikka 1u
y
y = f (x)
Gf
f (x)
x
x
Esimerkki 2.11. Piirrä funktion f : [−1, 4] → R, f (x) = x3 − 5x2 + x kuvaaja.
Ratkaisu. Lasketaan joitakin f :n arvoja: f (−1) = −7, f (0) = 0, f (1) = −3,
f (2) = −10, f (3) = −15 ja f (4) = −12. f :n kuvaaja kulkee siis mm. pisteiden (−1, −7), (0, 0), (1, −3), (2, −10), (3, −15) ja (4, −12) kautta. Mitä tiheämpään pisteitä lasketaan, sitä paremmin funktion kuvaaja saadaan
hahmoteltua. Myöhemmin tarkastellaan funktion kuvaajan kulun tutkimista
derivaatan avulla.
y
x
−1
1
2
3
4
−8
y = f (x)
−16
Määritelmä 2.12. Olkoon f : A → R reaalifunktio. Jos kaikilla x ja y ∈ A
• x < y ⇒ f (x) ≤ f (y), niin f on kasvava,
• x < y ⇒ f (x) < f (y), niin f on aidosti kasvava,
• x < y ⇒ f (x) ≥ f (y), niin f on vähenevä,
• x < y ⇒ f (x) > f (y), niin f on aidosti vähenevä.
Funktiota, joka on kasvava tai vähenevä, sanotaan monotoniseksi. Vastaavasti aidosti kasvavaa tai aidosti vähenevää funktiota sanotaan aidosti monotoniseksi.
29
Insinöörimatematiikka 1u
y
y
f (y)
f (x)
x
y
aidosti kasvava funktio
x
x
kasvava funktio
Lause 2.13. Aidosti monotoninen reaalifunktio f : A → R on injektio.
Todistus. Jos x 6= y, niin x < y tai y < x. Siten f (x) < f (y) tai f (y) < f (x),
erityisesti f (x) 6= f (y).
Funktiosta f : A → B saadaan aina surjektio, jos maalijoukoksi muutetaan
arvojoukko, ts. tarkastellaan funktiota f : A → f (A). Niinpä arvojoukkoa
muuttamalla mistä tahansa injektiosta saadaan myös surjektio ja siten bijektio. Esimerkiksi funktiolla f : [0, ∞) → R, f (x) = x2 + 1 ei ole käänteisfunktiota, sillä f ei ole surjektio, mutta funktiolla f : [0, ∞) → [1, ∞), f (x) =
x2 + 1 on esimerkin 2.7 mukaan käänteisfunktio. Tässä mielessä lause 2.13
sanoo, että aidosti monotonisella reaalifunktiolla on käänteisfunktio.
Lause 2.14. Jos reaalifunktiolla f on käänteisfunktio f −1 , niin f :n ja f −1 :n
kuvaajat ovat peilikuvia suoran y = x suhteen.
Todistus. Käytetään kuvaajille standardimerkintöjä Gf ja Gf −1 . Pisteen
(x, y) peilikuva suoran y = x suhteen on (y, x), joten on osoitettava, että
(x, y) ∈ Gf jos ja vain jos (y, x) ∈ Gf −1 .
”⇒” Jos (x, y) ∈ Gf , niin y = f (x) ja siten x = f −1 (y). Niinpä (y, x) =
(y, f −1 (y)) ∈ Gf −1 .
”⇐” Vastaavasti.
Lause 2.15. Jos reaalifunktio f on aidosti kasvava (aidosti vähenevä) ja sillä
on käänteisfunktio f −1 , niin f −1 on myös aidosti kasvava (aidosti vähenevä).
Todistus. Oletetaan, että reaalifunktio f : A → B on aidosti kasvava bijektio.
Olkoot x ja y ∈ B siten, että x < y. Jos olisi f −1 (x) ≥ f −1 (y), niin f :n
aidon kasvavuuden nojalla olisi f (f −1 (x)) ≥ f (f −1 (y)), ts. x ≥ y. Tämä on
ristiriita oletuksen x < y kanssa. On siis oltava f −1 (x) < f −1 (y) ja f −1 on
siten aidosti kasvava. Aidosti vähenevän funktion tapaus todistetaan samaan
tapaan.
30
Insinöörimatematiikka 1u
Lause 2.16. Olkoot f : A → B ja g : B → C reaalifunktioita.
(a) Jos f ja g ovat kasvavia, niin g ◦ f on kasvava.
(b) Jos f on kasvava ja g on vähenevä, niin g ◦ f on vähenevä.
Entä jos f ja g ovat väheneviä tai f vähenevä ja g kasvava?
Todistus. Todistetaan (b): Olkoot x ja y ∈ A, x < y. Koska f on kasvava,
niin f (x) ≤ f (y). Siten g:n vähenevyyden nojalla g(f (x)) ≥ g(f (y)), ts.
(g ◦ f )(x) ≥ (g ◦ f )(y). Niinpä g ◦ f on vähenevä.
3
Alkeisfunktiot
Luvussa 3 määritellään seuraavat alkeisfunktiot, joiden avulla suuri osa luonnontieteiden ja tekniikan funktioista voidaan ilmaista.
• Potenssi- ja juurifunktio.
• Sini, kosini ja tangentti.
• Arkussini, arkuskosini ja arkustangentti.
• Eksponentti- ja logaritmisunktio.
Näiden funktioiden peruslaskusäännöt ja kuvaajien kulku on jatkoa ajatellen
tärkeää hallita.
3.1
Potenssi- ja juurifunktiot [5, 1.3]
Määritelmä 3.1. Luonnollisille luvuille n potenssifunktio (power function)
f : R → R, f (x) = xn , määritellään asettamalla
xn = x
| · x{z· · · x} .
n kpl
Lukua x kutsutaan kantaluvuksi ja lukua n eksponentiksi. Tapauksille n = 2
ja n = 3 on erityisnimitykset: x2 on x:n neliö ja x3 on x:n kuutio.
31
Insinöörimatematiikka 1u
y
y
x3
x5
x
2
4
x4
x2
3
1
−2
x6
−1
x
1
2
2
−1
1
x
−2
−2 −1 0
1
2
x:n parilliset potenssit
x:n parittomat potenssit
Määritelmästä 3.1 seuraa suoraan, että
n m
xn+m = x
| · x{z· · · x})(x
| · x{z· · · x}) = x x .
| · x{z· · · x} = (x
n+m kpl
n kpl
m kpl
Myös muut tutut laskulait voidaan helposti johtaa määritelmästä:
xn+m = xn xm ,
(xn )m = xnm
(xy)n = xn y n ,
ja
(3.2)
missä x, y ∈ R ja n, m ∈ N.
Määritelmä 3.3. Negatiivisille eksponenteille −n, missä n ∈ N, potenssifunktio x−n määritellään asettamalla
x−n =
1
xn
(x 6= 0).
Lisäksi sovitaan, että x0 = 1 kaikilla x 6= 0.
Näin ollaan saatu potenssifunktio f (x) = xn määritellyksi kaikilla n ∈ Z.
Kun n ≤ 0, on f :n määrittelyjoukko R \ {0}.
y
y = x−2 =
2
1
x2
y = x0
1
y = x−1 =
x
x
−1
1
−1
−2
2
32
Insinöörimatematiikka 1u
On melko suoraviivaista todistaa, että laskulait (3.2) ovat voimassa kaikilla
n, m ∈ Z. Tarkastellaan esimerkiksi ensimmäistä lakia tapauksessa n ≥ 0 ja
m < 0:
n kpl





−m 

n−(−m) kpl


z }| {


x · x · · · x,
jos n ≥
x · x···x
x x =
=
= xn+m .
1


,
jos
n
<
−m
x




| · x{z· · · x}
x

| · x{z· · · x}
n m
z
}|
{
−m kpl


−m−n kpl
Potenssifunktio xn , n ∈ N, on aidosti kasvava joukossa x ∈ [0, ∞), jos n on
parillinen ja joukossa x ∈ R, jos n on pariton. Tämä nähdään tarkastelemalla
määritelmän 3.1 tuloa x · x · · · x: ei-negatiivisilla x tulo kasvaa, kun x kasvaa.
Parittomien n tapauksessa negatiivisilla x tulo on negatiivinen ja se kasvaa, kun x kasvaa. Niinpä potenssifunktiolla xn on käänteisfunktio joukossa
[0, ∞), kun n on parillinen ja joukossa R, kun n on pariton.
Määritelmä
3.4. Potenssifunktion xn , n ∈ N, käänteisfunktiota merkitään
√
x1/n tai n x ja sitä kutsutaan juurifunktioksi
(root function). Tapauksessa
√
√
2
n
= 2 juurifunktiota merkitään x = x ja sitä kutsutaan neliöjuureksi.
√
3
x on kuutiojuuri.
√
funktion xn käänteisfunktiona aidosti
Juurifunktio n x on aidosti kasvavan
√
n
n
kasvava (lause 2.15). Koska x ja x ovat toistensa käänteisfunktioita, niin
√
n
y
(3.5)
√
( n y)n = y,
(3.6)
y = xn ⇔ x =
ja
√
n
xn = x
ja
missä parittomilla n x ja y ∈ R ja parillisilla n x ja y ∈ [0, ∞).
√
x on siis yhtälön y = xn ratkaisu eli juuri täsmälleen silloin kun x = n y.
y
√
x = x1/2
√
y = 3 x = x1/3
y=
2
1
x
−3
−2
−1
1
−1
−2
2
3
33
Insinöörimatematiikka 1u
Määritelmä 3.7. Rationaalisille eksponenteille r = m/n, missä n, m ∈ Z ja
n > 0, määritellään
xr = xm/n =
√ m
n
x
,
missä x ∈ R parittomilla n ja x ∈ [0, ∞) parillisilla n. Lisäksi x 6= 0, jos
m < 0.
xr on siis yhdiste funktioista g(x) = x1/n ja f (y) = y m . Tarkastellaan monotonisuutta joukossa x > 0. f on aidosti kasvava, jos m > 0 ja aidosti vähenevä, jos m < 0. g on aidosti kasvava. Niinpä lauseen 2.16 mukaan xr on aidosti
kasvava, kun r > 0 ja aidosti vähenevä, kun r < 0. Seuraavassa kuvassa hahmotellaan potenssifunktion f (x) = xr kuvaajan kulkua eri eksponenttien r
arvoilla joukossa x > 0.
y
r>1
4
r=1
y = xr
3
2
0<r<1
1
r=0
r<0
x
1
2
3
4
Juurifunktion määritelmästä ja ominaisuuksista (3.2) voidaan johtaa laskulait myös rationaalisille eksponenteille r, s ∈ Q:
xr+s = xr xs ,
(xr )s = xrs
(xy)r = xr y r .
ja
Todistus. Todistetaan viimeinen laki kolmessa osassa:
(an )1/n = a = a1/n
(a)
n
kaikilla n ∈ N, sillä an ja a1/n ovat toistensa käänteisfunktioita.
(b)
x1/n y 1/n
n (3.2) =
x1/n
n y 1/n
n (a)
= xy.
Niinpä (korota puolittain potenssiin 1/n ja käytä (a)-kohtaa)
x1/n y 1/n = (xy)1/n .
(3.8)
34
Insinöörimatematiikka 1u
(c) Nyt voidaan laskea
(xy)r = (xy)m/n = (xy)1/n
m (b) = x1/n y 1/n
m (3.2) =
x1/n
m y 1/n
m
= xm/n y m/n = xr y r .
Laskusääntöjen (3.8) nojalla
xm/n = x1/n
m
= (xm )1/n .
(3.9)
Määritelmässä 3.7 vaaditaan, että kummankin yhtälön (3.9) lausekkeen x1/n
m
m 1/n
ja (xm )1/n on oltava määritelty. Jos m ja n ovat
m parillisia, niin lauseke (x )
on määritelty kaikilla x 6= 0, mutta x1/n
ei ole määritelty negatiivisilla
x. Tällöin ei ole järkevää pitää myöskään funktiota xm/n määriteltynä, koska
eksponentin laskusäännöt eivät ole silloin voimassa. Esimerkiksi
1 = 12/2 = 12
1/2
= (−1)2
1/2
= (−1)1 = −1 ?
Syy: funktiot x2 ja x1/2 eivät ole toistensa käänteisfunktioita, kun x < 0. Itse
asiassa
1/2
x2
= |x|.
Esimerkki 3.10. Funktio x2/3 = x1/3
2
on määritelty kaikilla x ∈ R.
y
y = x2/3
x
3.2
Polynomit ja rationaalifunktiot [5, 1.3]
Määritelmä 3.11. n. asteen polynomi (polynomial) p : R → R on muotoa
p(x) = an xn + an−1 xn−1 + · · · + a2 x2 + a1 x + a0
oleva funktio, missä kertoimet (coefficients) a0 , a1 , . . . , an ∈ R ovat vakioita
(ja an 6= 0, jos n > 0).
35
Insinöörimatematiikka 1u
x ∈ R on funktion f nollakohta (zero), jos f (x) = 0. Voidaan osoittaa,
että tapauksessa n > 0 on n. asteen polynomilla p(x) korkeintaan n (reaalista) nollakohtaa. Luvussa 6.5 polynomien määrittelyjoukkoa laajennetaan
kompleksilukuihin. Tällöin nollakohtia on aina n kappaletta.
Esimerkki 3.12. Funktio p(x) = −5x3 +3x−7 on 3. asteen polynomi, jonka
kertoimet ovat a3 = −5, a2 = 0, a1 = 3 ja a0 = −7.
Nollakohtien lukumäärää havainnollistetaan seuraavissa kuvissa. Kolmannen
asteen ponomilla f on a:n arvosta riippuen 1, 2 tai 3 nollakohtaa, kun taas
polynomilla g on kaikilla b täsmälleen yksi nollakohta. Neljännen asteen polynomilla h on c:n arvosta riippuen 0, 1, 2, 3 tai 4 nollakohtaa.
f (x) = x3 − 3x2 + a
y
4
g(x) = x3 + x + b
y
4
x
−2
−4
2
4
h(x) = x4 − 4x2 + x + c
y
4
x
−2
x
2
2
−4
−4
Määritelmä 3.13. Rationaalifunktio (rational function) on muotoa
f (x) =
p(x)
q(x)
oleva funktio, missä p ja q ovat polynomeja. f on määritelty joukossa
{x ∈ R : q(x) 6= 0}.
Esimerkki 3.14. Seuraavassa kuvassa esitetään rationaalifunktion
(x − 2)(x + 1)
x2 − x − 2
f (x) =
= 2
(x − 1)(x + 2)
x +x−2
kuvaaja. Kiinnitä huomiota funktion käyttäytymiseen nimittäjän nollakohtien x = −2 ja x = 1 lähellä.
36
Insinöörimatematiikka 1u
y
4
y=
x2 − x − 2
x2 + x − 2
x
−4
3.3
4
Trigonometriset funktiot ja niiden käänteisfunktiot [5, Appendix C, 1.4 ja 6.8]
Ympyräsektorin kulma (angle) θ määritellään sektorin kaaren pituuden s
suhteena säteeseen r:
r
θ=
s
θ
s
r
Tutkitaan seuraavassa suunnattuja kulmia (directed angles) xy-koordinaatiston origokeskisessä 1-säteisessä ympyrässä eli yksikköympyrässä (unit circle)
siten, että sektorin alkukylki on positiivisella x-akselilla. Jos θ > 0, niin kierretään vastapäivään (positiivinen kiertosuunta), ja jos θ < 0, niin kierretään
myötäpäivään (negatiivinen kiertosuunta). Koska säde = 1, on koko kierros
vastapäivään 2π, puoli kierrosta π ja neljänneskierros π/2. Jos θ > 2π tai
θ < −2π, niin ajatellaan kierretyn useampia kierroksia.
Kulma on yksikötön suure, mutta toisinaan selvyyden vuoksi käytetään
yksikkönä radiaania (radian), jolloin yksi kierros on 2π rad. Kulman yksikkönä käytetään myös astetta (degree), jolloin yksi kierros on 360◦ . Niinpä
1 rad = 180◦ /π
eli
1◦ = π/180 rad.
Seuraavaan on taulukoitu joitakin vastaavuuksia:
Radiaanit
Asteet
0
0◦
π/6
30◦
π/4
45◦
π/3
60◦
π/2
90◦
2π/3
120◦
3π/4
135◦
5π/6
150◦
π
180◦
3π/2
270◦
2π
360◦
37
Insinöörimatematiikka 1u
Määritelmä 3.15. Merkitään yksikköympyrässä kulmaa θ vastaavaa kehäpistettä (x, y). Määritellään sini (sine) ja kosini (cosine) seuraavina funktioina:
sin : R → R, sin(θ) = y ja
cos : R → R, cos(θ) = x.
sin(θ) on siis kehäpisteen y-koordinaatti ja cos(θ) x-koordinaatti:
y
(cos θ, sin θ)
θ
1
x
Jos sekaannuksen vaaraa ei ole, niin voidaan merkitä lyhyesti sin(θ) = sin θ
ja (sin(θ))n = sinn θ (cos ja tan vastaavasti). Yksikköympyrästä päätellään
sinin ja kosinin nollakohdat:
sin θ = 0 ⇔ θ = nπ
(n ∈ Z)
cos θ = 0 ⇔ θ = π/2 + nπ (n ∈ Z)
(3.16)
Määritelmä 3.17. Määritellään tangentti (tangent) funktiona
tan : R \ {π/2 + nπ : n ∈ Z} → R, tan θ =
sin θ
.
cos θ
xy-taso jaetaan 1.–4. koordinaattineljännekseen, joilla tarkoitetaan seuraavia
joukkoja:
38
Insinöörimatematiikka 1u
y
2. neljännes
x≤0
y≥0
1. neljännes
x≥0
y≥0
x
3. neljännes
x≤0
y≤0
4. neljännes
x≥0
y≤0
Trigonometristen funktioiden merkit eri koordinaattineljänneksiä vastaavilla
kulmilla voidaan koota seuraaviksi kaavioiksi:
cos
sin
tan
+
+
−
+
−
+
−
−
−
+
+
−
Pythagoras’n lauseen sovelluksena saadaan trigonometrian peruskaava
sin2 θ + cos2 θ = 1.
(3.18)
Kulmilla 0 < θ < π/2 edellä asetetut trigonometristen funktioiden määritelmät yhtyvät koulutrigonometrian suorakulmaisen kolmion avulla asetettuihin määritelmiin:
y
=y
1
x
cos θ = = x
1
y
tan θ =
x
sin θ =
1
y
θ
x
39
Insinöörimatematiikka 1u
Siten välillä 0 ≤ θ ≤ π/2 joitakin trigonometristen funktioiden arvoja voidaan päätellä sopivasta suorakulmaisesta kolmiosta, kuten vaikkapa seuraavasta koululaisen kolmiosta eli muistikolmiosta. Siinä lähtökohta on tasasivuinen kolmio, jonka jokaisen sivun pituus on 2 ja jokainen kulma on π/3 = 60◦ .
π
6
√
3
2
2
π
π
1
= cos =
6
3
2
√
π
π
3
sin = cos =
3
6
2
sin
π
3
1
1
Jos kulma ei ole välillä 0 ≤ θ ≤ π/2, niin trigonometrisen funktion arvon
laskeminen voidaan palauttaa tälle välille seuraavien palautuskaavojen avulla.
sin(θ + 2nπ) = sin θ
(n ∈ Z)
cos(θ + 2nπ) = cos θ
(n ∈ Z)
tan(θ + nπ) = tan θ
(n ∈ Z)
sin(−θ) = − sin θ
cos(−θ) = cos θ
sin(π + θ) = − sin θ
cos(π + θ) = − cos θ
cos θ = − sin(θ − π/2) = sin(π/2 − θ)
sin θ = cos(θ − π/2) = cos(π/2 − θ)
(3.19)
Kaavat voidaan päätellä yksikköympyrästä, sillä esimerkiksi
• kulmia θ ja θ + 2πn vastaa samaa kehäpiste kaikilla n ∈ Z ja
• kulmia θ ja −θ vastaavilla kehäpisteillä on sama x-koordinaatti mutta
y-koordinaatit ovat toistensa vastalukuja.
Esimerkki 3.20. Laske cos
2π
.
3
Ratkaisu. Kulma 2π/3 on toisessa koordinaattineljänneksessä ja sen kosinin
40
Insinöörimatematiikka 1u
laskeminen palautuu ensimmäiseen neljännekseen ja muistikolmioon palautuskaavojen avulla seuraavasti:
π
2π
= cos π −
cos
3
3
π
= − cos −
3
= − cos
π
3
1
=− .
2
Vaihtoehtoinen tapa on piirtää suorakulmainen kolmio yksikköympyrän toiseen neljännekseen ja päätellä palauttaminen kulmaan π/3 suoraan siitä:
y
(x, y)
1
2π
3
π
3
a
1
x
Vertaamalla muistikolmioon nähdään, että a = 1/2, joten kehäpisteen xkoordinaatti x = cos(2π/3) = −1/2.
Esimerkki 3.21. Ratkaise yhtälö 3 sin2 x − cos2 x = 2 välillä x ∈ [0, π].
Ratkaisu. Koska cos2 x = 1 − sin2 x, niin yhtälö saadaan muotoon
√
3
3
2
2
2
2
⇔ sin x = ±
.
3 sin x − 1 + sin x = 2 ⇔ 4 sin x = 3 ⇔ sin x =
4
2
√
Ko. välillä sini on ei-negatiivinen, joten riittää hakea yhtälön sin x = 3/2
kaikki ratkaisut, jotka ovat x = π/3 ja x = 2π/3.
Palautuskaavojen mukaan trigonometriset funktiot ovat jaksollisia, sinin ja
kosinin jaksona 2π, tangentin jaksona π. Yksikköympyrän avulla voidaan
piirtää trigonometristen funktioiden kuvaajat:
y
1
y = sin x
π
−π
−1
y = cos x
x
2π
3π
41
Insinöörimatematiikka 1u
y
y = tan x
x
π
−π
2π
Kurssikirjan [5] liiteen C tehtävissä 41 ja 42 hahmotellaan seuraavien summakaavojen todistukset.
Lause 3.22 (Summakaavat).
sin(θ + φ) = sin θ cos φ + cos θ sin φ
cos(θ + φ) = cos θ cos φ − sin θ sin φ
Summakaavojen, palautuskaavojen ja peruskaavan avulla voidaan johtaa lukuisa määrä taulukkokirjoissa lueteltuja trigonometrisiin funktioihin liittyviä
kaavoja, kuten
1
sin2 θ = (1 − cos(2θ))
2
(3.23)
1
2
cos θ = (1 + cos(2θ))
2
Joskus sinin, kosinin ja tangentin käänteisluvuille käytetään nimityksiä kosekantti, sekantti ja kotangentti, ja merkitään
csc θ =
1
,
sin θ
sec θ =
1
,
cos θ
cot θ =
1
cos θ
=
.
tan θ
sin θ
Koska trigonometriset funktiot ovat jaksollisia, on niistä kullakin käänteisfunktio vain rajoittumalla sellaiselle määrittelyjoukon osavälille, jolla funktio
on aidosti monotoninen.
42
Insinöörimatematiikka 1u
Määritelmä 3.24. Seuraavilla väleillä määritellään trigonometristen funktioiden käänteisfunktiot arkussini, arkuskosini ja arkustangentti. Älä sekoita
jälkimmäisiä merkintöjä eksponenttiin −1!
Funktio
Käänteisfunktio
sin : [−π/2, π/2] → [−1, 1] arcsin = sin−1 : [−1, 1] → [−π/2, π/2]
cos : [0, π] → [−1, 1]
arccos = cos−1 : [−1, 1] → [0, π]
tan : (−π/2, π/2) → R
arctan = tan−1 : R → (−π/2, π/2)
Muuttuja merkitään trigonometristen funktioiden tapaan yleensä ilman sulkuja, esimerkiksi arctan(x) = arctan x.
Koska sin(x) ja arcsin(x) ovat toistensa käänteisfunktioita, niin
y = sin(x) ⇔ x = arcsin(y)
(3.25)
ja
arcsin(sin(x)) = x ja
sin(arcsin(y)) = y
(3.26)
kaikilla x ∈ [−π/2, π/2] ja y ∈ [−1, 1]. Kirjoita vastaavat tulokset kosinille
ja tangentille! Koska funktion ja käänteisfunktion kuvaajat ovat peilikuvia
suoran y = x suhteen, niin arkusfunktioiden kuvaajat ovat seuraavan näköisiä:
y
y
π
2
π
π
2
x
−1
−
1
π
2
y = arcsin x
π
2
x
x
−1
y
−
1
y = arccos x
π
2
y = arctan x
1
1
Esimerkki 3.27. Laske a) arcsin
b) arcsin −
2
2
√ !
3
c) arccos −
2
Ratkaisu. a) On löydettävä se kulma θ ∈ [−π/2, π/2], jolle sin θ = 1/2.
Suoraan muistikolmiosta nähdään, että θ = π/6, joten
arcsin
1
π
= .
2
6
43
Insinöörimatematiikka 1u
1
π
b) Kohdan a ja sinin määritelmän mukaan arcsin −
=− .
2
6
√
c)
cos θ = − 3/2. Koska cos(π/6) =
√ On löydettävä se kulma θ ∈ [0, π], jolle √
3/2, niin cos(π − π/6) = cos(5π/6) = − 3/2. Niinpä
√ !
5π
3
=
.
arccos −
2
6
3.4
Eksponentti- ja logaritmifunktiot [5, 1.4 ja 3.8]
Määritelmä 3.28. Eksponenttifunktioksi (exponential function) kutsutaan
funktiota
f (x) = ax ,
missä kantaluku (base) a > 0.
Potenssifunktiosta todetun perusteella eksponenttifunktio on määritelty kaikilla eksponenteilla x ∈ Q. Kertauksena: jos a > 0, niin eksponenttifunktio
ax määritellään asettamalla
a0 = 1,
ax = a
| · a{z· · · a},
kun x ∈ N,
x kpl
1
,
kun x ∈ Z− ,
a−x
√
m
ax = (am )1/n = n am , kun x =
∈ Q, missä n ∈ N,
n
ax =
ja sille pätevät seuraavat laskusäännöt (x, y ∈ Q):
ax+y = ax ay ,
(ax )y = axy
ja
a−x =
1
.
ax
(3.29)
Lause 3.30. Eksponenttifunktio f : Q → R, f (x) = ax on
(1) aidosti kasvava, jos a > 1,
(2) aidosti vähenevä, jos 0 < a < 1,
(3) vakio = 1, jos a = 1.
Todistus. (1) Olkoon ensin x > 0 ja merkitään x = m/n, missä m, n ∈ N.
Koska am ≥ a > 1 ja y 1/n on aidosti kasvava, niin
ax = am/n = (am )1/n > 11/n = 1.
44
Insinöörimatematiikka 1u
Olkoon nyt x, y ∈ Q, y > x. Silloin y − x > 0 ja edellä todetun perusteella
ay−x > 1 ja siten
ay = ax+(y−x) = ax ay−x > ax .
(2) todistetaan vastaavasti ja (3) on selvä.
Eksponenttifunktion f (x) = ax kuvaaja eri a:n arvoilla:
y
0<a<1
a>1
a=1
x
Eksponenttifunktion määrittelyn laajentaminen koko reaalilukujen joukkoon
tehdään asettamalla
ax = lim ar ,
(3.31)
r∈Q, r→x
kun x ∈ R on irrationaalinen. Tämän raja-arvon olemassaolo vaatii reaalilukujen täydellisyysaksiooman (ks. [5, Appendix E]) käyttöä. Tarkemman
tarkastelun sivuutamme. Voidaan osoittaa, että näin määritellylle eksponenttifunktiolle f : R → R, f (x) = ax laskulait (3.29) pätevät kaikilla x ja y ∈ R.
Kun a 6= 1, niin f on aidosti monotoninen koko reaalilukujen joukossa ja f :n
arvojoukko on f (R) = (0, ∞).
Esimerkki 3.32. Tarkastellaan lukua 2π . π = 3,141592 · · · on irrationaaliluku, jota voidaan approksimoida rationaaliluvuilla
r1 = 3,
r2 = 3,1,
r3 = 3,14,
r4 = 3,141,
....
Luvulle 2π saadaan rationaalisia eksponentteja käyttäen arviot
23 = 8,
23,1 = 8,574187 · · · ,
23,14 = 8,815240 · · · ,
23,141 = 8,821353 · · ·
ja lopulta raja-arvona saadaan 2π = lim 2rn = 8,824977 · · · .
n→∞
Tässä esimerkissä ja seuraavassa lemmassa esiintyy lukujonoja ja niiden rajaarvoja, joita käsittelemme tarkemmin opintojaksolla Insinöörimatematiikka
3u.
45
Insinöörimatematiikka 1u
Lemma 3.33. Lukujono (an ), missä
an = 1 +
1
n
n
,
on aidosti kasvava ja sillä on raja-arvo, jolle käytetään merkintää e:
e = n→∞
lim 1 +
1
n
n
= 2,71828 . . . .
1
Lisäksi myös lukujono (bn ), missä bn = 1 −
n
1
1
= n→∞
lim 1 −
e
n
n
, on aidosti kasvava ja
n
.
Lukua e kutsutaan Neperin luvuksi. Sillä on erityisasema eksponenttifunktion
kantalukuna.
Määritelmä 3.34. Funktiota ex = exp(x) kutsutaan luonnolliseksi eksponenttifunktioksi.
Eksponenttifunktio ax on aidosti monotoninen, kun a 6= 1, joten sillä on
käänteisfunktio.
Määritelmä 3.35. Olkoon a > 0 ja a 6= 1. Funktion f : R → (0, ∞), f (x) =
ax , käänteisfunktiota f −1 : (0, ∞) → R kutsutaan a-kantaiseksi logaritmifunktioksi (base a logarithm function) ja sitä merkitään f −1 (x) = loga x.
Koska ax ja loga x ovat toistensa käänteisfunktioita, niin
y = ax ⇔ x = loga y
(3.36)
ja
loga (ax ) = x
ja
aloga y = y
kaikilla x ∈ R ja kaikilla y ∈ (0, ∞). Lauseista 3.30 ja 2.15 seuraa:
Lause 3.38. Logaritmifunktio loga x
(1) on aidosti kasvava, jos a > 1,
(2) on aidosti vähenevä, jos 0 < a < 1,
(3) ei ole määritelty, jos a = 1.
(3.37)
46
Insinöörimatematiikka 1u
Koska a0 = 1, on loga 1 = 0 kaikilla a. Seuraavaan kuvaan on hahmoteltu
loga :n kuvaaja eri a:n arvoilla. Vertaa vastaavaan eksponenttifunktion ax
kuvaajaan; kuvaajat ovat peilikuvia suoran y = x suhteen.
y
a>1
x
1
0<a<1
Määritelmä 3.39. Luonnollisen eksponenttifunktion ex käänteisfunktiota
loge x kutsutaan luonnolliseksi logaritmiksi (natural logarithm) ja sitä merkitään ln x = log x = loge x. Kymmenkantaista logaritmifunktiota kutsutaan
Briggsin logaritmiksi ja sitä merkitään lg x = log10 x.
Kun jatkossa puhutaan pelkästä eksponenttifunktiosta tai logaritmifunktiosta täsmentämättä kantalukua, niin tarkoitetaan aina funktioita ex ja ln x,
joille pätee
(3.40)
ln(ex ) = x ja eln y = y
kaikilla x ∈ R ja kaikilla y ∈ (0, ∞).
Ominaisuuksista (3.29) seuraa logaritmille seuraavat laskulait (x, y > 0):
loga (xy) = loga x + loga y
loga (xy ) = y loga x
x
loga = loga x − loga y
y
Todistetaan kaavoista ensimmäinen luonnolliselle logaritmille: koska
xy = eln(xy)
ja toisaalta xy = eln x eln y = eln x+ln y ,
niin
eln(xy) = eln x+ln y .
(3.41)
47
Insinöörimatematiikka 1u
Eksponenttifunktion aidosta kasvavuudesta seuraa, että on oltava
ln(xy) = ln x + ln y.
a-kantaisten eksponentti- ja logaritmifunktioiden käsittely voidaan palauttaa
e-kantaisiksi kaavoilla
ax = ex ln a
ja
loga x =
ln x
.
ln a
(3.42)
Näistä ensimmäinen voidaan perustella suoralla laskulla
ax = eln a
x
= ex ln a .
Toinen saadaan ottamalla yhtälöstä x = aloga x luonnollinen logaritmi puolittain ja käyttämällä kaavoja (3.41):
ln x = ln aloga x = loga x ln a.
Logaritmeja käsiteltäessä voi toisinaan auttaa kaavojen (3.37) pukeminen
seuraavaan muotoon: luku x = loga y on se luku, johon a pitäisi korottaa,
jotta saadaan y.
Esimerkki 3.43. Laske a) log5 125 b) log4 8
c) log2 10 + log2 12 − log2 15
Ratkaisu. a) 53 = 125, joten log5 125 = 3.
b) Tässä ratkaisua ei nähdä yhtä helposti suoraan, mutta voidaan muokata
log4 8 = log4 23 = 3 log4 2 = 3 ·
Tarkistetaan vielä:
43/2 = 41/2
3
3
1
= .
2
2
= 23 = 8.
c) Logaritmin laskusäännöillä saadaan
log2 10 + log2 12 − log2 15 = log2 (10 · 12) − log2 15 = log2
10 · 12
= log2 8 = 3.
15
Luvussa 3.1 määriteltiin potenssifunktio f (x) = xr (x > 0) rationaalisille
ekponenteille r ∈ Q. Eksponenttifunktion avulla määritelmä voidaan yleistää
kaikille reaalilukueksponenteille.
Määritelmä 3.44. Olkoon a ∈ R. Määritellä yleinen potenssifunktio xa
asettamalla
a
xa = eln x = ea ln x
(x > 0).
48
Insinöörimatematiikka 1u
3.5
Hyperboliset funktiot ja niiden käänteisfunktiot [5,
6.8]
Monissa sovelluksissa esiintyy seuraavia funktioiden ex ja e−x kombinaatioita,
joille annetaan omat nimensa käsittelyn helpottamiseksi.
Määritelmä 3.45. Määritellään hyperbolinen sini sinh ja hyperbolinen kosini cosh asettamalla
sinh x =
ex − e−x
2
ja
cosh x =
ex + e−x
2
sekä edelleen hyperbolinen tangentti
tanh x =
sinh x
ex − e−x
= x
cosh x
e + e−x
kaikilla x ∈ R.
Hyperbolisten funktioiden kulku on hahmoteltu seuraavaan kuvaan. Hyperbolisen sinin arvojoukko on R, hyperbolisen kosinin [1, ∞) ja hyperbolisen
tangentin (−1, 1).
y
y = cosh x
y = sinh x
1
y = tanh x
x
−1
Esimerkki 3.46. Ratkaise yhtälö sinh x = 3.
Ratkaisu. Sopivasti muokkaamalla ja käyttämällä toisen asteen yhtälön rat-
49
Insinöörimatematiikka 1u
kaisukaavaa muuttujalle t = ex > 0 saadaan
⇔
⇔
⇔
⇔
ex − e−x
=3
2
ex − 6 − e−x = 0 | · ex
(ex )2 − 6ex − 1 = 0
√
√
6 + 40
x
e =
= 3 + 10
2 √
x = ln(3 + 10) ≈ 1,8184
Hyperbolisille funktioille pätee monia samantapaisia kaavoja kuin trigonometrisille funktioille, kuten
cosh2 x − sinh2 x = 1,
(3.47)
joka perustellaan suoralla laskulla sijoittamalla cosh x:n ja sinh x:n määritelmät vasemman puolen lausekkeeseen. sinh ja tanh ovat aidosti kasvavia
R:ssä ja cosh joukossa [0, ∞), joten niillä on ko. joukoissa käänteisfunktiot.
Määritelmä 3.48. Seuraavilla väleillä määritellään hyperbolisten funktioiden käänteisfunktiot, joita kutsutaan areafunktioiksi. Älä sekoita jälkimmäisiä merkintöjä eksponenttiin −1!
Funktio
sinh : R → R
cosh : [0, ∞) → [1, ∞)
tanh : R → (−1, 1)
Käänteisfunktio
ar sinh = sinh−1 : R → R
ar cosh = cosh−1 : [1, ∞) → [0, ∞)
ar tanh = tanh−1 : (−1, 1) → R
Merkitään y = ar sinh x,√ts. x = sinh y. Menettelemällä kuten esimerkissä
3.46 saadaan y = ln(x + x2 + 1). Vastaavalla tavoin saadaan logaritmiesitykset myös ar cosh:lle ja ar tanh:lle:
√
x2 + 1 (x ∈ R)
√
ar cosh x = ln x + x2 − 1 (x ≥ 1)
1
1+x
ar tanh x = ln
(−1 < x < 1)
2
1−x
ar sinh x = ln x +
3.6
(3.49)
Esimerkkejä
Esimerkki 3.50. Tarkastellaan muutamaa yksinkertaisinta tapaa muokata funktiota y = f (x) ja muokkaamisen merkitystä geometrisesti. Kuvissa
50
Insinöörimatematiikka 1u
esimerkiksi on otettu funktio y =
kuvaajan kulku!
Funktio
√
x välillä 0 ≤ x ≤ 2. Perustele kunkin
Operaatio
Esimerkki
y
y=
√
x
1
y = f (x)
x
y=
y = f (−x)
√
1
y
−x
1
Peilaus y-akselin suhteen.
x
−1
y
x
y = −f (x)
1
Peilaus x-akselin suhteen.
−1
√
y=− x
y
y=
q
x+
1
2
1
y = f (x + a) Siirto x-suunnassa.
x
−1
1
y
y=
1
√
y = f (x) + a Siirto y-suunnassa.
x−
x
1
−1
y
y = f (ax)
(a > 0)
Skaalaus x-suunnassa.
y=
√
2x
1
x
1
1
2
51
Insinöörimatematiikka 1u
y
y = af (x)
(a > 0)
y=
1
Skaalaus y-suunnassa.
1√
2 x
x
1
Esimerkki 3.51. Seuraavissa havainnollistetaan sinifunktion avulla edellisen esimerkin operaatioita ja niiden yhdistämistä sekä funktioiden kertomista
ja yhdistämistä. Perustele kunkin kuvaajan kulku!
f (x) = sin x
f (x) = sin x + 1, siirto y-suunnassa
2
2
0
0
−2
−2
−π
0
π
2π
−π
3π
f (x) = sin(x + 1), siirto x-suunnassa
eli vaihesiirto
2
0
0
−2
−2
0
π
2π
−π
3π
f (x) = sin(2x), taajuuden säätö
2
0
0
−2
−2
f (x) =
0
π
2π
−π
3π
sin(x2 )
f (x) =
2
2
0
0
−2
−2
−2π
−π
0
π
2π
3π
0
π
2π
3π
π
2π
3π
0
π
f (x) = 2 sin(2x + 1)
2
−π
π
f (x) = 2 sin x, amplitudin säätö
2
−π
0
2π
−2π
0
sin2 x
−π
2π
52
Insinöörimatematiikka 1u
f (x) = x2 sin x
f (x) = sin(1/x)
2
50
0
0
−2
−50
−2π
−π
π
0
x2
−x2
−2π
2π
−π
0
π
2π
Esimerkki 3.52. Talletetaan 5 000 e 8 %:n vuotuisella korolla.
a) Mikä on pääoma f (x) x vuoden kuluttua?
x
0
1
2
3
f (x)
5000
5 000 · 1,08
(5 000 · 1,08) · 1,08 = 5 000 · 1,082
(5 000 · 1,082 ) · 1,08 = 5 000 · 1,083
Huomataan, että yleisesti f (x) = 5 000 · 1,08x .
b) Mikä on pääoma 4 vuoden ja 3 kuukauden kuluttua? Käyttämällä edellä
saatua funktiota saadaan
3
3
f 4
= 5 000 · 1,084 12 ≈ 6 935,
12
eli noin 6 935 e.
c) Milloin pääoma on 1 000 000 e?
5 000 · 1,08x = 106
106
x
| ln(·)
1,08 =
5 000
!
106
x ln(1,08) = ln
5 000
x=
ln
106
5 000
ln(1,08)
≈ 69
Noin 69 vuoden kuluttua.
Määritelmä 3.53. Reaalifunktio f on parillinen, jos f (−x) = f (x) kaikilla
x ja pariton, jos f (−x) = −f (x) kaikilla x.
Geometrisesti parillisuus tarkoittaa sitä, että funktion kuvaaja on symmetrinen y-akselin suhteen. Esimerkiksi cos x, 1, x2 , x4 ja x6 ovat parillisia funktioita. Parittomuus taas tarkoittaa, että funktion kuvaaja on symmetrinen
origon suhteen. Esimerkiksi sin x, tan x, x, x3 ja x5 ovat parittomia funktioita. On huomattava, että funktio ei ”yleensä” ole parillinen eikä pariton.
53
Insinöörimatematiikka 1u
y
y
x
x
parillinen funktio
pariton funktio
Esimerkki 3.54. a) Osoita, että f (x) = x2 sin x on pariton.
Ratkaisu. Suoralla laskulla nähdään, että
f (−x) = (−x)2 sin(−x) = x2 (− sin x) = −x2 sin x = −f (x)
kaikilla x.
b) Onko f (x) = (x + 1)2 parillinen tai pariton?
Ratkaisu. Koska esimerkiksi f (−1) = 0 ja f (1) = 4, niin f ei ole parillinen
eikä pariton.
4
Funktion raja-arvo ja jatkuvuus [5, 2.1–2.4,
4.7]
Raja-arvo on tärkein peruskäsite analyysiksi kutsutulla matematiikan osaalueella. Raja-arvon avulla määritellään mm. sellaiset keskeiset käsitteet ja
työkalut kuten jatkuvuus, derivaatta ja integraali. Tässä luvussa tavoitteena
on oppia laskemaan sekä äärellisiä että äärettömiä raja-arvoja ja tutkimaan,
onko funktio jatkuva.
4.1
Raja-arvon määritelmä ja perusominaisuudet
Intuitiivisesti määriteltynä funktiolla f on raja-arvo L ∈ R pisteessä a, jos
x:n lähestyessä pistettä a arvot f (x) lähestyvät lukua L. Tällaisella löysällä
määritelmällä ei kuitenkaan saada aikaan käyttökelpoista työkalua. Ennen
tarkkoja määritelmiä esimerkissä 4.1 käydään läpi erityyppisiä tapauksia siitä, miten funktion f arvot voivat käyttäytyä lähellä pistettä 0 ja mihin rajaarvon määritelmien (4.3, 4.16, 4.22 ja 4.24) tulisi ottaa kantaa.
Esimerkki 4.1. a) f (x) = x2 − 1 lähestyy lukua −1, kun x lähestyy nollaa.
f :llä on pisteessä 0 raja-arvo −1.
54
Insinöörimatematiikka 1u
y
f (x) = x2 − 1
x

kun x > 0,
|x| 1,
b) f (x) =
=
x
−1, kun x < 0,
lähestyy lukua 1, kun x lähestyy nollaa oikealta ja lukua −1, kun x lähestyy
nollaa vasemmalta. f :llä on pisteessä 0 vain toispuoleiset raja-arvot.
y
f (x) =
|x|
x
x
c) f (x) = 1/x2 kasvaa rajatta, kun x lähestyy nollaa. f :llä on pisteessä 0
vain epäoleellinen raja-arvo ∞.
y
f (x) =
1
x2
x
d) f (x) = 1/x kasvaa rajatta, kun x lähestyy nollaa oikealta ja pienenee
rajatta, kun x lähestyy nollaa vasemmalta. f :llä on pisteessä 0 vain toispuoleiset epäoleelliset raja-arvot −∞ ja ∞.
55
Insinöörimatematiikka 1u
y
f (x) =
1
x
x
e) f (x) = sin(1/x) heilahtelee −1:n ja 1:n välissä, kun x lähestyy nollaa.
f :llä ei ole pisteessä 0 raja-arvoa.
y
f (x) = sin
1
x
x
Määritelmä 4.2. Pisteen a ∈ R sisältävää avointa väliä (c, d) kutsutaan a:n
ympäristöksi (neighborhood) ja ja joukkoa (c, a) ∪ (a, d) pisteen a punkteeratuksi ympäristöksi.
c a
d
x
c a
d
x
a:n punkteerattu ympäristö
a:n ympäristö
Määritelmä 4.3. Olkoon reaalifunktio f määritelty jossakin pisteen a punkteeratussa ympäristössä. Funktiolla f on raja-arvo (limit) L ∈ R pisteessä
a, jos jokaisella > 0 on olemassa δ > 0 siten, että |f (x) − L| < aina kun
0 < |x − a| < δ, ts.
∀ > 0 ∃δ > 0 : 0 < |x − a| < δ ⇒ |f (x) − L| < .
Tällöin merkitään
L = x→a
lim f (x)
tai
f (x) → L, kun x → a.
56
Insinöörimatematiikka 1u
y
y = f (x)
L+
L
L−
a−δ
a
x
a+δ
Tällä määritelmällä saadaan ilmaistua täsmällisesti sanonnat ”x lähellä a:ta”
(0 < |x − a| < δ) ja ”f (x) lähellä L:ää” (|f (x) − L| < ). f voi olla tai voi
olla olematta määritelty pisteessä a, sillä ehto 0 < |x − a| takaa, että x 6= a
eikä funktion arvoa siten lasketa pisteessä a.
Kerrataan kolmioepäyhtälö, jota tarvitaan monissa seuraavista todistuksista.
Lause 4.4 (Kolmioepäyhtälöitä reaaliluvuille). Kaikille x ja y ∈ R pätee
(1) |x + y| ≤ |x| + |y|
(2) |x − y| ≤ |x| + |y|
(3) |x| − |y| ≤ |x − y|
Todistus. (1) Itseisarvon määritelmän mukaan x = −|x| tai x = |x|, joten
−|x| ≤ x ≤ |x|.
Vastaavasti
−|y| ≤ y ≤ |y|.
Laskemalla nämä epäyhtälöt puolittain yhteen saadaan
−(|x| + |y|) ≤ x + y ≤ |x| + |y|,
joten |x + y| ≤ |x| + |y|.
(2) Toinen lauseen epäyhtälö seuraa ensimmäisestä:
|x − y| = |x + (−y)| ≤ |x| + | − y| = |x| + |y|.
57
Insinöörimatematiikka 1u
(3) Myös kolmas epäyhtälö seuraa ensimmäisestä:
|x| = |(x − y) + y| ≤ |x − y| + |y|,
joten |x| − |y| ≤ |x − y|. Vaihtamalla tässä x:n ja y:n roolit saadaan
|y| − |x| ≤ |y − x| = |x − y|,
josta |x| − |y| ≥ −|x − y|. Siten |x| − |y| ≤ |x − y|.
Seuraavan lauseen raja-arvon peruslaskusääntöjen mukaan summan rajaarvo on raja-arvojen summa, tulon raja-arvo on raja-arvojen tulo ja osamäärän raja-arvo on raja-arvojen osamäärä:
Lause 4.5. Jos x→a
lim f (x) = L ja x→a
lim g(x) = M , niin
(1) x→a
lim f (x) ± g(x) = L ± M ,
(2) x→a
lim f (x)g(x) = LM ,
L
f (x)
=
, jos M 6= 0.
x→a g(x)
M
(3) lim
Todistus. Todistetaan (1) summalle f (x) + g(x). Olkoon > 0. Koska
L = x→a
lim f (x)
ja
M = x→a
lim g(x),
niin on olemassa δ1 > 0 ja δ2 > 0 siten, että
|f (x) − L| <
2
(4.6)
kun 0 < |x − a| < δ1 ja
(4.7)
2
kun 0 < |x − a| < δ2 . Jos valitaan δ = min{δ1 , δ2 }, niin sekä (4.6) että (4.7)
ovat voimassa, kun 0 < |x − a| < δ. Niinpä
|g(x) − M | <
|(f (x) + g(x)) − (L + M )| = |(f (x) − L) + (g(x) − M )|
≤ |f (x) − L| + |g(x) − M |
≤ + = ,
2 2
kun 0 < |x − a| < δ. Siten summalla f (x) + g(x) on pisteessä a raja-arvo
L + M.
58
Insinöörimatematiikka 1u
n
Seuraus 4.8. lim f (x)
x→a
n
=
lim f (x)
x→a
kaikilla n ∈ N.
Todistus. Todistetaan väite induktiolla.
(1) Alkuaskel. Tapauksessa n = 1 väite on selvästikin tosi.
(2) Induktioaskel. Oletetaan, että kaava pätee arvolla n = k:
k
k
lim f (x) =
lim f (x)
x→a
.
x→a
Silloin
lim f (x)k+1 = lim f (x)f (x)k
x→a
x→a
L. 4.5 (2)
=
lim f (x) lim f (x)k
x→a
x→a
k
= lim f (x) lim f (x)
=
x→a
x→a
k+1
lim f (x)
x→a
.
Niinpä kaava pätee myös n:n arvolla n = k + 1.
Esimerkki 4.9. Seuraavassa tarvitaan kaikkia lauseen 4.5 kohtia (sekä havaintoja lim x = a ja lim c = c, kun c = vakio):
x→a
x→a
2 · 33 − 7
47
2x3 − 7
=
= .
x→3 5x + 3
5·3+3
18
lim
Esimerkki 4.10. a) Seuraavassa lausetta 4.5 ei voida suoraan soveltaa muodon 0/0 vuoksi ennen funktion muokkausta:
x2 + 2x − 3
(x − 1)(x + 3)
(x − 1)
= lim
= lim
= 4.
2
x→−3 x + 5x + 6
x→−3 (x + 2)(x + 3)
x→−3 (x + 2)
lim
b) Raja-arvoa
1
x→2 2 − x
ei ole olemassa, sillä funktion itseisarvo kasvaa rajatta, kun x → 2.
lim
Lause 4.11. lim
x→a
√
x=
√
a
59
Insinöörimatematiikka 1u
Todistus. Koska

x − 2a + a = x − a, kun x > a
√
√ √
√
( x − a)2 = x − 2 x a + a ≤
x − 2x + a = a − x, kun x < a
= |x − a|,
niin
q
√
√
| x − a| ≤ |x − a|.
√
√
Niinpä annetulle > 0 pätee | x− a| < , kun 0 < |x−a| < 2 . Raja-arvon
määritelmässä voidaan siis valita δ = 2 .
Lause 4.12. Olkoon lim g(x) = L ja lim f (y) = f (L). Silloin
x→a
y→L
lim f (g(x)) = f lim g(x) = f (L).
x→a
x→a
Todistus. Olkoon > 0. Silloin on olemassa δ1 > 0 siten, että
0 < |y − L| < δ1 ⇒ |f (y) − f (L)| < ja edelleen δ > 0 siten, että
0 < |x − a| < δ ⇒ |g(x) − L| < δ1 .
Jos merkitään y = f (x), niin edellä mainituista seuraa
0 < |x − a| < δ ⇒ |f (g(x)) − f (L)| < .
Esimerkki 4.13. a) Lauseista 4.11 ja 4.12 seuraa, että
lim
x→5
√
2x2 − 1 =
r
b) Tutkitaan raja-arvoa
lim (2x2 − 1) =
x→5
√
√
49 = 7.
x+4−2
.
x→0
x
Suora sijoitus ei onnistu (muoto 0/0),
√ mutta funktiota voidaan muokata sopivasti laventamalla lausekkeella x + 4 + 2:
√
x+4−2
(x + 4) − 4
1
1
= √
=√
→ , kun x → 0.
x
4
x( x + 4 + 2)
x+4+2
lim
60
Insinöörimatematiikka 1u
Lause 4.14 (Kuristusperiaate, squeeze law). Olkoon f (x) ≤ g(x) ≤ h(x)
kaikilla x 6= a jossakin a:n ympäristössä ja oletetaan, että
lim f (x) = L = x→a
lim h(x).
x→a
Silloin on olemassa lim g(x) = L.
x→a
Esimerkki 4.15. Funktiolla
g(x) = x sin
1
x
on raja-arvo 0 pisteessä 0, sillä
−|x| ≤ x sin
1
≤ |x|
x
ja f (x) = −|x| → 0 ja h(x) = |x| → 0, kun x → 0.
y
h(x) = |x|
g(x) = x sin
x
f (x) = −|x|
1
x
61
Insinöörimatematiikka 1u
4.2
Toispuoleiset raja-arvot
Määritelmä 4.16. Olkoon reaalifunktio f määritelty joukossa (a, d). Funktiolla f on oikeanpuoleinen raja-arvo L ∈ R pisteessä a, jos
∀ > 0 ∃δ > 0 : a < x < a + δ ⇒ |f (x) − L| < .
Tällöin merkitään
L = lim f (x)
f (x) → L, kun x → a + .
tai
x→a+
Jos reaalifunktio f on määritelty joukossa (c, a), niin funktiolla f on vasemmanpuoleinen raja-arvo L ∈ R pisteessä a, jos
∀ > 0 ∃δ > 0 : a − δ < x < a ⇒ |f (x) − L| < .
Tällöin merkitään
L = lim f (x)
f (x) → L, kun x → a − .
tai
x→a−
Lause 4.17. Olkoon reaalifunktio f määritelty a:n punkteeratussa ympäristössä. Tällöin
L = lim f (x)
x→a
jos ja vain jos
lim f (x) = L = lim f (x).
x→a−
x→a+
Esimerkki 4.18. a) Funktiolla
f (x) =

 x2
− 1, kun x < 1,
2 − x,
kun x > 1,
on toispuoleiset raja-arvot
lim f (x) = 0
ja
x→1−
lim f (x) = 1,
x→1+
joten ei ole olemassa raja-arvoa lim f (x).
x→1
y
1
x
1
y = f (x)
62
Insinöörimatematiikka 1u
b) Funktiolla


x2 ,
kun x < 0,
1

x sin , kun x > 0,
x
on toispuoleiset raja-arvot (ks. esimerkki 4.15)
f (x) =
lim f (x) = 0 = lim f (x),
x→0−
x→0+
joten on olemassa raja-arvo lim f (x) = 0.
x→0
y
y = f (x)
x
c) Funktiolla


1,
kun x < 0,
1
sin , kun x > 0,
x
on vasemmanpuoleinen raja-arvo
f (x) = 
lim f (x) = 1,
x→0−
mutta ei oikeanpuoleista raja-arvoa lim f (x), eikä siten myöskään rajax→0+
arvoa lim f (x).
x→0
y
f (x) = sin(1/x)
x
sin θ
=1
θ→0 θ
Lause 4.19. lim
63
Insinöörimatematiikka 1u
Todistus. Todistetaan lause geometrisesti. Myöhemmin käsiteltävää l’Hôspitalin sääntöä ei voida käyttää tämän todistamiseen, koska sinin derivointikaavan todistamisessa tarvitsemme tätä tulosta.
y
1
tan θ
sin θ
θ
cos θ
1
x
Oletetaan, että 0 < θ < π/2. Oheisesta kuvasta päätellään, että
pienen kolmion pinta-ala ≤ sektorin pinta-ala ≤ ison kolmion pinta-ala.
1-säteisen kiekon pinta-ala on π · 12 = π, joten sektorin, joka on θ/(2π)-osa
kiekosta, pinta-ala on π·θ/(2π) = θ/2. Kolmion pinta-ala on 12 ×kanta×korkeus,
joten
θ
1
1 sin θ
1
cos θ sin θ ≤ ≤ · 1 · tan θ =
,
2
2
2
2 cos θ
josta
sin θ
.
cos θ sin θ ≤ θ ≤
cos θ
Jakamalla sin θ:lla ja ottamalla käänteisluvut saadaan
1
sin θ
≥
≥ cos θ.
cos θ
θ
Koska lim cos θ = 1, niin kuristusperiaatteen (lause 4.14) nojalla
θ→0
sin θ
= 1.
θ→0+ θ
lim
Tapaus −π/2 < θ < 0 käsitellään vastaavasti ja saadaan
sin θ
= 1.
θ→0− θ
lim
Esimerkki 4.20. Osoitetaan, että
1 − cos x
= 0.
x→0
x
lim
64
Insinöörimatematiikka 1u
Lavennetaan (1 + cos x):llä ja käytetään tietoa sin2 x + cos2 x = 1:
1 − cos x
1 − cos2 x
sin x sin x
0
=
=
→1·
= 0,
x
x(1 + cos x)
x 1 + cos x
1+1
kun x → 0.
Esimerkki 4.21.
sin(2x)
tan(2x)
= 2 lim
lim
x→0
x→0
x
2x
4.3
4.3.1
!
1
lim
x→0 cos(2x)
!
=2·1·
1
=2
1
Raja-arvokäsitteen laajennukset
Epäoleelliset raja-arvot ∞ ja −∞
Intuitiivisesti määriteltynä funktiolla f on raja-arvo ∞ pisteessä a, jos x:n
lähestyessä pistettä a arvot f (x) kasvavat rajatta.
Määritelmä 4.22. Olkoon reaalifunktio f määritelty a:n punkteeratussa
ympäristössä. Funktiolla f on epäoleellinen raja-arvo ∞ pisteessä a, jos
∀M ∈ R ∃δ > 0 : 0 < |x − a| < δ ⇒ f (x) > M.
Tällöin merkitään
lim f (x) = ∞
x→a
tai
f (x) → ∞, kun x → a.
Vastaavasti funktiolla f on epäoleellinen raja-arvo −∞ pisteessä a, jos
∀M ∈ R ∃δ > 0 : 0 < |x − a| < δ ⇒ f (x) < M.
Tällöin merkitään
lim f (x) = −∞
x→a
tai
f (x) → −∞, kun x → a.
65
Insinöörimatematiikka 1u
y
M
a−δ
a
y = f (x)
x
a+δ
Epäoleelliset toispuoleiset raja-arvot määritellään vastaavalla tavoin kuin äärelliset toispuoleiset raja-arvot. Lukujen 4.1 ja 4.2 tuloksia voidaan käyttää
myös epäoleellisille raja-arvoille seuraavia sääntöjä soveltaen (c ∈ R):
(1) c + ∞ = ∞ ja c − ∞ = −∞
(2) c · ∞ = ∞, jos c > 0 ja c · ∞ = −∞, jos c < 0
c
=0
(3)
±∞
(4) ∞ + ∞ = ∞ ja −∞ − ∞ = −∞
(5) ∞ · ∞ = ∞, (−∞) · (−∞) = ∞, ∞ · (−∞) = −∞
√
x
Esimerkki 4.23. a) Funktiolla f (x) =
on epäoleelliset toispuoleiset
x−3
raja-arvot
lim f (x) = −∞
ja
lim f (x) = ∞,
x→3−
x→3+
√
√
sillä x → 3, kun x → 3 ja x − 3 → 0±, kun x → 3±. Niinpä ei ole
olemassa epäoleellista raja-arvoa lim f (x).
x→3
x8
1
=
lim
x8 lim
= 28 · ∞ = ∞
x→2 (x − 2)2
x→2
x→2 (x − 2)2
b) lim
Seuraavat muodot ovat epämääräisiä eikä niistä raja-arvolaskuissa voida tehdä mitään johtopäätöksiä:
∞ − ∞,
0 · ∞,
±∞
,
±∞
0
,
0
Esimerkiksi
1 = lim 1 = lim x ·
x→0+
x→0+
00 ,
∞0 ,
1
= 0 · ∞,
x
1∞ .
66
Insinöörimatematiikka 1u
mutta toisaalta
2 = lim 2 = lim (2x) ·
x→0+
tai
∞ = lim
x→0+
4.3.2
x→0+
1
=0·∞
x
1
1
= lim x · 2 = 0 · ∞.
x→0+
x
x
Raja-arvo äärettömyydessä
Intuitiivisesti määriteltynä funktiolla f on raja-arvo L ∈ R äärettömyydessä,
jos x:n kasvaessa rajatta arvot f (x) lähestyvät lukua L.
Määritelmä 4.24. Olkoon reaalifunktio f määritelty joukossa (c, ∞). Funktiolla f on raja-arvo L äärettömyydessä, jos
∀ > 0 ∃M ∈ R : x > M ⇒ |f (x) − L| < .
Tällöin merkitään
lim f (x) = L
x→∞
tai
f (x) → L, kun x → ∞.
Vastaavasti joukossa (−∞, c) määritellyllä funktiolla f on raja-arvo L
miinus-äärettömyydessä, jos
∀ > 0 ∃M ∈ R : x < M ⇒ |f (x) − L| < .
Tällöin merkitään
lim f (x) = L
x→−∞
tai
f (x) → L, kun x → −∞.
y
L+
L
L−
x
M
Vastaavalla tavoin voidaan määritellä myös raja-arvot ∞ ja −∞ äärettömyydessä ja miinus-äärettömyydessä.
67
Insinöörimatematiikka 1u
1
=0
x→∞ x
Esimerkki 4.25. a) lim
b)
lim x3 = −∞
x→−∞
c) Ei ole olemassa raja-arvoa x→∞
lim sin x.
d) x→∞
lim arctan x =
π
2
Esimerkki 4.26. Polynomi-, rationaali- ja juurifunktioiden raja-arvoja äärettömyydessä voidaan yrittää tutkia ottamalla yhteinen tekijä tai laventamalla sopivasti.
100 11 3
3
2
+ 3 x = (3 − 0 + 0) · ∞ = ∞
a) lim 3x − 100x + 11 = lim 3 −
x→∞
x→∞
x
x
4
7
2+ − 3
2x3 + 4x2 − 7
x x = 2+0−0 = 2
= lim
b) lim
3
1
1
x→−∞
x→−∞ 5x − x + 1
5−0+0
5
5− 2 + 3
x
x
9
−x + 2 + 2
−x3 + 2x2 + 9
−∞
−∞ + 2 + 0
x x→∞
c)
=
=
= −∞
−→
2
2
1
7x + 2x − 1
7+0−0
7
7+ − 2
x x
x
x
1
1
x>0
d) lim √ 2
= lim s
=1
= lim s
=√
x→∞
x→∞
x→∞
1+0
x +1
1
1
x 1+ 2
1+ 2
x
x
√
√
√
√
√
√ x+1+ x
x+1−x
e) x + 1 − x =
x+1− x √
√ =√
√
x+1+ x
x+1+ x
=√
4.4
1
1
= 0, kun x → ∞.
√ →
∞
x+1+ x
Jatkuvuus
Raja-arvon määritelmässä 4.3 ei vaadita, että funktio olisi määritelty rajapisteessä a. Jos f (a) on määritelty, niin voidaan kysyä, onko funktion arvo
sama kuin raja-arvo.
Määritelmä 4.27. Olkoon funktio f määritelty välillä (c, d). Sanotaan, että
f on jatkuva (continuous) pisteessä a ∈ (c, d), jos
f (a) = lim f (x).
x→a
(4.28)
68
Insinöörimatematiikka 1u
Vaaditaan siis, että
(1) f on määritelty pisteessä a,
(2) f :llä on raja-arvo pisteessä a ja
(3) funktion arvo ja raja-arvo ovat yhtäsuuret.
Raja-arvon olemassaolon δ-ehto ja vaatimus (4.28) voidaan muotoilla suoraan yhdeksi δ-ehdoksi:
Lause 4.29. f : (c, d) → R on jatkuva pisteessä a ∈ (c, d) jos ja vain jos
∀ > 0 ∃δ > 0 : |x − a| < δ ⇒ |f (x) − f (a)| < ,
toisin sanoen
∀ > 0 ∃δ > 0 : f ((a − δ, a + δ)) ⊂ (f (a) − , f (a) + ).
y
y = f (x)
f (a) + f (a)
f (a) − a−δ
a
x
a+δ
Esimerkki 4.30. a) Esimerkin 4.15 funktio g : R \ {0} → R,
g(x) = x sin
1
x
ei ole määritelty pisteessä x = 0, mutta sillä on raja-arvo lim g(x) = 0.
x→0
Niinpä funktio f : R → R,
f (x) =


x sin

0,
1
,
x
kun x 6= 0,
kun x = 0,
69
Insinöörimatematiikka 1u
on jatkuva pisteessä 0. Funktio g saadaan siis jatkettua jatkuvaksi funktioksi
pisteessä 0, kun määritellään g(0) sopivasti. Tällöin sanotaan, että piste 0 on
g:n poistuva epäjatkuvuuspiste.
b) Esimerkin 4.1 kohdissa b–e funktiota f ei saada millään määrittelyllä
f (0) jatkuvaksi pisteessä 0.
Välin päätepisteessä jatkuvuus on määriteltävä erikseen.
Määritelmä 4.31. Välillä [a, d) määritelty funktio f on oikealta puolijatkuva
pisteessä a, jos
f (a) = lim f (x).
x→a+
Vastaavasti välillä (c, a] määritelty funktio f on vasemmalta puolijatkuva
pisteessä a, jos
f (a) = lim f (x).
x→a−
Esimerkki 4.32. Funktio
f (x) =

 x2
− 1, kun x ≤ 1,
2 − x,
kun x > 1,
on vasemmalta puolijatkuva pisteessä 1, mutta ei oikealta.
y
1
x
1
y = f (x)
Tämän esimerkin tilanteessa, jossa pisteessä a on olemassa äärelliset toispuoleiset raja-arvot, mutta ne ovat erisuuret, sanotaan funktiolla olevan hyppäysepäjatkuvuus.
70
Insinöörimatematiikka 1u
Määritelmä 4.33. Funktio on jatkuva, jos se on jatkuva jokaisessa määrittelyjoukkonsa pisteessä. Tarkemmin:
• Funktio f : (c, d) → R on jatkuva, jos se on jatkuva jokaisessa pisteessä
a ∈ (c, d).
• Funktio f : [c, d) → R on jatkuva, jos se on jatkuva jokaisessa pisteessä
a ∈ (c, d) ja lisäksi oikealta puolijakuva pisteessä c.
• Vastaavasti määritellään jatkuvuus myös muunlaisilla väleillä.
• Jos funktion määrittelyjoukko koostuu äärellisestä määrästä erillisiä
avoimia välejä Ij , niin funktio on jatkuva, jos funktio on jatkuva jokaisella välillä Ij .
Lisäksi funktio on paloittain jatkuva välillä I, jos sillä on äärellinen määrä
epäjatkuvuuspisteitä ja ne kaikki ovat hyppäysepäjatkuvuuksia.
Merkitään jatkossa I:llä yleistä väliä, joka voi olla avoin, puoliavoin tai suljettu sekä rajoitettu tai rajoittamaton.
Lauseen 4.5 mukaan jatkuvien funktioiden summa, erotus, tulo ja osamäärä ovat jatkuvia:
Lause 4.34. Olkoot f ja g : I → R jatkuvia pisteessä a ∈ I. Tällöin f (x) +
g(x), f (x) − g(x) ja f (x)g(x) ovat jatkuvia pisteessä a. Jos lisäksi g(a) 6= 0,
niin myös f (x)/g(x) on jatkuva pisteessä a.
Esimerkiksi jokainen polynomi p(x) = an xn + an−1 xn−1 + · · · + a1 x + a0
on jatkuva R:ssä ja edelleen jokainen rationaalifunktio f (x) = p(x)/q(x) on
jatkuva määrittelyjoukossaan.
Esimerkki 4.35. a) Funktio f (x) = −3x2 + 7x − 1 on jatkuva joukossa R.
b) Funktio f (x) =
(0, ∞).
c) Funktio
1
on jatkuva määrittelyjoukossaan R \ {0} = (−∞, 0) ∪
x
x2 + 5x + 6
x2 − 2x − 8
on jatkuva määrittelyjoukossaan R \ {−2, 4}. Koska
f (x) =
f (x) =
(x + 2)(x + 3)
x+3
=
,
(x + 2)(x − 4)
x−4
(4.36)
niin piste x = −2 on f :n poistuva epäjatkuvuuspiste ja siten f saadaan
määrittelyllä (4.36) jatkettua jatkuvaksi joukkoon R \ {4}.
d) Esimerkin 4.32 funktio on paloittain jatkuva joukossa R. Miksi b- ja
c-kohtien funktiot eivät ole paloittain jatkuvia R:ssä?
71
Insinöörimatematiikka 1u
Lauseen 4.12 mukaan jatkuvista funktioista yhdistetty funktio on jatkuva:
Lause 4.37. Olkoon g : I → R jatkuva pisteessä a ∈ I ja olkoon f määritelty
pisteen g(a) sisältävällä välillä ja jatkuva pisteessä g(a). Silloin yhdistetty
funktio (f ◦ g)(x) = f (g(x)) on jatkuva pisteessä a.
Esimerkki 4.38. Koska
funktio
√
x on jatkuva joukossa [0, ∞) (lause 4.11), niin
s
f (x) =
x+3
x−4
on jatkuva määrittelyjoukossaan (−∞, −3] ∪ (4, ∞).
Seuraavan peruslauseen joudumme ottamaan käyttöön todistamatta. Kuva
piirtämällä lause on kuitenkin helppo uskoa, koska ”jatkuvan funktion kuvaaja voidaan piirtää kynää nostamatta”. Todistuksessa (ks. [5, Appendix E])
tarvitaan supremumin (least upper bound) käsitettä ja täydellisyysaksioomaa.
Lause 4.39 (Jatkuvien funktioiden väliarvolause, JVAL). Olkoon f jatkuva
suljetulla ja rajoitetulla välillä [a, b]. Silloin f saavuttaa kaikki arvojen f (a)
ja f (b) välissä olevat arvot. Toisin sanoen: jos K on arvojen f (a) ja f (b)
välissä, niin on olemassa piste c ∈ [a, b], jolle f (c) = K.
Seuraava väliarvolauseen erikoistapaus on syytä mainita erikseen.
Lause 4.40 (Bolzanon lause). Olkoon f jatkuva suljetulla ja rajoitetulla välillä [a, b] ja olkoot f (a) ja f (b) erimerkkiset, ts. f (a)f (b) < 0. Silloin on
olemassa c ∈ [a, b] siten, että f (c) = 0. Toisin sanoen: jatkuva funktio ei voi
vaihtaa merkkiään saamatta arvoa 0.
Esimerkki 4.41. Tutkitaan jatkuvan funktion f (x) = x5 − 3x + 1 nollakohtia. Tiedetään, että tällä 5. asteen polynomilla on korkeintaan 5 nollakohtaa,
mutta yleistä ratkaisukaavaa niiden löytämiseksi ei ole. Tutkitaan kokeilemalla: koska f (−2) = −25 < 0 ja f (−1) = 3 > 0, niin välillä [−2, −1] on
ainakin yksi nollakohta. Puolivälissä f (−1.5) ≈ −2.09 < 0, joten nollakohta
on välillä [−1.5, −1]. Tämän välin puolivälissä f (−1.25) ≈ 1.70 > 0, joten
nollakohta on välillä [−1.5, −1.25]. Näin voidaan jatkaa, kunnes haluttu tarkkuus on saavutettu. Kyseisen nollakohdan likiarvo yhdeksällä desimaalilla on
−1.388 791 984.
Tämä puolitusmenetelmä on yksinkertaisin esimerkki numeerisista juurtenhakumenetelmistä.
Lauseen 2.13 mukaan aidosti monotoninen funktio f : I → R on injektio ja
siten rajoittumalla f : I → f (I) on käänteisfunktio f −1 : f (I) → I.
72
Insinöörimatematiikka 1u
Lause 4.42. Välillä I aidosti kasvavan (vähenevän) jatkuvan funktion f
kuvajoukko f (I) on väli ja käänteiskuvaus f −1 : f (I) → I on myös aidosti
kasvava (vähenevä) ja jatkuva.
Todistus. Olkoon f aidosti kasvava (vähenevän funktion tapaus vastaavasti). Oletetaan yksinkertaisuuden vuoksi, että väli on suljettu ja rajoitettu,
ts. I = [a, b].
Osoitetaan ensin, että f ([a, b]) = [f (a), f (b)]. Aidon kasvavuuden nojalla f (a) ≤ f (x) ≤ f (b) kaikilla x ∈ [a, b], ts. kaikki f :n arvot ovat välillä
[f (a), f (b)]. Toisaalta väliarvolauseen mukaan f saavuttaa kaikki arvot väliltä [f (a), f (b)].
f −1 :n aito kasvavuus todistettiin lauseessa 2.15.
f −1 :n jatkuvuus: Olkoon y0 = f (x0 ) ∈ (f (a), f (b)). Osoitetaan, että
f −1 on jatkuva pisteessä y0 (päätepisteet vastaavasti). Valitaan > 0 niin
pieneksi, että (x0 − , x0 + ) ⊂ [a, b]. Koska f on aidosti kasvava, niin
f (x0 − ) < y0 < f (x0 + ). Nyt voidaan valita δ > 0 siten, että (y0 −
δ, y0 + δ) ⊂ (f (x0 − ), f (x0 + )), jolloin f −1 :n aidon kasvavuuden nojalla
f −1 ((y0 − δ, y0 + δ)) ⊂ (x0 − , x0 + ). Piirrä kuva!
Lause 4.43. Potenssifunktio xr , r ∈ Q, on jatkuva määrittelyjoukossaan.
Todistus. Tapaus r = 1/n, n ∈ N. xr = x1/n on tällöin jatkuvan aidosti
kasvavan funktion xn käänteisfunktio. Väite seuraa lauseesta 4.42.
Tapaus r = m/n, n ∈ N. xr = (x1/n )m on kahden jatkuvan funktion
g(x) = x1/n ja f (y) = y m yhdiste ja siten jatkuva.
Lause 4.44. sin x, cos x ja tan x ovat jatkuvia määrittelyjoukoissaan.
Todistus. Todistetaan väite ensin sinille. Olkoon a ∈ R. On osoitettava, että
lim sin x = sin a.
x→a
Merkitsemällä x = a + h huomataan, että on yhtäpitävää todistaa, että
lim sin(a + h) = sin a.
h→0
Käytetään summakaavaa (lause 3.22):
sin(a + h) = sin a cos h + cos a sin h → sin a · 1 + cos a · 0 = sin a,
kun h → 0, sillä sinin ja kosinin määritelmien mukaan lim sin h = 0 ja
h→0
lim cos h = 1. Kosinia koskeva väite todistetaan vastaavalla tavoin. Tangentti
h→0
on jatkuva, sillä
sin x
tan x =
.
cos x
73
Insinöörimatematiikka 1u
Lause 4.45. Eksponenttifunktio ax (a > 0) on jatkuva R:ssä.
Todistus. Määritelmästä (3.31) seuraa, että
lim ax = n→∞
lim a1/n .
x→0
Juuren määritelmästä puolestaan seuraa, että
lim a1/n = 1 = a0 ,
n→∞
joten lim ax = a0 ja eksponenttifunktio on siten jatkuva 0:ssa. Jos nyt y ∈ R,
x→0
niin
x
y x−y
lim
a
=
lim
a
a
= ay x→y
lim ax−y = ay a0 = ay ,
x→y
x→y
joten eksponenttifunktio on jatkuva pisteessä y.
Koska trigonometriset funktiot ja eksponenttifunktio ovat jatkuvia, niin myös
niiden käänteisfunktiot eli arkusfunktiot ja logaritmifunktio ovat lauseen 4.42
mukaan jatkuvia.
5
Derivaatta [5, 3–4]
Luvussa 5 tarkastellaan derivaatan käsitettä kahdesta näkökulmasta:
• Mikä on funktion f (x) hetkellinen kasvunopeus pisteessä x = a? Kasvunopeudella voi tilanteesta riippuen olla jokin fysikaalinen tulkinta. Lisäksi kasvunopeuden merkin perusteella voidaan päätellä, missä f kasvaa ja missä vähenee. Sovelluksena tästä kulkutarkastelusta saadaan
keino selvittää funktion pienin ja suurin arvo.
• Mikä on funktion f (x) kuvaajan y = f (x) pisteeseen (a, f (a)) piirretyn
tangenttisuoran yhtälö? Funktio, jonka kuvaaja on tämä tangenttisuora,
on muotoa T (x) = Ax+B ja antaa siten yksinkertaisen approksimaation
mahdollisesti monimutkaiselle funktiolle f (x) lähellä pistettä a.
Tavoitteena on oppia derivoimaan alkeisfunktioista muodostettuja funktioita
ja tehdä niille kulku-, ääriarvo- ja approksimaatiotarkasteluja.
5.1
Määritelmä ja perusominaisuudet
Olkoon s(t) [km] kuljettu matka ajan t [h] funktiona. Matkan keskimääräinen
muutosnopeus aikavälillä t . . . t + ∆t on
s(t + ∆t) − s(t)
∆s
=
∆t
∆t
"
#
km
.
h
74
Insinöörimatematiikka 1u
Tätä kutsutaan keskimääräiseksi vauhdiksi ko. aikavälillä. On luonnollista
määritellä hetkellinen muutosnopeus (vauhti v(t)) raja-arvona keskimääräisestä muutosnopeudesta, kun ∆t → 0:
s(t + ∆t) − s(t)
v(t) = lim
∆t→0
∆t
"
#
km
.
h
Tämä motivoi määrittelemään vastaavan raja-arvon yleiselle funktiolle f .
Määritelmä 5.1. Funktion f : (c, d) → R derivaatta (derivative) pisteessä
a ∈ (c, d) on
f (a + h) − f (a)
f 0 (a) = lim
,
h→0
h
mikäli ko. raja-arvo on olemassa. Tällöin sanotaan, että f on derivoituva (differentiable) pisteessä a. Funktion f : [a, b) → R oikeanpuoleinen derivaatta
pisteessä a on
f (a + h) − f (a)
.
f 0 (a+) = lim
h→0+
h
Vasemmanpuoleinen derivaatta f 0 (a−) määritellään vastaavasti. Funktio
f : I → R on derivoituva (differentiable), mikäli sillä on derivaatta jokaisella x ∈ I (päätepisteissä toispuoleinen derivaatta). Tällöin myös funktiota
f 0 (x) kutsutaan f :n derivaataksi.
Funktio on derivoituva pisteessä a jos ja vain jos sillä on a:ssa sekä vasemmanettä oikeanpuoleinen derivaatta ja ne ovat yhtäsuuret. Tällöin f 0 (a) = f 0 (a−)
= f 0 (a+).
Funktion y = f (x) derivaattaa merkitään myös
f 0 (x) = Dx f (x) = Df (x) =
dy
d
f (x) =
.
dx
dx
Määritelmässä esiintyvää osamäärää kutsutaan erotusosamääräksi (difference
quotient). Asettamalla x = a + h derivaatta pisteessä a voidaan yhtäpitävästi
kirjoittaa myös raja-arvona
f 0 (a) = lim
x→a
f (x) − f (a)
.
x−a
(5.2)
75
Insinöörimatematiikka 1u
y
(x2 , y2 )
(x1 , y1 )
α = arctan k
x
Muistetaan, että pisteiden (x1 , y1 ) ja (x2 , y2 ) kautta kulkevan suoran kulmakerroin on
y2 − y1
k=
x2 − x1
ja suoran yhtälö y − y1 = k(x − x1 ), ts.
y = y1 + k(x − x1 ).
(5.3)
Nyt nähdään, että geometrisesti erotusosamäärä on xy-tason pisteiden
(a, f (a)) ja (x, f (x)) kautta kulkevan sekantin (secant) kulmakerroin (slope).
Siten derivaatan olemassaolo pisteessä x = a tarkoittaa sitä, että kuvaajalla
y = f (x) on pisteessä (a, f (a)) tangenttisuora, jonka kulmakerroin on f 0 (a),
jolloin tangenttisuoran yhtälö on
y = f (a) + f 0 (a)(x − a).
(5.4)
Välillä I derivoituvan funktion kuvaajalla on jokaisessa pisteessä tangenttisuora, joten kuvaajalla ei voi olla kärkiä tai kulmia. Oheisessa kuvassa on
hahmoteltu tapaus h > 0 (h voi olla myös negatiivinen).
y
y = f (x)
(x, f (x))
f (a + h) − f (a) = f (x) − f (a)
(a, f (a))
h=x−a
a
x=a+h
x
76
Insinöörimatematiikka 1u
Esimerkki 5.5. Laske funktion f (x) = 3x2 − 7x + 5 derivaatta pisteessä
x = 3.
(3(3 + h)2 − 7(3 + h) + 5) − (3 · 32 − 7 · 3 + 5)
f (3 + h) − f (3)
=
h
h
3h2 + 11h
=
= 3h + 11 → 11, kun h → 0,
h
joten f 0 (3) = 11.
Lause 5.6. Jos f on derivoituva pisteessä a, niin f on jatkuva pisteessä a.
Todistus. On osoitettava, että f (x) → f (a), kun x → a. Näin on, sillä
f (x) − f (a) =
f (x) − f (a)
(x − a) → f 0 (a) · 0 = 0,
x−a
kun x → a.
Käänteinen väite ei päde, eli jatkuva funktio ei välttämättä ole derivoituva.
Esimerkiksi tästä käy funktion f (x) = |x| käyttäytyminen pisteessä x = 0
(ks. esimerkki 5.59).
Lause 5.7 (Derivoinnin perussäännöt). Olkoot f ja g derivoituvia pisteessä
x ja olkoon c ∈ R. Tällöin
(1) (cf (x))0 = cf 0 (x)
(2) (f (x) ± g(x))0 = f 0 (x) ± g 0 (x)
(3) (f (x)g(x))0 = f 0 (x)g(x) + f (x)g 0 (x)
(4)
f (x)
g(x)
!0
f 0 (x)g(x) − f (x)g 0 (x)
=
, jos g(x) 6= 0.
g(x)2
Todistus. (1) ja (2) ovat suoraviivaisia todeta erotusosamäärän avulla.
(3) Funktion f (x)g(x) erotusosamäärälle pätee
f (x + h)g(x + h) − f (x)g(x)
h
f (x + h)g(x + h) − f (x)g(x + h) + f (x)g(x + h) − f (x)g(x)
=
h
f (x + h) − f (x)
g(x + h) − g(x)
=
g(x + h) + f (x)
h
h
0
0
→ f (x)g(x) + f (x)g (x), kun h → 0.
Tässä lim g(x + h) = g(x), sillä g on jatkuva pisteessä x.
h→0
77
Insinöörimatematiikka 1u
(4) Tutkitaan funktion 1/g(x) erotusosamäärää. Lavennetaan g(x+h)g(x):llä:
1
1
−
g(x) − g(x + h)
1
1
g(x + h) g(x)
=
→ −g 0 (x)
,
h
h
g(x + h)g(x)
g(x)2
kun h → 0. Saatiin siis toditettua derivoimissääntö
1
g(x)
!0
=−
g 0 (x)
.
g(x)2
(5.8)
Nyt kohdasta (3) ja säännöstä (5.8) seuraa
f (x)
g(x)
!0
!0
!0
1
1
1
= f (x)
= f 0 (x)
+ f (x)
g(x)
g(x)
g(x)
0
0
0
f (x)
g (x)
f (x)g(x) − f (x)g 0 (x)
=
− f (x)
=
.
g(x)
g(x)2
g(x)2
Lause 5.9. Vakiofunktion f (x) = c derivaatta on 0.
Todistus. Määritelmän mukaan
f 0 (x) = lim
h→0
c−c
f (x + h) − f (x)
= lim
= 0.
h→0
h
h
Esimerkki 5.10. Laske D (x−1 ), D (x) ja D (x2 ).
Ratkaisu. Käytetään määritelmää:
1
1
1
1
1 x − (x + h)
D x
−
=D
= lim
= lim
h→0 h x + h
h→0 h (x + h)x
x
x
−1
1
= lim
= − 2 = −x−2
h→0 (x + h)x
x
(x + h) − x
D x1 = D(x) = lim
= lim 1 = 1 = 1 · x0
h→0
h→0
h
2
2
2
(x + h) − x
x + 2xh + h2 − x2
D(x2 ) = lim
= lim
= lim (2x + h) = 2x
h→0
h→0
h→0
h
h
−1
Esimerkin 5.10 potenssifunktioille xn derivaatta on nxn−1 . Kaava pätee yleisestikin:
Lause 5.11 (Potenssifunktion derivoimiskaava). Olkoon n ∈ Z (ja x 6= 0,
jos n < 0). Tällöin
D(xn ) = nxn−1 .
78
Insinöörimatematiikka 1u
Todistus. Tapauksissa n = 0 ja 1 kaava sanoo, että D(1) = 0 ja D(x) = 1,
jotka todistettiin edellä. Todistetaan kaava induktiolla, kun n ≥ 2.
(1) Alkuaskel n = 2 todistettiin esimerkissä 5.10.
(2) Induktioaskel: Oletetaan, että kaava pätee jollekin n = k ≥ 2, ts. D(xk ) =
kxk−1 . Tällöin tulon derivoimissäännön (lause 5.7) nojalla
D(xk+1 ) = D(x · xk ) = D(x)xk + xD(xk ) = xk + kxk = (k + 1)xk .
Niinpä kaava pätee myös n:n arvolle n = k + 1.
Tapauksessa n < 0 merkitään m = −n. Koska m > 0, niin edellä todetun perusteella D(xm ) = mxm−1 ja osamäärän derivoimissääntöä käyttäen
saadaan
1
D(x ) = D m
x
n
mxm−1
D(xm )
= − m 2 = − 2m = −mx−m−1 = nxn−1 .
(x )
x
Nyt polynomit ja rationaalifunktiot nähdään derivoituviksi määrittelyjoukoissaan ja voidaan derivoida em. tuloksia käyttäen.
Esimerkki 5.12. a) Funktion f (x) = x3 −
1
derivaatta on
x5
f 0 (x) = 3x2 − D(x−5 ) = 3x2 − (−5)x−6 = 3x2 +
b) Funktion f (x) =
f 0 (x) =
5
.
x6
x2 + x
derivaatta on
x3 − 7
(2x + 1)(x3 − 7) − (x2 + x)3x2
−x4 − 2x3 − 14x − 7
=
.
(x3 − 7)2
(x3 − 7)2
Esimerkki 5.13. Mikä on käyrän y = x3 −4x2 +7 pisteeseen (3, −2) piirretyn
tangenttisuoran yhtälö?
Ratkaisu. Kyseessä on funktion y = y(x) kuvaaja, joten tangenttisuoran
kulmakertoimen antaa derivaatan arvo pisteessä x = 3: y 0 (x) = 3x2 − 8x,
joten y 0 (3) = 3. Niinpä tangenttisuoran yhtälö on (ks. kaava (5.4))
y − (−2) = 3(x − 3), ts. y = 3x − 11.
Lause 5.14 (Ketjusääntö, Chain rule). Olkoon g derivoituva pisteessä x ja
f derivoituva pisteessä g(x). Silloin yhdistetty funktio f ◦ g on derivoituva
pisteessä x ja
(f ◦ g)0 (x) = f 0 (g(x))g 0 (x).
79
Insinöörimatematiikka 1u
Todistus. Muodostetaan erotusosamäärä yhdistetylle funktiolle f ◦ g:
f (g(x + ∆x)) − f (g(x))
.
∆x
Merkitään y = g(x) ja ∆y = g(x + ∆x) − g(x). Oletetaan, että g 0 (x) 6= 0,
jolloin pienillä ∆x on ∆y/∆x 6= 0 ja siten ∆y 6= 0. Yleinen tapaus todistetaan
luvussa 5.3 differentiaalikehitelmän avulla (ks. s. 87). Nyt
f (g(x + ∆x)) − f (g(x))
f (g(x + ∆x)) − f (g(x)) g(x + ∆x) − g(x)
=
∆x
g(x + ∆x) − g(x)
∆x
f (y + ∆y) − f (y) ∆y
→ f 0 (y)g 0 (x) = f 0 (g(x))g 0 (x), kun h → 0,
=
∆y
∆x
sillä ∆y → 0, kun h → 0.
Merkintöjä u = f (g(x)) ja y = g(x) käyttäen ketjusääntö voidaan kirjoittaa
muotoon
du dy
du
=
.
(5.15)
dx
dy dx
1 11
.
x
Ratkaisu. Tulkitaan h funktioksi h(x) = f (g(x)), missä f (y) = y 11 ja g(x) =
1
x2 + . Koska f 0 (y) = 11y 10 , niin
x
1 10
1
1 10
1
0
2
2
2
h (x) = 11 x +
D x +
= 11 x +
2x − 2 .
x
x
x
x
Esimerkki 5.16. Derivoi h(x) = x2 +
Lause 5.17 (Käänteisfunktion derivoimissääntö). Olkoon f aidosti kasvava
(vähenevä) ja derivoituva välillä I. Merkitään y = f (x). Tällöin käänteisfunktio f −1 : f (I) → I on derivoituva välillä f (I) niissä pisteissä y, joille
f 0 (x) 6= 0, ja derivaatta on
Dy f −1 (y) =
1
f 0 (x)
(y = f (x)).
Todistus. Lauseen 4.42 mukaan f −1 on jatkuva ja f (I) on väli. Tutkitaan
f −1 :n erotusosamäärää pisteessä y0 = f (x0 ). Merkitään y = f (x) ja vaaditaan, että y 6= y0 , jolloin myös x 6= x0 .
f −1 (y) − f −1 (y0 )
x − x0
1
1
=
=
→ 0
, kun y → y0 ,
f (x) − f (x0 )
y − y0
f (x) − f (x0 )
f (x0 )
x − x0
sillä f −1 on jatkuva ja siten x = f −1 (y) → f −1 (y0 ) = x0 , kun y → y0 .
80
Insinöörimatematiikka 1u
Merkintöjä dx/dy = Dy f −1 (y) ja dy/dx = f 0 (x) käyttäen käänteisfunktion
derivoimissääntö voidaan kirjoittaa muotoon
1
dx
=
,
dy
dy
dx
(5.18)
missä on muistettava, että dx/dy lasketaan pisteessä y = f (x) ja dy/dx
pisteessä x.
√
Esimerkki 5.19. Olkoon y = f (x) = 3 x. Laske f 0 (x).
Ratkaisu. f :llä on aidosti kasvava ja derivoituva käänteisfunktio x = f −1 (y)
= y 3 , jolle Dy f −1 (y) = 3y 2 . Siten myös f on derivoituva ja
f 0 (x) =
1
1
1
= √
= x−2/3 .
3
2
2
3y
3( x)
3
Tämän esimerkin menetelmällä saadaan perusteltua potenssifunktion derivoimiskaava rationaalisille eksponenteille.
Lause 5.20 (Potenssifunktion derivoimiskaava). Olkoon r ∈ Q ja x 6= 0 (ja
lisäksi määritelmän 3.7 määrittelyehto voimassa). Tällöin
D(xr ) = rxr−1 .
Todistus. Tutkitaan ensin funktiota y = f (x) = x1/n , n ∈ N. f :llä on aidosti
kasvava ja derivoituva käänteisfunktio x = f −1 (y) = y n , jolle Dy f −1 (y) =
ny n−1 . Siten myös f on derivoituva ja
f 0 (x) =
1
1
1
=
= x1/n−1 .
n−1
1/n
n−1
ny
n(x )
n
Siten lauseen väite pätee, kun r on muotoa r = 1/n.
Yleisessä tapauksessa kirjoitetaan r = m/n, missä n ∈ N. Nyt ketjusäännön mukaan
1
D(xr ) = D((x1/n )m ) = m(x1/n )m−1 D(x1/n ) = m(x1/n )m−1 (x1/n−1 )
n
m m/n−1
r−1
= x
= rx .
n
√
1
1
Esimerkki 5.21. a) D x = D(x1/2 ) = x−1/2 = √ .
2
2 x
√
3
b) Funktion f (x) =
3x2 − 7 derivaatta on
√
3
f 0 (x) = D (3x2 − 7)3/2 = (3x2 − 7)1/2 · 6x = 9x 3x2 − 7.
2
81
Insinöörimatematiikka 1u
5.2
Alkeisfunktioden derivaatat
Lause 5.22. D(ex ) = ex
Todistus. Tutkitaan ensin erotusosamäärää pisteessä x = 0. Olkoon 0 < h <
1. Erotusosamäärä on
e0+h − e0
eh − 1
=
.
h
h
Valitaan n ∈ N siten, että
1
1
<h≤ .
n+1
n
Lemman 3.33 mukaan
1
1+
n+1
n+1
ja toisaalta
1−
1
n
< e,
n
1
< ,
e
ts.
1
< e1/(n+1) − 1,
n+1
ts. e1/n − 1 <
1
.
n−1
Niinpä
1
1
< e1/(n+1) − 1 < eh − 1 ≤ e1/n − 1 <
n+1
n−1
ja siten
eh − 1
n+1
n
<
≤
.
n+1
h
n−1
Kun h → 0+, niin n → ∞, jolloin arvion laitimmaiset lausekkeet lähestyvät
lukua 1. Kuristusperiaatteen nojalla siten
eh − 1
= 1.
h→0+
h
lim
Vastaavasti myös vasemmanpuoleinen raja-arvo on 1 ja siten
eh − 1
= 1.
h→0
h
lim
Tämän avulla voidaan laskea erotusosamäärän raja-arvo pisteessä x:
ex+h − ex
ex eh − ex
eh − 1
=
= ex
→ ex · 1 = ex ,
h
h
h
Esimerkki 5.23. a) D e3x
b) D
√
1 + e2x =
2
2
2
= e3x D (3x2 ) = 6xe3x .
D(1 + e2x )
2e2x
e2x
√
√
√
=
=
2 1 + e2x
2 1 + e2x
1 + e2x
kun h → 0.
82
Insinöörimatematiikka 1u
1
x
Lause 5.24. D(ln x) =
Todistus. Funktion f (x) = ln x käänteisfunktio on f −1 (y) = ey , joten käänteisfunktion derivoimissäännön mukaan
Dx (ln x) =
1
1
1
1
= y = ln x = .
y
Dy (e )
e
e
x
Lause 5.25. D (ax ) = ax ln a
D (loga x) =
ja
1
.
x ln a
Todistus. Kaavoista (3.42) saadaan
D (ax ) = D ex ln a = ex ln a D(x ln a) = ax ln a ja
ln x
D (loga x) = D
ln a
2
!
=
D(ln x)
1
=
.
ln a
x ln a
2
2
Esimerkki 5.26. a) D(3x ) = 3x ln 3D(x2 ) = 2x3x ln 3
√
√
D(
1 + x2 )
D(1 + x2 )
x
√
√
b) D ln( 1 + x2 ) = √
=
=
1 + x2
1 + x2
2 1 + x2 1 + x2
c) D(ln(ln x)) =
D(ln x)
1
=
ln x
x ln x
Lause 5.27. D (xa ) = axa−1
(a ∈ R, x > 0)
Todistus. Määritelmän 3.44 mukaan
D (xa ) = D ea ln x = ea ln x D(a ln x) = xa
Esimerkki 5.28. D ex
e
e
= ex D(xe ) = exe−1 ex
a
= axa−1 .
x
e
Lause 5.29. Trigonometriset funktiot ovat derivoituvia määrittelyjoukoissaan ja
D sin x = cos x
D cos x = − sin x
D tan x = 1 + tan2 x =
1
cos2 x
83
Insinöörimatematiikka 1u
Todistus. Kirjoitetaan erotusosamäärä sinille ja käytetään summakaavaa (lause
3.22), lausetta 4.19 ja esimerkin 4.20 tulosta:
sin x cos h + sin h cos x − sin x
sin(x + h) − sin x
=
h
h
1 − cos h
sin h
= − sin x
+ cos x
h
h
→ − sin x · 0 + cos x · 1 = cos x, kun h → 0.
Kosinin derivointikaava todistetaan vastaavasti. Tangentin derivointikaava
saadaan nyt osamäärän derivoimissäännöllä:
D tan x = D
cos2 x + sin2 x
1
sin x
=
=
,
cos x
cos2 x
cos2 x
missä viimeinen vaihe voidaan sieventää myös
cos2 x + sin2 x
sin x
=1+
2
cos x
cos x
2
= 1 + tan2 x.
Lause 5.30. Arkusfunktioiden derivoimiskaavat:
1
1 − x2
1
D arccos x = − √
1 − x2
1
D arctan x =
1 + x2
D arcsin x = √
(−1 < x < 1)
(−1 < x < 1)
(x ∈ R)
Todistus. Funktiolla y = sin x on välillä x ∈ [−π/2, π/2] käänteisfunktio x =
arcsin y. Välillä x ∈ (−π/2, π/2) (vastaten väliä y ∈ (−1, 1)) on D sin x =
cos x 6= 0, joten käänteisfunktion derivoimissäännön mukaan
Dy arcsin y =
1
1
1
1
=
=√
=√
.
2
D sin x
cos x
1 − y2
1 − sin x
Tässä toiseksi viimeinen vaihe seuraa kaavasta sin2 x + cos2 x = 1 ottamalla
huomioon, että cos x > 0 välillä x ∈ (−π/2, π/2). Vastaavalla tavoin voidaan
päätellä derivoimiskaavat arkuskosinille ja arkustangentille.
Hyperbolisten funktioiden derivoimiskaavat seuraavat suoraan määritelmästä 3.45:
84
Insinöörimatematiikka 1u
Lause 5.31. D sinh x = cosh x
D cosh x = sinh x
1
D tanh x =
cosh2 x
Areafunktioiden derivointikaavat saadaan joko käänteisfunktion derivoimissäännöillä tai derivoimalla suoraan kaavat (3.49):
1
Lause 5.32. D ar sinh x = √
1 + x2
1
D ar cosh x = √ 2
x −1
1
D ar tanh x =
1 − x2
(x ∈ R)
(x > 1)
(−1 < x < 1)
Derivoimissäännöistä ja derivointikaavoista on yhteenveto taulukoissa 2 ja 3
sivuilla 128–129.
5.3
Lineaarinen approksimaatio
Määritelmän mukaan pisteessä a derivoituvalle funktiolle f pätee
f (a + h) − f (a)
,
h→0
h
f 0 (a) = lim
ts.
!
f (a + h) − f (a)
lim
− f 0 (a) = 0.
h→0
h
Merkitään tässä sulkulauseketta (h):lla, ts.
(h) =
f (a + h) − f (a)
− f 0 (a).
h
Ratkaistaan tästä f (a + h):
f (a + h) = f (a) + f 0 (a)h + h(h),
|
{z
}
tarkka arvo
|
{z
arvio
}
(5.33)
| {z }
virhe
missä (h) on funktio, jolle (h) → 0, kun h → 0. Esitystä (5.33) kutsutaan
funktion f differentiaalikehitelmäksi pisteessä a. Päättely voidaan kääntää
myös toiseen suuntaan, eli differentiaalikehitelmästä seuraa derivoituvuus:
85
Insinöörimatematiikka 1u
Lause 5.34. Funktio f : (c, d) → R on derivoituva pisteessä a ∈ (c, d) jos ja
vain jos on olemassa A ∈ R ja funktio : R → R siten, että lim (h) = 0 ja
h→0
f (a + h) = f (a) + Ah + h(h)
kaikilla (itseisarvoltaan pienillä) h ∈ R. Tällöin A = f 0 (a).
Jättämällä pois virhetermi h(h) saadaan arvio funktion arvolle f (a + h):
f (a + h) ≈ f (a) + f 0 (a)h,
(5.35)
tai merkitsemällä x = a + h
f (x) ≈ f (a) + f 0 (a)(x − a).
Tässä oikean puolen funktio
T (x) = f (a) + f 0 (a)(x − a)
(5.36)
on funktio, jonka kuvaaja on f :n kuvaajan pisteeseen (a, f (a)) piirretty tangenttisuora (vrt. yhtälöön (5.4)). Funktiosta T (x) käytetään nimityksiä f :n
lineaarinen approksimaatio (arvio), tangenttiapproksimaatio ja linearisointi
pisteessä a. Lineaarisessa arviossa f (x) ≈ T (x) tehty virhe on
f (x) − T (x) = h(h),
jolle pätee
h(h)
virhe
=
= (h) → 0, kun h → 0.
x:n muutos
h
Lähellä a:ta tehty virhe on siis mitätön suhteessa etäisyyteen a:sta ja f :n
kuvaaja näyttää likimain tangenttisuoraltaan y = f (a) + f 0 (a)(x − a).
y
y = f (x)
f (x)
h(h)
y = T (x) = f (a) + f 0 (a)(x − a)
T (x)
f (a)
a
x
x=a+h
86
Insinöörimatematiikka 1u
Nimitys ”lineaarinen arvio” johtuu siitä, että funktio L : R → R, L(h) =
f 0 (a)h on ns. lineaarikuvaus ja arvio voidaan kirjoittaa vakion ja lineaarikuvauksen summana: f (a + h) ≈ f (a) + L(h). Lineaarikuvauksia käsitellään
tarkemmin opintojaksolla Insinöörimatematiikka 2u.
√
Esimerkki 5.37. Arvioi lukua 4,3 sopivalla lineaarisella approksimaatiolla.
√
Ratkaisu. Käytetään funktion f (x) = x lineaarista arviota pisteessä a =
4. Idea on, että f :n ja f 0 :n arvot on helppo laskea pisteessä 4 ja niitä käyttäen
√
saadaan arvio f :n arvolle pisteessä 4,3 = a+h = 4+0,3. Nyt f 0 (x) = 1/(2 x)
ja f 0 (4) = 1/4, joten
√
4,3 = f (4 + 0,3) ≈ f (4) + f 0 (4) · (4,3 − 4) = 2 +
Voimme verrata tätä laskimen antamaan arvoon
y
√
1
· 0,3 = 2,075.
4
4,3 = 2,073644 · · · .
y = 2 + (1/4)(x − 4)
√
y= x
x
2
4 4,3
Määritelmä 5.38. Suureen suhteellinen virhe määritellään
suhteellinen virhe =
virhe
.
tarkka arvo Edellisessä esimerkissä suhteellinen virhe on
√
4,3 − 2,075 √
≈ 0,0007,
4,3
eli prosentteina 0,07 %.
Lineaarisen arvion käyttö on järkevää vain silloin, kun |h| on ”pieni”.
√
Esimerkiksi edellisen esimerkin approksimaatiota käyttäen arvio luvulle 2
olisi
√
2 = f (4 − 2) ≈ f (4) + f 0 (4) · (4 − 2) = 2 +
1
· (−2) = 1,5,
4
87
Insinöörimatematiikka 1u
missä on 6 %:n virhe.
Monissa sovelluksissa lineaarista arviota käytetään virheiden arvioimiseen. Mitataan suureen arvoksi x. Jos mittauksessa tehdään virhe ∆x, niin
suureen oikea arvo on x + ∆x. Oletetaan, että suure f riippuu x:stä, ts.
f = f (x). Nyt (5.35) tulee muotoon
f (x + ∆x) ≈ f (x) + f 0 (x)∆x
ja f :n virhettä ∆f = f (x + ∆x) − f (x) voidaan siten arvioida
∆f = f (x + ∆x) − f (x) ≈ f 0 (x)∆x.
(5.39)
Tässä yhteydessä suhteellinen virhe usein lasketaan arvioimalla
Esimerkiksi x:n
virhe
.
suhteellinen virhe ≈ mitattu arvo ∆x suhteellinen virhe ≈ ja f :n suhteellinen
x virhe ≈
∆f .
f (x) Esimerkki 5.40. Mitataan ympyrän säde r ja tämän mittaustuloksen perusteella lasketaan ympyrän pinta-ala A = A(r) = πr2 .
a) Mittaustulokseksi saadaan r = 32 ± 2 mm, ts. virhe |∆r| ≤ 2. Pinta-ala
on A(32) = π322 ≈ 3 200 mm2 ja A0 (r) = 2πr, joten virheelle saadaan arvio
(5.39)
|∆A| ≈ |A0 (32)∆r| = 64π|∆r| ≤ 64π · 2 ≈ 400 mm2 .
Pinta-ala on siis 3 200 ± 400 mm2 .
b) Säteen mittaamisessa tehdään korkeintaan 2 %:n virhe. Arvioi pinta-alan
prosentuaalista virhettä.
Ratkaisu. Koska |∆r|/r ≤ 0,02, niin voidaan arvioida
∆A (5.39)
≈
A |A0 (32)∆r|
|A0 (r)∆r|
2πr|∆r|
|∆r|
≈
=
=2
≤ 2 · 0,02 = 0,04.
2
A
A
πr
r
Pinta-alan suhteellisen virheen arvioidaan siis olevan korkeintaan 4 %.
Ketjusäännön (lause 5.14) todistus. Käytetään differentiaalikehitelmää
(5.33) ensin sisäfunktiolle g ja sitten ulkofunktiolle f :
(f ◦ g)(x + ∆x) = f (g(x + ∆x))
= f g(x) + g 0 (x)∆x + ∆xg (∆x)
|
{z
=:∆y
}
= f (g(x)) + f 0 (g(x))∆y + ∆yf (∆y)
= f (g(x)) + f 0 (g(x))g 0 (x)∆x + f 0 (g(x))∆xg (∆x) + ∆yf (∆y)
|
{z
=:∆x(∆x)
= (f ◦ g)(x) + f 0 (g(x))g 0 (x)∆x + ∆x(∆x),
}
88
Insinöörimatematiikka 1u
missä (∆x) → 0, kun ∆x → 0 (sillä tällöin myös ∆y → 0). Niinpä f ◦ g on
derivoituva ja derivaatta on f 0 (g(x))g 0 (x).
5.4
Ääriarvot ja funktion kulku
Määritelmä 5.41. Reaalifunktiolla f : A → R on pisteessä c ∈ A
• (globaali) maksimi, jos f (x) ≤ f (c) kaikilla x ∈ A,
• (globaali) minimi, jos f (x) ≥ f (c) kaikilla x ∈ A,
• lokaali maksimi, jos on olemassa c:n ympäristö I siten, että f (x) ≤ f (c)
kaikilla x ∈ I ∩ A,
• lokaali minimi, jos on olemassa c:n ympäristö I siten, että f (x) ≥ f (c)
kaikilla x ∈ I ∩ A.
Pistettä c kutsutaan ääriarvopisteeksi (minimipisteeksi tai maksimipisteeksi) ja arvoa f (c) ääriarvoksi (minimiarvoksi tai maksimiarvoksi). Funktion
f globaalia maksimiarvoa joukossa A merkitään maxA f tai max f ja minimiarvoa minA f tai min f .
Tyypillisesti tarkastelujoukko on suljettu ja rajoitettu väli, ts. A = [a, b].
globaali maksimi
y = f (x)
lokaali maksimi
a
x
c
b
I
globaali minimi
Todistamatta otamme käyttöön seuraavan tuloksen. Todistuksessa (ks. [5,
Appendix E]) tarvitaan supremumin käsitettä ja täydellisyysaksioomaa.
Lause 5.42. Suljetulla ja rajoitetulla välillä jatkuva funktio saavuttaa suurimman ja pienimmän arvonsa kyseisellä välillä. Tarkemmin: jos f on jatkuva välillä [a, b], niin on olemassa c ja d ∈ [a, b] siten, että f (c) on f :n
maksimi ja f (d) on f :n minimi välillä [a, b].
89
Insinöörimatematiikka 1u
Seuraavat esimerkit osoittavat, että kaikki lauseen 5.42 oletukset (väli on
suljettu, väli on rajoitettu ja funktio on jatkuva) ovat tarpeen.
Esimerkki 5.43. a) f : [−1, 2) → R, f (x) = x2 . Funktio on jatkuva ja väli
on rajoitettu, mutta väli ei ole suljettu. f :llä on minimi f (0) = 0, muttei
maksimia.
b) g : [−1, ∞) → R, g(x) = x2 . Funktio on jatkuva ja väli on suljettu, mutta
väli ei ole rajoitettu. f :llä on minimi g(0) = 0, muttei maksimia.
c) h : [−1, 2] → R, h(x) =

−2x − 1,
 x2 ,
kun x < 0,
kun x ≥ 0.
Väli on suljettu ja rajoitettu, mutta funktio ei ole jatkuva. h:lla on maksimi
h(2) = 4, muttei minimiä.
y = h(x)
y = f (x)
y = g(x)
x
−1
2
x
−1
x
−1
2
Lause 5.44. Jos c on f :n lokaali ääriarvokohta ja f on derivoituva pisteessä
c, niin f 0 (c) = 0.
Todistus. Oletetaan, että c on lokaali maksimipiste. Koska f on derivoituva,
niin
f (c + h) − f (c)
f (c + h) − f (c)
f 0 (c) = lim
= lim
h→0−
h→0+
h
h
ja koska c on lokaali maksimipiste, niin f (c + h) − f (c) ≤ 0 pienillä h. Siten
pienillä h > 0 on
f (c + h) − f (c)
≤0
h
ja niinpä
f (c + h) − f (c)
f 0 (c) = lim
≤ 0.
h→0+
h
Vastaavasti pienillä h < 0 on
f (c + h) − f (c)
≥0
h
90
Insinöörimatematiikka 1u
ja siten
f (c + h) − f (c)
≥ 0.
h
Nyt f 0 (c) ≤ 0 ja f 0 (c) ≥ 0, joten on oltava f 0 (c) = 0.
f 0 (c) = lim
h→0−
Derivoituvan funktion lokaalit ääriarvot löytyvät nyt lauseen 5.44 mukaan
derivaatan nollakohtien joukosta. Aina derivaatan nollakohta ei kuitenkaan
ole ääriarvokohta:
4
1
Esimerkki 5.45. Olkoon f (x) = x4 − x3 + 2x2 − 1. Haetaan derivaatan
4
3
f 0 (x) = x3 − 4x2 + 4x nollakohdat:
x3 − 4x2 + 4x = 0
⇔ x(x2 − 4x + 4) = 0
⇔ x = 0 tai x2 − 4x + 4 = 0
⇔ x = 0 tai x = 2
Näistä x = 0 on lokaali minimipiste, mutta x = 2 ei ole lokaali ääriarvopiste
(kuten lauseen 5.53 avulla voidaan perustella).
y
y = f (x)
x
2
Määritelmä 5.46. Pistettä c, jossa f 0 (c) = 0 tai jossa f ei ole derivoituva,
kutsutaan f :n kriittiseksi pisteeksi.
Edellisestä lauseesta seuraa suoraan:
Lause 5.47. Olkoon f : [a, b] → R jatkuva funktio ja olkoon c f :n ääriarvopiste. Silloin c on joko kriittinen piste tai välin [a, b] päätepiste.
Lause voidaan muotoilla seuraavaksi globaalien ääriarvojen etsintäohjeeksi
suljetulla välillä [a, b] jatkuvalle funktiolle f :
(1) Etsi kriittiset pisteet, ts. derivaatan nollakohdat ja pisteet, joissa f ei
ole derivoituva.
91
Insinöörimatematiikka 1u
(2) Laske f :n arvo kriittisissä pisteissä ja välin päätepisteissä a ja b.
(3) Poimi saamistasi arvoista suurin ja pienin.
Esimerkki 5.48. Etsi funktion f (x) = x3 − 3x2 − 9x + 2 suurin ja pienin
arvo välillä [−2, 2].
Ratkaisu. f on derivoituva ja f 0 (x) = 3x2 − 6x − 9. Ratkaisukaavalla tämän nollakohdiksi saadaan x = −1 ja x = 3, joista vain ensin mainittu on
tarkasteluvälillä. Lasketaan f :n arvot päätepisteissä ja kriittisessä pisteessä:
f (−2) = 0, f (−1) = 7 ja f (2) = −20. Siten f :n pienin arvo on −20 ja suurin
arvo 7.
Esimerkki 5.49. Määritä funktion f (x) = x2/3 − x suurin ja pienin arvo
välillä −1 ≤ x ≤ 1/2.
Ratkaisu. f on jatkuva ja f 0 (x) = 23 x−1/3 − 1, kun x 6= 0. Pisteessä x = 0 f
ei ole derivoituva, koska |f 0 (x)| → ∞, kun x → 0.1 f 0 :n nollakohdat:
−3
2 −1/3
3
3
x
− 1 = 0 ⇔ x−1/3 =
⇔ x=
3
2
2
=
8
.
27
Välillä [−1, 1/2] on siis kriittiset pisteet 0 ja 8/27. Lasketaan f :n arvot päätepisteissä ja kriittisissä pisteissä: f (−1) = 2, f (0) = 0, f (8/27) = 4/27 ≈ 0,15
ja f (1/2) ≈ 0,13. Siten f :n pienin arvo on 0 ja suurin 2. Funktion kuvaaja
hahmotellaan esimerkissä 5.55.
Lause 5.50 (Rollen lause). Oletetaan, että f on jatkuva välillä [a, b] ja derivoituva välillä (a, b). Jos f (a) = f (b) = 0, niin f 0 (c) = 0 eräällä c ∈ (a, b).
Todistus. Lauseen 5.42 mukaan f saavuttaa maksiminsa ja miniminsä välillä
[a, b]. Jos f saa positiivisia arvoja, niin f :n maksimi on pisteessä c ∈ (a, b),
koska f (a) = f (b) = 0. Lauseen 5.44 mukaan tällöin f 0 (c) = 0. Vastaavasti
käy jos f saa negatiivisia arvoja. Jos f on nolla koko välillä [a, b], niin f 0 (c) =
0 kaikilla c ∈ (a, b).
Rollen lause on tekninen apuneuvo väliarvolauseen todistamiseksi:
Lause 5.51 (Differentiaalilaskennan väliarvolause, DVAL). Oletetaan, että
f on jatkuva välillä [a, b] ja derivoituva välillä (a, b). Silloin eräällä c ∈ (a, b)
on
f (b) − f (a)
f 0 (c) =
.
b−a
1
Tämän perustelu sivuutetaan. Lisäksi on huomattava, että f voi olla derivoituva,
vaikka f 0 :lla ei olisikaan raja-arvoa (ks. huomautus 5.61 b). Käytännössä kuitenkin ääriarvotehtävissä tarkastetaan kaikki pisteet, joissa f 0 :lla ei ole raja-arvoa, sillä menetelmän ideana on vain rajata tarkastettavien pisteiden joukko riittävän pieneksi, jotta niiden
läpikäynti olisi mahdollista.
92
Insinöörimatematiikka 1u
Todistus. Funktio
F (x) = f (x) − f (a) −
f (b) − f (a)
(x − a)
b−a
toteuttaa Rollen lauseen oletukset välillä [a, b] (tarkasta!) ja
F 0 (x) = f 0 (x) −
f (b) − f (a)
.
b−a
Niinpä eräällä c ∈ (a, b) on
0 = F 0 (c) = f 0 (c) −
f (b) − f (a)
.
b−a
Geometrisesti lauseen väite on ilmeinen: tangentin kulmakerroin on jossakin
välin pisteessä c sama kuin pisteiden (a, f (a)) ja (b, f (b)) kautta kulkevan
suoran kulmakerroin.
(b, f (b))
(a, f (a))
a
c
x
b
Väliarvolauseesta seuraa keskeiset funktion kulusta kertovat lauseet.
Lause 5.52. Oletetaan, että f on jatkuva välillä [a, b] ja että f 0 (x) = 0
kaikilla x ∈ (a, b). Silloin f on vakiofunktio.
Todistus. Olkoon x ∈ (a, b]. Sovelletaan väliarvolausetta välillä [a, x]: eräällä
c ∈ (a, x) on
f (x) − f (a)
0 = f 0 (c) =
.
x−a
Siten f (x) − f (a) = 0 eli f (x) = f (a).
Lause 5.53. Oletetaan, että f on jatkuva välillä [a, b] ja että f 0 (x) > 0
(f 0 (x) < 0) kaikilla x ∈ (a, b). Silloin f on aidosti kasvava (aidosti vähenevä)
välillä [a, b].
93
Insinöörimatematiikka 1u
Todistus. Olkoon f 0 (x) > 0 kaikilla x ∈ (a, b) (tapaus f 0 (x) < 0 vastaavasti).
Olkoot u ja v ∈ [a, b], u < v. On osoitettava, että f (u) < f (v). Sovelletaan
väliarvolausetta välillä [u, v]:
f 0 (c) =
f (v) − f (u)
⇔ f (v) − f (u) = f 0 (c)(v − u).
v−u
Koska f 0 (c) > 0 ja v − u > 0, niin f (v) − f (u) > 0 ja siten f (u) < f (v).
Esimerkki 5.54. Funktion f (x) = x3 − 3x + 1 derivaatan f 0 (x) = 3x2 − 3
nollakohdat ovat x = −1 ja x = 1. Laskemalla f 0 joissakin välien (−∞, −1),
(−1, 1) ja (1, ∞) pisteissä saadaan selville derivaatan merkki ko. väleillä ja
siten funktion kasvusuunta: f 0 (−2) = 9 > 0, f 0 (0) = −3 < 0 ja f (2) =
9 > 0, joten f on vähenevä keskimmäisellä välillä ja kasvava muualla. Tieto
voidaan koota kuvan mukaiseksi merkkikaavioksi. Merkkikaaviosta voidaan
myös päätellä, onko kriittisessä pisteessä lokaali minimi tai maksimi.
y
f0
f
y = x3 − 3x + 1
−1
1
+++ −−− +++
%
&
%
max
min
x
−1
1
Lausetta 5.53 voidaan yrittää soveltaa sopivilla osaväleillä, vaikka f ei olisikaan derivoituva koko välillä tai f :n määrittelyjoukko ei olisi suljettu ja
rajoitettu väli.
Esimerkki 5.55. Tutkitaan esimerkin 5.49 funktion f (x) = x2/3 − x kulkua.
Derivaatan f 0 (x) = 23 x−1/3 − 1 ainoa nollakohta on 8/27. Lisäksi pisteessä
x = 0 f ei ole derivoituva.
94
Insinöörimatematiikka 1u
y
8
27
0
f0
f
−−− +++ −−−
&
%
&
min
max
x
8
27
y = x2/3 − x
Esimerkki 5.56. Tutkitaan funktion
f (x) =
x2
1
−x
kulkua. Nimittäjän x2 − x = x(x − 1) nollakohdissa x = 0 ja x = 1 f ei ole
määritelty. Derivaatan
−2x + 1
f 0 (x) = 2
(x − x)2
nimittäjä on määrittelyjoukossa positiivinen, joten derivaatan merkki määräytyy osoittajasta −2x + 1, jonka ainoa nollakohta on x = 1/2.
y
0
f0
f
1
2
1
+ + − −
% % & &
max
y=
1
2
x2
1
−x
x
1
Differentiaalilaskennan väliarvolause antaa työkalun, jolla käytännössä lasketaan toispuoleiset derivaatat:
95
Insinöörimatematiikka 1u
Lause 5.57. Oletetaan, että f on jatkuva välillä [a, b] ja derivoituva välillä
(a, b). Jos derivaatalla on olemassa raja-arvo
L = lim f 0 (x),
x→a+
(5.58)
niin silloin f :llä on a:ssa oikeanpuoleinen derivaatta f 0 (a+) ja f 0 (a+) = L.
Vastaava tulos pätee vasemmanpuoleiselle derivaatalle f 0 (b−).
Todistus. Olkoon x > a, x ∈ (a, b). Sovelletaan differentiaalilaskennan väliarvolausetta välillä [a, x]: eräällä c(x) ∈ (a, x) on
f (x) − f (a)
= f 0 (c(x)).
x−a
Tehdään näin jokaisella x ∈ (a, b) ja tutkitaan em. erotusosamäärän rajaarvoa. Koska c(x) → a+, kun x → a+, niin
f 0 (a+) = lim
x→a+
f (x) − f (a)
= lim f 0 (c(x)) = lim f 0 (c) = L.
x→a+
c→a+
x−a
Esimerkki 5.59. Tarkastellaan itseisarvofunktiota f (x) = |x|. Koska

−x,
f (x) = 
x,
kun x < 0,
kun x ≥ 0,
niin f (x) on derivoituva, kun x 6= 0:

−1,
f 0 (x) = 
1,
kun x < 0,
kun x > 0.
Pisteessä x = 0 f (x) ei ole derivoituva, sillä f on jatkuva ja
f 0 (0−) = lim f 0 (x) = −1 6= 1 = lim f 0 (x) = f 0 (0+).
x→0−
x→0+
Pisteessä x = 0 f :n kuvaajalla on kulma.
Esimerkki 5.60. Määrää vakiot a ja b siten, että funktio

x + a,
f (x) = 
2
bx ,
kun x < 1,
kun x ≥ 1
on derivoituva R:ssä.
Ratkaisu. f on polynomina derivoituva, kun x 6= 1. Jotta f olisi jatkuva
pisteessä x = 1, on oltava
lim f (x) = lim (x + a) = 1 + a = b = f (1).
x→1−
x→1−
96
Insinöörimatematiikka 1u
Derivoituvuuteen pisteessä x = 1 vaaditaan
f 0 (1−) = lim f 0 (x) = lim 1 = 1 = 2b = lim 2bx = lim f 0 (x) = f 0 (1+).
x→1−
x→1−
x→1+
x→1+
Yhtälöparista

1 + a
=b
1 = 2b
saadaan ratkaisuksi a = −1/2 ja b = 1/2. Geometrisesti on kyse suoran ja
paraabelin liittämisestä pisteessä x = 1 siten, että kuvaajaan ei jää kulmaa.
Piirrä kuva!
Huomautus 5.61. a) Lauseen 5.57 oletus jatkuvuudesta on oleellinen. Esimerkiksi esimerkin 4.32 funktiolle lim f 0 (x) = −1, mutta f :llä ei ole oikeanx→1+
puoleista derivaattaa f 0 (1+).
b) Oletus (5.58) tarkoittaa, että f 0 on oikealta jatkuva pisteessä a. Aina
näin ei ole derivoituvallekaan funktiolle: esimerkiksi funktiolle
f (x) =


x2 sin

0,
1
, kun x 6= 0,
x
kun x = 0,
on f 0 (0) = 0, mutta raja-arvoa lim f 0 (x) ei ole olemassa.
x→0+
Joskus funktion f : R → R kuvaajan hahmottelemisessa voidaan käyttää
asymptootteja. Sanotaan, että suora y = ax + b on kuvaajan y = f (x)
asymptootti, jos
lim (f (x) − (ax + b)) = 0
x→∞
tai
lim (f (x) − (ax + b)) = 0.
x→−∞
y = f (x)
y = ax + b
f (x) − (ax + b)
x
Suora x = a on kuvaajan y = f (x) pystysuora asymptootti, jos
lim f (x) = ±∞
x→a−
tai
lim f (x) = ±∞.
x→a+
97
Insinöörimatematiikka 1u
Esimerkki 5.62. Hahmotellaan funktion f (x) =
x2 − 2x − 3
kuvaaja.
x+2
lim f (x) = ±∞
x→−2±
(miksi?), joten kuvaajalla on pystysuora asymptootti x = −2. Derivaatan
(2x − 2)(x + 2) − (x2 − 2x − 3)
x2 + 4x − 1
=
(x + 2)2
(x + 2)2
√
nollakohdat: x2 + 4x − 1 = 0 ⇔ x = −2 ± 5. Lisäksi f ei ole derivoituva,
kun x = −2. Kulkukaavio:
√
√
−2
−2 + 5
−2 − 5
f 0 (x) =
≈ −4,2
f0
f
≈ 0,3
−
&
−
&
f (x) = x − 4 +
5
.
x+2
+
%
+
%
Jakolaskulla nähdään, että
5
= 0, joten suora y = x − 4 on asymptootti.
x→±∞ x + 2
Piirtämällä asymptootit ja laskemalla f :n arvot derivaatan nollakohdissa
(jotka on merkitty kuvaan x-akselille) voidaan hahmotella kuvaaja:
Tässä lim
y
x = −2
y=
x2 −2x−3
x+2
y =x−4
x
98
Insinöörimatematiikka 1u
Esimerkki 5.63. Halutaan valmistaa puolen litran vetoinen suoran ympyrälieriön muotoinen säilyketölkki. Vaippa ja pohjat valmistetaan ohuesta metallilevystä. Miten tölkin korkeus ja pohjan halkaisija on valittava, jotta levyä
kuluisi mahdollisimman vähän? (Vaipan ja pohjan liitoskohdissa tarvittaviin
taitoksiin kuluva levy jätetään yksinkertaisuuden vuoksi huomiotta.)
Ratkaisu. Olkoon tölkin korkeus h cm ja pohjan halkaisija d cm. Tölkin
tilavuus on 500 cm3 , joten
d
π
2
!2
h = 500.
Tästä voidaan ratkaista yksi muuttuja toisen avulla, esimerkiksi
500
h=
π
2 .
d
2
Tölkin pinta-ala on (vaipan ala) + 2·(pohjan ala) eli
d
πdh + 2π
2
!2
500
d
= πd 2 + 2π
2
π d
!2
=
2000 π 2
+ d = f (d).
d
2
2
On selvitettävä funktion f (d) pienin arvo joukossa d > 0. Lasketaan derivaatta
2000
f 0 (d) = − 2 + πd
d
ja sen nollakohta:
2000
= πd
d2
s
⇔
d=
3
s
2000
2
= 10 3
π
π
Koska −2000/d2 ja πd ovat kasvavia funktioita joukossa d >
q 0, niin derivaatta on kasvava funktio ja siten negatiivinen kohdan d = 10 3 2/π vasemmalla
ja positiivinen oikealla puolella. (Vaihtoehtoisesti kulkukaavion
q muodostamiseksi voidaan laskea derivaatta esimerkiksi kohdissa 1 < 10 3 2/π < 10.)
q
Siten f (d):n minimi saavutetaan kohdassa d = 10 3 2/π. Tällöin
500
h=
π
2
d
2
s
= 10 3
2
.
π
q
Vastaus. On valittava korkeus = pohjan halkaisija = 10 3 2/π ≈ 8,6 cm.
Insinöörimatematiikka 1u
5.5
99
Korkeammat derivaatat
Jos derivoituvan funktion f derivaatta f 0 on derivoituva, niin sen derivaattaa
D(f 0 (x)) kutsutaan f :n toiseksi derivaataksi ja merkitään
f 00 (x) = f (2) (x) = D(f 0 (x)).
Vastaavasti määritellään f :n kolmas derivaatta
f 000 (x) = f (3) (x) = D(f 00 (x))
ja yleisesti n:s derivaatta
f (n) (x) = D(f (n−1) (x)).
Esimerkki 5.64. Lasketaan funktion f (x) = x3 + x3/2 neljä ensimmäistä
derivaattaa:
3
f 0 (x) = 3x2 + x1/2
2
3
f 00 (x) = 6x + x−1/2
4
3
f (3) (x) = 6 − x−3/2
8
9
f (4) (x) = x−5/2
16
Korkeampia derivaattoja käytetään kurssilla Insinöörimatematiikka 3u funktion approksimointiin. Toisen derivaatan avulla voidaan tutkia derivaatan
kulkua ja siten tehdä tarkempia päätelmiä f :n käyttäytymisestä.
Lause 5.65. Olkoon f kahdesti derivoituva välillä (a, b) ja olkoon c ∈ (a, b)
f :n kriittinen piste, ts. f 0 (c) = 0.
• Jos f 00 (x) > 0 välillä (a, b), niin c on f :n lokaali minimipiste.
• Jos f 00 (x) < 0 välillä (a, b), niin c on f :n lokaali maksimipiste.
Todistus. Jos f 00 (x) > 0, niin f 0 on kasvava välillä (a, b) ja siten sen merkki
vaihtuu negatiivisesta positiiviseksi pisteesä c. Silloin c on f :n lokaali minimipiste. Tapaus f 00 (x) < 0 vastaavasti.
Esimerkki 5.66. Esimerkin 5.54 funktion f (x) = x3 − 3x + 1 derivaatalla
f 0 (x) = 3x2 − 3 on nollakohta pisteessä x = 1. Toinen derivaatta f 00 (x) =
6x on positiivinen pisteen x = 1 ympäristössä, joten x = 1 on f lokaali
minimipiste.
100
Insinöörimatematiikka 1u
Määritelmä 5.67. Kahdesti derivoituva funktio f on välillä (a, b) alaspäin
kupera (concave upward), jos f 00 (x) > 0 välillä (a, b) ja ylöpäin kupera (concave downward), jos f 00 (x) < 0 välillä (a, b). Pistettä x, jossa kuperuussuunta
(eli toisen derivaatan merkki) muuttuu kutsutaan käännepisteeksi (inflection
point).
Alaspäin kuperan funktion derivaatta on kasvava funktio, joten funktion kuvaaja kaareutuu ylöspäin ja funktion kuvaaja on minkä tahansa tangenttisuoransa yläpuolella. Vastaavasti ylöspäin kuperan funktion derivaatta on
vähenevä, joten funktion kuvaaja kaareutuu alaspäin ja funktion kuvaaja on
minkä tahansa tangenttisuoransa alapuolella.
alaspäin kupera
ylöspäin kupera
Esimerkki 5.68. Tarkastellaan funktiota f (x) = sin x välillä (−π, π). Nyt
f 0 (x) = cos x ja f 00 (x) = − sin x. Pisteessä x = 0 toisen derivaatan merkki
muuttuu positiivisesta negatiiviseksi ja siten f :n kuvaaja alaspäin kuperasta
ylöspäin kuperaksi. Piste x = 0 on f :n käännepiste.
y
y = sin x
x
5.6
l’Hôspital’n sääntö
l’Hôspitalin säännöllä voidaan yrittää selvittää raja-arvoa epämääräisessä
.
tapauksessa 00 tai ∞
∞
101
Insinöörimatematiikka 1u
Lause 5.69 (l’Hôspitalin sääntö). Olkoot f ja g derivoituvia ja g 0 (x) 6= 0
pisteen a punkteeratussa ympäristössä. Jos
lim f (x) = 0 = x→a
lim g(x),
x→a
niin
f (x)
f 0 (x)
= lim 0
,
x→a g(x)
x→a g (x)
lim
mikäli jälkimmäinen raja-arvo on olemassa.
Vastaavat tulokset ovat voimassa myös tapauksissa a = ±∞ ja lim f (x) =
x→a
∞ = x→a
lim g(x).
Todistus. Todistetaan väite siinä tapauksessa, että f ja g ovat derivoituvia
myös a:ssa, g 0 (a) 6= 0 ja f 0 ja g 0 ovat jatkuvia. Silloin f ja g ovat jatkuvia
a:ssa ja siten f (a) = g(a) = 0, ja lausetta 5.57 ja derivaatan määritelmää
käyttäen saadaan
f (x) − f (a)
f (x)
f (a)
f (x)
x→a
x−a
= x→a
lim
= x→a 0
= 0
=
.
lim
x→a g 0 (x)
g(x)
−
g(a)
lim g (x)
g (a)
g(x)
x→a
lim
x→a
x−a
Yleinen tapaus: ks. [5, Appendix H].
0
lim f 0 (x)
0
lim
1
1
1
ln x 00
x
=
lim
=
lim
=
x→1 2x
x→1 2x2
x→1 x2 − 1
2
Esimerkki 5.70. a) lim
b) x→∞
lim
ln(2x) ∞
∞
=
lim
x→∞
ln x
2
2x
1
x
= x→∞
lim 1 = 1
x − sin x 00
1 − cos x 00
sin x 00
cos x
1
=
lim
=
lim
= lim
=
3
2
x→0
x→0
x→0
x→0
x
3x
6x
6
6
Kohdassa c ideana on, että sovelletaan l’Hôspitalin sääntöä toistuvasti, kunnes nimittäjäpolynomin aste on nolla.
c) lim
Huomautus 5.71. On syytä muistaa, että l’Hôspitalin sääntö sopii vain
tapauksiin 00 tai ∞
, ei esimerkiksi tapauksiin 10 tai ∞
.
∞
0
ex
Esimerkki 5.72. Olkoon n ∈ N. Tutkitaan raja-arvoa lim n soveltamalla
x→∞ x
toistuvasti l’Hôspitalin sääntöä:
ex
ex
ex
ex
lim
=
lim
=
lim
=
lim
x→∞ xn
x→∞ nxn−1
x→∞ n(n − 1)xn−2
x→∞ n(n − 1)(n − 2)xn−3
x
e
ex
= · · · = lim
=
lim
= ∞.
x→∞ n(n − 1)(n − 2) · · · 2x1
x→∞ n(n − 1)(n − 2) · · · 2 · 1
102
Insinöörimatematiikka 1u
Tulos pätee muillekin kuin x:n kokonaislukueksponenteille:
ex
= ∞ (a > 0).
x→∞ xa
lim
(5.73)
Vastaavalla tavoin nähdään, että
xa
= ∞ (a > 0).
x→∞ ln x
lim
(5.74)
Eksponentti-, potenssi- ja logaritmifunktiot voidaan siis asettaa kasvunopeuden suhteen seuraavaan järjestykseen:
• Eksponenttifunktio ex kasvaa nopeammin kuin mikä tahansa potenssifunktio xa .
• Logaritmifunktio ln x kasvaa hitaammin kuin mikä tahansa potenssifunktio xa .
6
Kompleksiluvut [11, Appendix C–D]
Joukkoa N laajempien lukujoukkojen käyttöönottoa voidaan perustella erilaisten yhtälöiden ratkaisujen hakemisella:
Yhtälö
x+2=5
x+5=2
2x = 3
x2 = 2
x2 + 1 = 0
Ratkaisu
x=3∈N
x = −3 ∈ Z \ N
3
x=√
∈Q\Z
2
x= 2∈R\Q
ei reaalista ratkaisua
Tässä myös viimeisellä yhtälöllä on ratkaisu, kunhan otamme käyttöön reaalilukuja laajemman kompleksilukujen joukon C. Lukujoukkoja siis laajennetaan järjestyksessä N ⊂ Z ⊂ Q ⊂ R ⊂ C.
Tavoitteena on oppia laskemaan kompleksilukujen peruslaskutoimituksia
sekä koordinaatti- että napakoordinaattimuodossa, hakemaan kompleksiluvun juuret ja jakamaan polynomi tekijöihin.
103
Insinöörimatematiikka 1u
6.1
Peruslaskutoimitukset
Määritelmä 6.1. Kompleksilukujen joukko C koostuu reaalilukupareista
z = (a, b) ∈ R2 , joita merkitään z = a + bi ja joille määritellään summa
kaavalla
(a + bi) + (c + di) = (a + c) + (b + d)i
ja tulo kaavalla
(a + bi)(c + di) = (ac − bd) + (ad + bc)i.
Alkiota z ∈ C kutsutaan kompleksiluvuksi (complex number).
Käytetään myös merkintöjä
a + bi = a + ib = a + bj = a + jb.
Kompleksilukuja voidaan havainnollistaa esittämällä ne pisteinä tai vektoreina kompleksitasossa (complex plane).
Im
1 + 2i
−1 + i
3
−3 − 2i
Re
−2i
Kompleksiluku a+0i samastetaan reaaliluvun a kanssa ja merkitään a+0i =
a. Niinpä voidaan tulkita, että R ⊂ C. Samoin voidaan merkitä 0 + bi = bi.
Erityisesti
1 = (1, 0) = 1 + 0i
ja
i = (0, 1) = 0 + 1i.
Kompleksilukua i kutsutaan imaginaariyksiköksi (imaginary unit). Negatiivisten koordinaattien tapauksessa merkitään esimerkiksi (−2) + (−3)i =
−2 − 3i.
Olkoon z = a + bi kompleksiluku. Tällöin
• a = Re z on z:n reaaliosa ja
104
Insinöörimatematiikka 1u
• b = Im z on z:n imaginaariosa.
• Jos b = 0, on z reaalinen,
• jos b 6= 0, on z imaginaarinen ja
• jos a = 0 ja b 6= 0, on z puhtaasti imaginaarinen.
Kompleksiluvut ovat samoja, jos niiden reaali- ja imaginaariosat ovat samoja:
z = w jos ja vain jos Re z = Re w ja Im z = Im w.
Määritelmä 6.2. Kompleksiluvun z = a + bi vastaluku (negative) on
−z = −a − bi
(jolloin z + (−z) = 0). Kompleksilukujen z = a + bi ja w = c + di erotus
(difference) z − w määritellään
z − w = z + (−w) = (a − c) + (b − d)i.
Lasketaan reaaliluvun t = t + 0i ja kompleksiluvun a + bi tulo määritelmän
6.1 mukaan:
t(a + bi) = (t + 0i)(a + bi) = (ta − 0 · b) + (tb + 0 · a)i = ta + tbi,
eli sekä reaali- että imaginaariosa kerrotaan luvulla t. Näin ollen kompleksiluvuille yhteenlasku, vastaluku, erotus ja reaaliluvulla kertominen toimivat
täsmälleen samoin kuin vastaavat operaatiot tasovektoreille, joten geometriset tulkinnat ovat myös samat kuin tasovektoreille:
Im
z =2+i
w = 1 + 2i
z + w = 3 + 3i
Im
z+w
w
z =2+i
−z = −2 − i
z
z
Re
Re
−z
105
Insinöörimatematiikka 1u
Im
Im
w
z−w
z
Re
z =2+i
w = −1 + 3i
z − w = 3 − 2i
z =2+i
3
z = 3 + 32 i
2
− 12 z = −1 − 12 i
1
z
2
z
3
z
2
Re
−w
z + (−w)
− 12 z
− 32 z
Esimerkki 6.3. a) Re(−2 − 3i) = −2 ja Im(−2 − 3i) = −3
b) (3 − 2i) − (−5 + 3i) = 8 − 5i
Lause 6.4. i2 = i · i = −1.
Todistus. Kirjoitetaan i = 0 + 1i ja lasketaan tulo määritelmän 6.1 mukaan.
Nyt a = c = 0 ja b = d = 1, joten
i2 = i · i = (0 + 1i)(0 + 1i) = (0 · 0 − 1 · 1) + (0 · 1 + 1 · 0)i
= −1 + 0i = −1.
Lasketaan nyt kompleksilukujen a + bi ja c + di tulo auki kertomalla aivan
kuten reaalisia binomeja ja ottamalla huomioon tulos i2 = −1:
2
(a + bi)(c + di) = ac + adi + bci + bdi
|{z} = (ac − bd) + (ad + bc)i.
=−bd
Tulos on sama kuin määritelmässä 6.1, joten tulo voidaan laskea siten, että
suoritetaan kertolasku aivan kuten i olisi reaaliluku ja sievennetään i2 = −1.
Tulon geometriseen tulkintaan palataan myöhemmin.
Esimerkki 6.5. (−3 − 2i)(5 + i) = −15 − 3i − 10i − 2i2 = −13 − 13i
Lause 6.6. Jokaisella kompleksiluvulla z 6= 0 on olemassa yksikäsitteinen
käänteisluku (reciprocal) z −1 , jolle pätee zz −1 = 1.
Todistus. Käänteisluvun olemassaolo: Olkoon z = a + bi 6= 0. Voidaan valita
z −1 =
a2
a
b
− 2
i,
2
+b
a + b2
(6.7)
jolloin zz −1 = · · · = 1, kuten voit suoralla laskulla tarkastaa.
Yksikäsitteisyys: Jos u ja v ovat z:n käänteislukuja, ts. zu = 1 ja zv = 1,
niin zu = zv ja siten uzu = uzv. Koska myös uz = 1, niin 1 · u = 1 · v ja
siten u = v.
106
Insinöörimatematiikka 1u
z
Määritelmä 6.8. Kompleksilukujen z ja w osamäärä (quotient) , missä
w
w 6= 0, määritellään asettamalla
z
= zw−1 .
w
Erityisesti
1
= 1 · z −1 = z −1 .
z
Reaaliluvuille a = a+0i ja b = b+0i kompleksiset laskutoimitukset (yhteen-,
vähennys-, kerto- ja jakolasku) antavat samat tulokset kuin vastaavat reaaliset laskutoimitukset. Lisäksi seuraavan lauseen mukaan kompleksiset laskutoimitukset toteuttavat samat peruslait kuin reaalilukujen laskutoimitukset.
Siten kompleksilukujen laskutoimitukset laajentavat reaalilukujen laskutoimitukset R2 :een.2
Lause 6.9. Kaikilla x, y ja z ∈ C pätee:
x + y = y + x ja xy = yx
x + (y + z) = (x + y) + z ja x(yz) = (xy)z
x(y + z) = xy + xz
(vaihdantalait)
(liitäntälait)
(osittelulaki)
Todistus. Nämä voidaan todistaa suorilla laskuilla. Todistetaan esimerkiksi
tulon vaihdantalaki: Merkitään x = x1 + x2 i ja y = y1 + y2 i. Tällöin
xy = (x1 + x2 i)(y1 + y2 i)
= x1 y1 + x1 y2 i + x2 y1 i + x2 y2 i2
= y 1 x1 + y 1 x2 i + y 2 x1 i + y 2 x2 i 2
= (y1 + y2 i)(x1 + x2 i) = yx.
Lemma 6.10. Kompleksiluvuille z, w 6= 0 pätee z −1 w−1 = (zw)−1 , ts.
1 1
1
· =
.
z w
zw
Todistus. zz −1 = 1 ja ww−1 = 1, joten
(zw) z −1 w−1 = zz −1
ww−1 = 1 · 1 = 1.
Niinpä z −1 w−1 on luvun zw käänteisluku, mitä väitettiinkin.
2
R varustettuna laskutoimituksilla (+, ·) on kunta (ks. [3]) ja C varustettuna vastaavilla
laskutoimituksilla on reaalilukukunnan kuntalaajennus.
107
Insinöörimatematiikka 1u
Tästä lemmasta seuraa, että laventaminen ja supistaminen on luvallista: jos
z 6= 0, niin z(1/z) = 1 ja siten
v 1
11
1
vz
v
= z = vz
= vz
=
.
w
w z
wz
wz
wz
Esimerkki 6.11. a) Ilmoita luvun 2 + 3i käänteisluku muodossa a + bi.
Ratkaisu. Voitaisiin käyttää kaavaa (6.7), mutta on yksinkertaisempaa laventaa luvulla 2 − 3i:
(2 + 3i)−1 =
1
2 − 3i
2 − 3i
2
3
2 − 3i
=
=
=
− i.
=
2
2 + 3i
(2 + 3i)(2 − 3i)
4 − 9i
13
13 13
Voit tarkastaa vastauksen suoralla laskulla:
2
3
− i = · · · = 1.
(2 + 3i)
13 13
3 − 4i
b) Ilmoita luku
muodossa a + bi.
−2 + i
Ratkaisu. Lavennetaan luvulla −2 − i:
3 − 4i
(3 − 4i)(−2 − i)
−10 + 5i
=
=
= −2 + i.
−2 + i
(−2 + i)(−2 − i)
5
c) Ratkaise z yhtälöstä (2 − i)z = 1 + i.
Ratkaisu. Jaetaan yhtälö puolittain (2 − i):llä:
z=
6.2
1+i
(1 + i)(2 + i)
1 + 3i
1 3
=
=
= + i.
2−i
(2 − i)(2 + i)
5
5 5
Liittoluku ja itseisarvo
Määritelmä 6.12. Kompleksiluvun z = a + bi liittoluku eli kompleksikonjugaatti (conjugate) z määritellään asettamalla
z = a − bi.
Esimerkissä 6.11 lavennettiin siis nimittäjän liittoluvulla. Geometrisesti liittoluvun hakeminen vastaa peilausta reaaliakselin suhteen:
Im
z = a − bi
Re
z = a + bi
108
Insinöörimatematiikka 1u
Esimerkki 6.13. −2 − 3i = −2 + 3i
Lause 6.14.
(1) z = z
(2) z + w = z + w
(3) zw = z · w
(4) z/w = z/w
(w 6= 0)
(5) z ∈ R jos ja vain jos z = z
Todistus. (2) Merkitään z = a + bi ja w = c + di. Nyt
z + w = (a + c) + (b + d)i = (a + c) − (b + d)i = (a − bi) + (c − di) = z + w.
Muut kohdat todistetaan samaan tapaan. (1) ja (5) ovat lisäksi geometrisesti
ilmeisiä väittämiä.
Määritelmä 6.15. Kompleksiluvun z = a+bi itseisarvo eli moduli (absolute
value, modulus) |z| määritellään asettamalla
√
|z| = a2 + b2 .
Geometrisesti itseisarvo on luvun paikkavektorin pituus.
q
√
Esimerkki 6.16. | − 2 − 3i| = (−2)2 + (−3)2 = 13
Lause 6.17.
(0) |z|2 = zz
(1) |z| = 0 jos ja vain jos z = 0
(2) |z| = |z|
(3) |zw| = |z||w|
(4) |z/w| = |z|/|w| (w 6= 0)
(5) |z + w| ≤ |z| + |w|
(kolmioepäyhtälö)
Todistus. (0) Merkitään z = a + bi. Nyt
zz = (a + bi)(a − bi) = a2 − b2 i2 = a2 + b2 = |z|2 .
(3) Käyttämällä kohtaa (0) saadaan
|zw|2 = zwzw = zwz w = zzww = |z|2 |w|2 ,
109
Insinöörimatematiikka 1u
mistä väite seuraa ottamalla puolittain neliöjuuri.
Muut kohdista (0)–(4) todistetaan samaan tapaan. (5) on geometrisesti
selvä, sillä |z + w| on summavektorin pituus ja |z| ja |w| ovat summattavien
vektorien pituuksia.
z+w
w
|z + w|
|w|
z
|z|
Kohta (5) todistetaan yleisemmässä muodossa Rn :n vektoreille opintojaksolla
Insinöörimatematiikka 2u.
Huomautus 6.18. |z − w| on kompleksilukujen z ja w välinen etäisyys (vrt.
sivun 105 kuvaan vektorista z − w).
Itseisarvoja tai liittolukuja sisältävän kompleksilukuyhtälön tai -epäyhtälön
ratkaisujoukko voidaan monesti selvittää merkitsemällä z = x+yi (x, y ∈ R).
z − 2i =1
Esimerkki 6.19. Ratkaise a) z − z = iz + 4 b) z−1
c) |z − (2 + 3i)| = 2 d) |2z − z| ≤ 1
Ratkaisu. a) Merkitään z = x + yi. Yhtälö tulee muotoon
⇔
⇔
x − yi − (x + yi) = i(x − yi) + 4
−2yi = xi − yi2 + 4
−2yi = (4 + y) + xi
Merkitään reaaliosat keskenään ja imaginaariosat keskenään yhtäsuuriksi yhtälön molemmin puolin: 0 = 4+y ja −2y = x, joista y = −4 ja x = 8. Yhtälön
ratkaisu on siis z = 8 − 4i.
b)
z − 2i |z − 2i|
=
= 1 ⇔ |z − 2i| = |z − 1| (ja z 6= 1)
z−1
|z − 1|
110
Insinöörimatematiikka 1u
Merkitään nyt z = x + yi:
|x + yi − 2i| = |x + yi − 1|
|x + (y − 2)i| = |(x − 1) + yi|
⇔
q
⇔
x2 + (y − 2)2 =
q
(x − 1)2 + y 2
x2 + y 2 − 4y + 4 = x2 − 2x + 1 + y 2
3
1
y = x+
2
4
⇔
⇔
Im
y = 21 x +
2i
3
4
z = x + yi
i
−1
Re
1
Ratkaisujoukko on kuvan mukainen suora kompleksitasossa. Geometrinen
tulkinta yhtälölle |z − 2i| = |z − 1| on, että haetaan kaikki ne pisteet z, jotka
ovat yhtä kaukana luvuista 2i ja 1.
c) Merkitään z = x + yi. Yhtälö tulee muotoon
|x + yi − (2 + 3i)| = |(x − 2) + (y − 3)i| = 2
q
⇔
(x − 2)2 + (y − 3)2 = 2
(x − 2)2 + (y − 3)2 = 4
⇔
Im
3i
2
Re
Ratkaisujoukko on 2 + 3i -keskinen 2-säteinen ympyrä kompleksitasossa. Tämä voitaisiin päätellä suoraankin huomautuksen 6.18 avulla: yhtälön
|z − z1 | = R
111
Insinöörimatematiikka 1u
toteuttavat kaikki ne kompleksiluvut z, jotka ovat etäisyydellä R luvusta z1 ,
ts. ratkaisujoukko on z1 -keskinen R-säteinen ympyrä.
d) Merkitään z = x + yi. Epäyhtälö tulee muotoon
|2x + 2yi − (x − yi)| = |x + 3yi| =
q
x2 + (3y)2 ≤ 1
x2 + 9y 2 ≤ 1
x2
y2
+
2 ≤ 1
1
12
⇔
⇔
3
Im
1/3
−1
1
Re
−1/3
Epäyhtälö toteutuu niillä z = x + yi, jotka ovat ellipsin x2 + 9y 2 = 1 rajaamassa joukossa.
6.3
Napakoordinaattimuoto ja eksponenttifunktio
Kompleksiluku z = x + yi voidaan ilmaista napakoordinaattien (polar coordinates) r ja θ avulla, missä r = |z| on z:n etäisyys origosta kompleksitasossa ja
θ on z:n paikkavektorin ja reaaliakselin välinen kulma mitattuna reaaliakselista vastapäivään. Kosinin ja sinin määritelmien mukaan kulmaa θ vastaava
kehäpiste yksikköympyrällä on (cos θ, sin θ), joten r-säteisellä ympyrällä kehäpiste on (x, y) = r(cos θ, sin θ) = (r cos θ, r sin θ). Niinpä kompleksiluvun
z = x + yi napakoordinaattimuoto (polar form) on
z = r(cos θ + i sin θ) = r cos θ + ir sin θ.
(6.20)
Kulmaa θ merkitään myös θ = arg z ja kutsutaan vaihekulmaksi eli argumentiksi (argument).
112
Insinöörimatematiikka 1u
Im
z = x + iy = r cos θ + ir sin θ
cos θ + i sin θ
θ
1
r
Re
Reaali- ja imaginaariosien x ja y ja napakoordinaattien r ja θ välinen riippuvuus on siis
x = r cos θ
(6.21)
y = r sin θ
Tapauksessa 0 < θ < π/2 riippuvuudet voidaan lukea myös seuraavan kuvan
suorakulmaisesta kolmiosta:
Im
z = x + iy
r
y = r sin θ
θ
Re
x = r cos θ
Käänteiseen suuntaan kaavat (6.21) voidaan kirjoittaa
r=
tan θ =
q
y
x
x2 + y 2
(kun x 6= 0)
(6.22)
Jälkimmäisestä voidaan laskea suoraan θ = arctan(y/x) silloin, kun −π/2 <
θ < π/2. Muissa tapauksissa kulman osuminen oikeaan neljännekseen tulee
erikseen pohtia. θ ei ole yksikäsitteinen, sillä arvot θ + n2π (n ∈ Z) vastaavat
samaa kulmaa. Tilanteesta ja sovelluksesta riippuen θ on tapana valita väliltä
[0, 2π] tai [−π, π].
Esimerkki
√ 6.23. Esitä napakoordinaattimuodossa z = r(cos θ + i sin θ)
a) z = 3 + i, b) z = −3 + i.
r
√ 2
Ratkaisu. a) Itseisarvoksi lasketaan r = |z| =
3 + 12 = 2. Nyt
113
Insinöörimatematiikka 1u
√
0 < θ < π/2 ja tan θ = 1/ 3, joten θ = π/6. Piirrä ko. muistikolmio
kompleksitasoon! Siten
z = 2 cos
π
π
+ i sin
.
6
6
q
√
b) Nyt r = (−3)2 + 12 = 10. Piste z on toisessa koordinaattineljännek√
sessä, joten cos θ = −3/ 10. Piirrä kuva! Siten
−3
θ = arccos √
10
ja
z≈
√
!
≈ 2,8
10 (cos(2,8) + i sin(2,8)) .
Lause 6.24. Jos z1 = r1 (cos θ1 + i sin θ1 ) ja z2 = r2 (cos θ2 + i sin θ2 ), niin
z1 z2 = r1 r2 cos(θ1 + θ2 ) + i sin(θ1 + θ2 )
z1
r1 =
cos(θ1 − θ2 ) + i sin(θ1 − θ2 )
z2
r2
ja
(z2 6= 0).
Todistus. Lasketaan:
z1 z2 = r1 (cos θ1 + i sin θ1 )r2 (cos θ2 + i sin θ2 )
= r1 r2 ((cos θ1 cos θ2 − sin θ1 sin θ2 ) + i(sin θ1 cos θ2 + cos θ1 sin θ2 ))
= r1 r2 cos(θ1 + θ2 ) + i sin(θ1 + θ2 ) ,
missä viimeinen yhtäsuuruus seuraa lauseen 3.22 summakaavoista. z1 /z2 lasketaan vastaavasti.
Ensimmäisen kaavan mukaan tulon itseisarvo on tekijöiden itseisarvojen tulo ja tulon argumentti on tekijöiden argumenttien summa, joten lause antaa
geometrisen tulkinnan tulolle. Jälkimmäinen kaava antaa vastaavan tulkinnan osamäärälle. Esimerkiksi | cos θ + i sin θ| = 1, joten luvulla cos θ + i sin θ
kertominen vastaa kiertoa kulman θ verran. Erityisesti luvulla i = cos π2 +
i sin π2 kertominen vastaa kiertoa π2 :n verran.
Kompleksiluvuille potenssit z n , z 0 ja z −n (n ∈ N) määritellään kuten
reaaliluvuille.
Lause 6.25 (Moivren kaava). Jos z = r(cos θ + i sin θ) ja n ∈ N, niin
z n = rn cos(nθ) + i sin(nθ) .
114
Insinöörimatematiikka 1u
Todistus. Induktio n:n suhteen. Lause pätee, kun n = 1. Oletetaan siis, että
väite pätee, kun n = k, ts.
z k = rk cos(kθ) + i sin(kθ) .
Nyt lauseen 6.24 mukaan
z k+1 = z k z = rk cos(kθ) + i sin(kθ) r cos(θ) + i sin(θ)
= rk+1 cos(kθ + θ) + i sin(kθ + θ)
= rk+1 cos((k + 1)θ) + i sin((k + 1)θ) .
Määritelmä 6.26. Määritellään kompleksimuuttujan eksponenttifunktio
asettamalla
ez = ex+iy = ex (cos y + i sin y).
Määriteltiin siis funktio f : C → C, f (z) = ez . Reaaliluvulle x saadaan
f (x) = f (x + 0i) = ex (1 + 0i) = ex , ts. laajennettiin eksponenttifunktion
määrittely reaaliluvuilta kaikille z ∈ C.
Asettamalla eksponenttifunktion määritelmässä x = 0 saadaan Eulerin
kaava
(6.27)
eiy = cos y + i sin y.
Seuraavat tutut laskusäännöt ovat voimassa myös kompleksiselle eksponenttifunktiolle.
Lause 6.28.
ez1 ez2 = ez1 +z2
ja
e−z =
1
.
ez
Todistus. Merkitään z1 = x1 + iy1 ja z2 = x2 + iy2 . Reaalisen eksponenttifunktion ominaisuuksia ja lausetta 6.24 käyttäen saadaan
ez1 ez2 = ex1 (cos y1 + i sin y1 )ex2 (cos y2 + i sin y2 )
= ex1 +x2 (cos(y1 + y2 ) + i sin(y1 + y2 ))
= e(x1 +x2 )+i(y1 +y2 ) = ez1 +z2 .
Toinen väite vastaavasti.
Eksponenttifunktion avulla napakoordinaattimuodolle saadaan lyhyt merkintä
z = r(cos θ + i sin θ) = reiθ
(6.29)
115
Insinöörimatematiikka 1u
sekä kerto- ja jakolasku, komplementointi ja Moivren kaava muotoihin
(1) z1 z2 = r1 eiθ1 r2 eiθ2 = r1 r2 ei(θ1 +θ2 )
(3)
z1
r1 eiθ1
r1 i(θ1 −θ2 )
=
=
e
iθ
z2
r2 e 2
r2
z = reiθ = re−iθ
(4)
z n = reiθ
(2)
n
(6.30)
= rn einθ
Näistä (1) ja (2) seuraavat suoraan lauseesta 6.28 ja (4) on vain Moivren
kaavan napakoordinaattiesitys kirjoitettuna eksponenttifunktion avulla. (3)
seuraa kosinin parillisuudesta ja sinin parittomuudesta:
reiθ = r(cos(θ) + i sin(θ))
= r(cos(θ) − i sin(θ))
= r(cos(−θ) + i sin(−θ))
= re−iθ .
√
Esimerkki 6.31. Olkoon z = 3 − i ja w = 2 + 2i. Muunna z ja w napaz
koordinaattimuotoon reiθ ja laske zw ja .
w
√
Ratkaisu. Muistikolmion avulla nähdään, että z = 2e−iπ/6 ja w = 2 2eiπ/4 .
Siten
√
√
zw = 2 · 2 2ei(−π/6+π/4) = 4 2eiπ/12
ja
z
2e−iπ/6
1
1
= √ iπ/4 = √ ei(−π/6−π/4) = √ e−i5π/12 .
w
2 2e
2
2
Esimerkki 6.32. Olkoon z = 2 − 2i ja w = −5. Esitä z ja w muodossa reiθ
ja laske zw, w/z,√
z ja z 5 .
Ratkaisu. z = 2 2e−iπ/4 ja w = 5eiπ , joten
√
√
zw = 10 2e(−π/4+π)i = 10 2ei3π/4
w
5
5
= √ e(π−(−π/4))i = √ ei5π/4
z
2 2
2 2
√ iπ/4
z = 2 2e
√ 5
√
z 5 = 2 2 e−i5π/4 = 128 2ei3π/4
Tässä viimeisessä kohdassa kulma −5π/4 ei ole välillä [−π, 2π], joten se on
syytä palauttaa ko. välille: −5π/4 + 2π = 3π/4.
116
Insinöörimatematiikka 1u
Esimerkki 6.33. Esitä muodossa a + bi luku (1 + i)11 .
Ratkaisu. Muunnetaan luku ensin napakoordinaattimuotoon, käytetään Moivren kaavaa ja palataan takaisin muotoon a + bi:
√
2eiπ/4
11
= 211/2 ei11π/4 = 211/2 ei3π/4
!
√
3π
i
3π
1
= 211/2 cos
+ i sin
= 32 2 − √ + √
4
4
2
2
= −32 + 32i.
(1 + i)11 =
Huomautus 6.34. Tekniikassa napakoordinaattimuodolle käytetään myös
merkintää
z = reiθ = r∠θ,
ts. esimerkiksi
3eiπ/4 = 3∠π/4.
Esimerkki 6.35. Eulerin kaavasta saadaan tekniikassa usein käytetyt yhteydet trigonometristen ja hyperbolisten funktioiden välille. Laskemalla kaavat
eiθ = cos θ + i sin θ
e−iθ = cos θ − i sin θ
(ks. (6.27) ja (6.30)) puolittain yhteen ja toisaalta vähentämällä puolittain
saadaan
eiθ + e−iθ
= cosh(iθ),
cos θ =
2
(6.36)
eiθ − e−iθ
= −i sinh(iθ).
sin θ =
2i
Esimerkki 6.37. Moivren kaavan mukaan
(cos θ + i sin θ)2 = cos(2θ) + i sin(2θ).
Toisaalta neliöimällä saadaan
(cos θ + i sin θ)2 = cos2 θ + 2i sin θ cos θ − cos2 θ.
Vertaamalla yhtälöiden oikeiden puolten reaali- ja imaginaariosia saadaan
trigonometriset muunnoskaavat
cos(2θ) = cos2 θ − sin2 θ
ja
sin(2θ) = 2 sin θ cos θ .
(6.38)
117
Insinöörimatematiikka 1u
Esimerkki 6.39. Vaihtovirtapiirissä kulkee virta
I sin(ωt),
missä I (A) on virran maksimiarvo (amplitudi), ω (rad/s) kulmanopeus ja t
(s) aika. Tällöin jännite riippuu piirin vastuksesta, kapasitanssista ja induktanssista. Oletetaan ensin, että piirissä on pelkästään joko vastus R (Ω =
V/A), kondensaattori, jonka kapasitanssi on C (F = C/V = As/V) tai käämi, jonka induktanssi on L (H = Vs/A). Tällöin jännite on
vR (t) = IR sin(ωt)
I
vC (t) =
sin (ωt − π/2)
ωC
vL (t) = ωLI sin (ωt + π/2)
(vastukselle)
(kondensaattorille)
(käämille)
Jos piirissä on pelkkä vastus, niin jännite on samassa vaiheessa kuin virta:
π
ω
2π
ω
3π
ω
4π
ω
I sin(ωt)
vR (t)
t
Jos piirissä on pelkkä kondensaattori, niin jännite on π/2:n verran jäljessä
virtaa, ts. vaihe on −π/2:
π
ω
2π
ω
3π
ω
4π
ω
I sin(ωt)
vC (t)
t
Jos piirissä on pelkkä käämi, niin jännite on π/2:n verran edellä virtaa, ts.
vaihe on π/2:
I sin(ωt)
π
ω
2π
ω
3π
ω
4π
ω
t
vL (t)
118
Insinöörimatematiikka 1u
Eulerin kaavan mukaan
Im eiωθ = Im(cos(ωθ) + i sin(ωθ)) = sin(ωθ).
Koska e−iπ/2 = −i ja eiπ/2 = i, niin
vR (t) = Im IReiωθ
I iωθ −iπ/2
−i iωθ
I i(ωθ−π/2)
e
= Im
e e
= Im I
e
ωC
ωC
ωC
vL (t) = Im ωLIei(ωθ+π/2) = Im ωLIeiωθ eiπ/2 = Im I(iωL)eiωθ
vC (t) = Im
Määritellään kompleksinen impedanssi



R
vastukselle,
−i
Z = ωC
kondensaattorille,



iωL käämille.
Tällöin kussakin edellisistä tapauksista jännite voidaan esitettää muodossa
v(t) = Im IZeiωθ .
Oletetaan nyt, että piirissä on sekä vastus, kondensaattori että käämi (LCRpiiri). Tällöin jännite on (tarkasta laskemalla yhteen!)
1
v(t) = vR (t)+vC (t)+vL (t) = Im I R + ωL −
i eiωθ = Im IZeiωθ ,
ωC
kun yleistetään kompleksisen impedanssin määritelmä LCR-piirille asettamalla
1
i.
Z = R + ωL −
ωC
Im
ωL −
1
ωC
Z
i
φ
Re
R
Oheisesta kuvasta päätellään kompleksiluvun Z napakoordinaattiesityksen
argumentiksi (koska R ≥ 0)
!
ωL − 1/(ωC)
φ = arctan
,
R
(6.40)
119
Insinöörimatematiikka 1u
joten Z:n napakoordinaattiesitys on Z = |Z|eiφ . Niinpä
v(t) = Im I|Z|eiφ eiωθ = I|Z| Im ei(ωθ+φ) = I|Z| sin(ωθ + φ).
Jännitteen vaihe φ saadaan siten kaavalla (6.40). Itseisarvoa
s
|Z| =
R2
1
+ Lω −
Cω
2
kutsutaan LCR-piirin impedanssiksi.
6.4
Juuri
Muistetaan, että reaaliluvun y ∈ R (y 6= 0) n:s juuri (n ∈ N) on luku x, jolle
xn = y. Voidaan erotella seuraavat tapaukset:
√
√
• n parillinen ja y > 0: on täsmälleen kaksi reaalista juurta − n y ja n y.
• n parillinen ja y < 0: ei reaalisia juuria.
• n pariton: on täsmälleen yksi reaalinen juuri
y
y.
y
y=x
y
√
−ny
√
n
n
y = xn
y
√
n
y
x
√
n
parillinen n
y
x
pariton n
Lauseen 6.43 mukaan kompleksilukujen joukossa juuria on sen sijaan aina n
kappaletta.
Määritelmä 6.41. Olkoon n ∈ N. Kompleksiluvun z n:s juuri (root) on
mikä tahansa kompleksiluku w, joka toteuttaa yhtälön
wn = z.
120
Insinöörimatematiikka 1u
Esimerkki 6.42. a) i ja −i ovat luvun −1:n toisia juuria, sillä
i2 = −1
ja
(−i)2 = i2 = −1.
Lauseen 6.43 mukaan muita toisia juuria ei ole.
b) Luvun z = −8 = 8eiπ eräs kolmas juuri on w = 2eiπ/3 , sillä
w3 = 2eiπ/3
3
= 23 ei(π/3)·3 = 8eiπ = z.
Lause 6.43. Kompleksiluvulla z = reiθ =
6 0 on täsmälleen n erisuurta n:ttä
juurta, jotka sijaitsevat r1/n -säteisellä origokeskisellä ympyrällä tasaisesti
kulman 2π/n välein.
Todistus. Merkitään w = seiφ . Nyt
wn = z ⇔ sn einφ = reiθ
⇔ sn = r ja nφ = θ + k · 2π, k ∈ Z
θ + 2kπ
, k∈Z
⇔ s = r1/n ja φ =
n
Siten z:n juuret ovat
θ + 2kπ
1/n
,
(6.44)
w = r exp i
n
jotka ovat erisuuria k:n arvoilla k = 0, 1, 2, . . . , n − 1.
√
n:ttä juurta merkitään joskus z 1/n tai n z. Tämän merkinnän kanssa on
kuitenkin
oltava huolellinen,
sillä ko. juuria on n kpl! Erityisesti yhtäältä
√
√
−1 = i ja toisaalta −1 = −i.
Käytännössä lausetta 6.43 on helpointa käyttää siten, että haetaan yksi
juuri esimerkin 6.42 b menetelmällä napakoordinaattimuodossa. Loput juuret löytyvät kasvattamalla ensimmäisen juuren argumenttia kulman 2π/n
välein.
Esimerkki 6.45. a) Hae 1:n neljännet juuret.
Ratkaisu. On haettava kaikki luvut w, joille w4 = 1. Huomataan, että
w = 1 = e0i on eräs juurista. Koska juuret ovat kulman 2π/4 = π/2 välein,
niin kaikki juuret ovat
w = e0i , eiπ/2 , eiπ , ei3π/2 = 1, i, −1, −i.
b) Hae luvun z = (1 + i) kolmannet √
juuret.
Ratkaisu. Napakoordinaateissa z = 2eiπ/4 . Huomataan, että
√ 1/3
w1 =
2
eiπ/12 on eräs juuri, sillä
√
w13 = 2ei(π/12)·3 = z.
121
Insinöörimatematiikka 1u
Juuret ovat kulman 2π/3 välein, joten kaikki juuret ovat
w1 = 21/6 eiπ/12 , w2 = 21/6 ei3π/4 , w3 = 21/6 ei17π/12 .
Im
w2
2π
3
z
w1
Re
w3
6.5
Polynomi
Kompleksimuuttujan polynomi määritellään kuten reaalimuuttujan polynomi: n. asteen polynomi (polynomial) on funktio p : C → C,
p(x) = an xn + an−1 xn−1 + · · · + a2 x2 + a1 x + a0 ,
missä kertoimet (coefficients) a0 , a1 , . . . , an ∈ C ovat vakioita ja an 6= 0.
Tapauksessa n = 0 kyseessä on 0. asteen polynomi eli vakiofunktio p(x) =
a0 . Tällöin sallitaan myös tapaus an = a0 = 0. Sanotaan, että z ∈ C on
polynomin p nollakohta (zero), jos p(z) = 0. Polynomiyhtälön p(x) = 0
ratkaisua kutsutaan juureksi (root). Polynomin p astetta merkitään deg p.
Esimerkki 6.46. a) Funktio p(x) = 7x5 − ix2 + 3x + 1 + i on 5. asteen
polynomi, jolle esimerkiksi
p(i) = 7i5 − i3 + 3i + 1 + i = 1 + 12i.
b) Toisen asteen polynomin x2 + 1 ja kolmannen asteen polynomin 3x3 −
2x + 1 tulo on 5. asteen polynomi
(x2 + 1)(3x3 − 2x + 1) = 3x5 + x3 + x2 − 2x + 1.
Lemma 6.47. Jos a, b ∈ C ja n ∈ N, niin
an − bn = (a − b)(an−1 + an−2 b + an−3 b2 + · · · + abn−2 + bn−1 ).
Tapauksissa n = 1, 2 ja 3 väite on:
n=1:
n=2:
n=3:
a1 − b1 = (a − b)
a2 − b2 = (a − b)(a + b)
a3 − b3 = (a − b)(a2 + ab + b2 )
122
Insinöörimatematiikka 1u
Todistus. Suora lasku:
(a − b)(an−1 + an−2 b + an−3 b2 + · · · + abn−2 + bn−1 )
= an + an−1 b + an−2 b2 + · · · + a2 bn−2 + abn−1
− (an−1 b + an−2 b2 + an−3 b3 + · · · + abn−1 + bn )
= an − b n .
Lause 6.48 (Tekijöihinjako). Jos p on n. asteen polynomi (n ≥ 1) ja z ∈ C
on p:n nollakohta, niin p on jaollinen polynomilla (x − z):
p(x) = (x − z)q(x),
missä q on polynomi astetta n − 1.
Todistus. Merkitään p(x) = an xn + an−1 xn−1 + · · · + a1 x + a0 . Nyt
p(x) = p(x) − p(z)
(6.49)
= an (xn − z n ) + an−1 (xn−1 − z n−1 ) + · · · + a1 (x − z) + (a0 − a0 ).
Lemman 6.47 mukaan
xn − z n = (x − z)qn−1 (x),
xn−1 − z n−1 = (x − z)qn−2 (x),
..
.
missä kunkin polynomin qk aste on k. Niinpä p:n esityksessä (6.49) voidaan
ottaa x − z yhteiseksi tekijäksi ja nähdään, että
p(x) = (x − z)q(x),
missä polynomin q aste on n − 1.
Tässä polynomi q(x) on jakolaskun p(x)/(x − z) tulos, joka saadaan laskemalla jakokulmassa.
Esimerkki 6.50. Tarkastellaan polynomia p(x) = x3 + 3x2 − 11x + 2. Kokeilemalla huomataan, että p(2) = 0, joten x − 2 on p:n tekijä. Haetaan toinen
tekijä jakolaskulla:
3
x−2|x
x3
x2 +5x
+3x2 −11x
−2x2
5x2 −11x
5x2 −10x
−x
−x
−1
+2
+2
+2
0
Insinöörimatematiikka 1u
123
Siten p(x) = (x − 2)(x2 + 5x − 1). Tarkasta kertomalla!
Lause 6.51 (Algebran peruslause). Jokaisella (ensimmäisen tai korkeamman asteen) polynomilla on ainakin yksi nollakohta kompleksitasossa.
Todistus. Helpohko todistus (jossa ei nojauduta analyyttisten funktioiden
teoriaan) löytyy lähteestä [6].
Määritelmä 6.52. Olkoot p(x) ja q(x) polynomeja ja k ∈ N. Jos p(x) =
(x − z)k q(x), missä q(z) 6= 0, niin z on polynomin p k-kertainen nollakohta.
Esimerkki 6.53. Polynomilla
p(x) = x3 − 4x2 − 3x + 18 = (x + 2)(x − 3)2 = (x + 2)(x − 3)(x − 3)
on yksinkertainen nollakohta z = −2 ja kaksinkertainen nollakohta z = 3.
Sanotaan, että monikerrat huomioiden polynomin nollakohdat ovat z1 = −2,
z2 = 3 ja z3 = 3.
Algebran peruslauseesta eli vähintään yhden nollakohdan olemassaolosta seuraa n:n nollakohdan olemassaolo:
Lause 6.54. n. asteen polynomilla p(x) = an xn + · · · + a1 x + a0 on (monikerrat huomioiden) täsmälleen n nollakohtaa z1 , . . . , zn ja p voidaan esittää
muodossa
p(x) = an (x − z1 )(x − z2 ) · · · (x − zn ).
Todistus. Algebran peruslauseen mukaan p:llä on nollakohta z1 . Lauseen 6.48
mukaisella jakolaskulla p(x)/(x − z1 ) saadaan
p(x) = (x − z1 )qn−1 (x),
missä qn−1 :n aste on n − 1. Algebran peruslauseen mukaan polynomilla qn−1
on nollakohta z2 , joten voidaan tehdä jakolasku qn−1 (x)/(x−z2 ) ja päädytään
muotoon
p(x) = (x − z1 )(x − z2 )qn−2 (x),
missä qn−2 :n aste on n − 2. Menettelyä voidaan jatkaa kunnes viimeisen
jakolaskun tulos on astetta 0 oleva polynomi eli vakio c ja p on tullut muotoon
p(x) = c(x − z1 )(x − z2 ) · · · (x − zn ).
Kertomalla auki n. asteen termiksi saadaan cxn , joten täytyy olla c = an .
124
Insinöörimatematiikka 1u
Algebran peruslause ei sano mitään siitä, kuinka sen lupaama nollakohta
löydetään. Reaalikertoimisen toisen asteen polynomin nollakohdat saadaan
kuitenkin suoraan tutulla lauseen 6.56 ratkaisukaavalla.
√
Lemma 6.55. Yhtälön z 2 = −A, A > 0, ratkaisut ovat z = ±i A.
Todistus. Ratkaisut voitaisiin hakea lauseen 6.43 avulla tai ”arvaamalla” kuten esimerkissä 6.42 ja vetoamalla lauseeseen 6.43 juurien lukumäärän osalta. Perustellaan tässä yksinkertaisessa tapauksessa tekijöihinjako ja juuret
kuitenkin suoraan:
⇔
⇔
⇔
⇔
z 2 = −A
z2 + A = 0
√ 2
z2 − i A = 0
√ √ z−i A z+i A =0
√
z = ±i A.
Lause 6.56. Olkoon 2. asteen polynomi p(x) = ax2 +bx+c reaalikertoiminen.
Merkitään D = b2 − 4ac ( diskriminantti). Tällöin p:n nollakohdat ovat
√
−b ± b2 − 4ac
x=
,
jos D ≥ 0,
2a
√
−b ± i 4ac − b2
,
jos D < 0.
x=
2a
Todistus. Todistetaan tapaus D < 0 (tapaus D ≥ 0 vastaavasti). Neliöidään:
ax2 + bx + c = 0
b
c
⇔ x2 + x = −
a
a
!2
b
b
2
⇔ x +2 x+
=
2a
2a
⇔
b
x+
2a
!2
=−
b
2a
!2
−
c
a
4ac − b2
.
4a2
b
4ac − b2
Soveltamalla lemmaa 6.55 luvuille z = x +
ja A =
> 0 ratkai2a
4a2
suiksi saadaan
s
√
√
4ac − b2
4ac − b2
4ac − b2
b
x+
= ±i
=
±i
=
±i
.
2a
4a2
2|a|
2a
Väite seuraa tästä yhtälöstä ratkaisemalla x.
125
Insinöörimatematiikka 1u
Esimerkki 6.57. Ratkaise a) 2x2 + 4x − 3 = 0 b) 4x2 − 4x + 3 = 0.
Ratkaisu. a) Ratkaisukaavalla
√
√
−4 ± 16 + 24
10
x=
= −1 ±
.
4
2
b) Ratkaisukaavalla
√
√
√
√
2
4 ± 16 − 48
4 ± −32
4 ± i 32
1
x=
=
=
= ±i
.
8
8
8
2
2
Tässä juuria alettiin laskea lauseen 6.56 ensimmäisellä kaavalla. Kun huomataan, että diskriminantti juuren alla on negatiivinen,
√ niin siirrytään toiseen
kaavaan. Muistisääntönä vaidaan käyttää tietoa −1 = ±i:
√
√ √
√
−32 = −1 32 = ±i 32.
Myös 3. ja 4. asteen polynomiyhtälöille on olemassa ratkaisukaavat. Niitä ei
kuitenkaan käytännössä juuri käytetä. Voidaan osoittaa, että 5. ja korkeamman asteen polynomiyhtälöille ei ole olemassa yleistä ratkaisukaavaa.
Lauseen 6.54 todistus antaa erään juurtenhakualgoritmin: ”Arvataan” yksi juuri, tehdään jakolasku, ”arvataan” alempiasteiselle polynomille juuri,
tehdään jakolasku jne., kunnes tekijänä saadaan toisen asteen polynomi, jonka juuret saadaan ratkaisukaavalla. Käsin laskettaessa menetelmä ei käytännössä ole käyttökelpoinen, jos arvaamalla (eli kokeilemalla) ei löydetä uutta
juurta. Monet numeeriset polynomin juurtenhakualgoritmit perustuvat kuitenkin tähän menetelmään, joten sen periaate on syytä tuntea.
Esimerkki 6.58. Hae polynomin a) p(x) = x3 + 12 x2 − 2x − 32
b) p(x) = x3 − 6x2 + 21x − 26 nollakohdat ja jaa p tekijöihin.
Ratkaisu. a) Huomataan, että x = −1 on eräs nollakohta, joten x + 1 on
p:n tekijä. Jakolaskulla saadaan
p(x) = (x + 1) x2 − 12 x −
3
2
.
Ratkaisukaavalla toisen asteen tekijän nollakohdiksi lasketaan x = −1 ja
x = 32 , eli
p(x) = (x + 1)(x + 1) x −
3
2
= (x + 1)2 x −
3
2
.
p:n nollakohdat ovat siis x = 32 sekä kaksinkertainen nollakohta x = −1.
b) Huomataan, että x = 2 on eräs nollakohta, joten x − 2 on p:n tekijä.
Jakolaskulla saadaan
p(x) = (x − 2)(x2 − 4x + 13).
126
Insinöörimatematiikka 1u
Ratkaisukaavalla toisen asteen tekijän nollakohdiksi lasketaan
√
√
4 ± 16 − 4 · 1 · 13
4 ± i 36
x=
=
= 2 ± 3i.
2·1
2
p:n nollakohdat ovat siis 2 ja 2 ± 3i ja tekijöihinjako
p(x) = (x − 2)(x − (2 + 3i))(x − (2 − 3i)).
Mahdolliset rationaalijuuret löytyvät seuraavan lauseen avulla.
Lause 6.59. Jos kokonaislukukertoimisella n. asteen polynomilla p(x) =
an xn + · · · + a1 x + a0 on rationaalijuuri a/b (supistettu muoto), niin a on
a0 :n tekijä ja b on an :n tekijä.
Todistus. Olkoon a/b p:n juuri, missä kokonaislukujen a ja b suurin yhteinen
tekijä on 1. Koska a/b on juuri, niin
n
a
a
= an
p
b
b
+ an−1
n−1
a
b
+ · · · + a1
a
+ a0 = 0.
b
Kerrotaan puolittain bn :llä:
an an + an−1 an−1 b + · · · + a1 abn−1 + a0 bn = 0
⇒ an an = b −an−1 an−1 − · · · − a1 abn−2 − a0 bn−1
b on tämän yhtälön oikean puolen tekijä, joten b on myös kokonaisluvun an an
tekijä. Koska a:lla ja b:llä ei ole ykköstä suurempia yhteisiä tekijöitä, täytyy
b:n olla an :n tekijä (ns. Eukleideen lemma, ks. [2]).
a perustellaan a0 :n tekijäksi vastaavalla tavalla.
Esimerkki 6.60. Hae polynomin p(x) = 6x3 + 13x2 − 4 rationaalijuuret.
Ratkaisu. Jos a/b on juuri, niin
a ∈ {±1, ±2, ±4} ja b ∈ {±1, ±2, ±3, ±6}.
Ainoat mahdolliset rationaalijuuret ovat siis
1
1
2
4
1
±1, ± , ± , ± , ±2, ± , ±4, ± .
2
3
6
3
3
Kokeilemalla havaitaan, että näistä −2, − 23 ja
ovat siis rationaalisia.
1
2
ovat juuria. p:n kaikki juuret
On huomattava, että kokonaislukukertoimisella polynomilla ei aina ole yhtään rationaalijuurta, kuten esimerkki p(x) = x2 − 2 osoittaa.
Insinöörimatematiikka 1u
127
Lause 6.61. Reaalikeroimisen polynomin p(x) = an xn + · · · + a2 x2 + a1 x +
a0 kompleksiset nollakohdat esiintyvät kompleksikonjugaattipareina, ts. jos
p(z) = 0, niin myös p(z) = 0.
Todistus. Jos p(z) = 0, niin suoralla laskulla liittoluvun ominaisuuksia käyttäen saadaan
p(z) = an z n + · · · + a2 z 2 + a1 z + a0
= an z n + · · · + a2 z 2 + a1 z + a0
= an z n + · · · + a2 z 2 + a1 z + a0
= an z n + · · · + a2 z 2 + a1 z + a0
= p(z) = 0 = 0.
Lause 6.62. Reaalikeroiminen polynomi p(x) = an xn +· · ·+a1 x+a0 voidaan
jakaa mahdollisimman alhaista astetta oleviin 1. ja 2. asteen reaalikertoimisiin tekijöihin seuraavasti:
p(x) =an (x − x1 )m1 (x − x2 )m2 · · · (x − xj )mj
· (x2 + b1 x + c1 )n1 · · · (x2 + bk x + ck )nk ,
missä x1 , . . . , xj ∈ R ovat polynomin p erisuuret reaaliset nollakohdat, mi
on nollakohdan xi kertaluku ja polynomeilla x2 + bi x + ci ei ole reaalisia
nollakohtia.
Todistus. Lauseiden 6.54 ja 6.61 mukaan
p(x) =an (x − x1 )m1 (x − x2 )m2 · · · (x − xj )mj
· ((x − z1 )(x − z1 ))n1 · · · ((x − zk )(x − zk ))nk ,
missä z1 , z1 , . . . , zk , zk ovat p:n kompleksiset nollakohdat. Väite seuraa nyt
siitä, että tulo
(x − z)(x − z) = x2 − zx − zx + zz = x2 − (z + z)x + |z|2
on toisen asteen polynomi, jonka kertoimet b = −(z + z) ja c = |z|2 ovat
reaalisia.
128
Insinöörimatematiikka 1u
Taulukoita
Taulukko 1: Kreikkalaiset aakkoset
Iso
A
B
Γ
∆
E
Z
H
Θ
I
K
Λ
M
Pieni
α
β
γ
δ
, ε
ζ
η
θ, ϑ
ι
κ
λ
µ
Kirjaimen nimi
alfa
beeta
gamma
delta
epsilon
zeeta
eeta
theeta
ioota
kappa
lambda
myy
Iso
N
Ξ
O
Π
P
Σ
T
Υ, Y
Φ
X
Ψ
Ω
Pieni
ν
ξ
o
π
ρ
σ
τ
υ
φ, ϕ
χ
ψ
ω
Kirjaimen nimi
nyy
ksii
omikron
pii
rhoo
sigma
tau
ypsilon
fii
khii
psii
oomega
Taulukko 2: Derivoimissäännöt
(cf (x))0 = cf 0 (x)
(f (x) ± g(x))0 = f 0 (x) ± g 0 (x)
(f (x)g(x))0 = f 0 (x)g(x) + f (x)g 0 (x)
f (x)
g(x)
!0
=
f 0 (x)g(x) − f (x)g 0 (x)
g(x)2
(f ◦ g)0 (x) = f 0 (g(x))g 0 (x)
Dy f −1 (y) =
1
f 0 (x)
(y = f (x))
(g(x) 6= 0)
129
Insinöörimatematiikka 1u
Taulukko 3: Derivointikaavoja
f (x)
f 0 (x)
xa
√
x
axa−1
1
√
2 x
ex
ax
ex
ax ln a
ln x
1
x
loga x
1
x ln a
sin x
cos x
cos x
− sin x
tan x
1 + tan2 x =
f (x)
arcsin x
arccos x
arctan x
sinh x
cosh x
tanh x
ar sinh x
1
cos2 x
ar cosh x
ar tanh x
f 0 (x)
1
√
1 − x2
1
−√
1 − x2
1
1 + x2
cosh x
sinh x
1
cosh2 x
1
√
1 + x2
1
√
x2 − 1
1
1 − x2
130
Insinöörimatematiikka 1u
Lähteitä ja kirjallisuutta
[1] R. Adams, C. Essex: Calculus, a complete course (7th ed.). Pearson
Education, 2010.
[2] Anonyymi: Euclid’s lemma. [WWW-dokumentti]
<http://en.wikipedia.org/wiki/Euclid’s_lemma> (luettu 9.8.2012).
[3] Anonyymi: Kunta. [WWW-dokumentti]
<http://fi.wikipedia.org/wiki/Kunta_(matematiikka)>
9.8.2012).
(luettu
[4] R. Blitzer: Thinking mathematically (3rd ed.). Pearson Education, 2005.
[5] C. Edwards, D. Penney: Calculus, early transcendentals, matrix version
(6th ed.). Prentice-Hall, 2002.
[6] T. Hytönen: Algebran peruslause lukiolaisille. Matematiikkalehti Solmu
3/2011. <http://solmu.math.helsinki.fi/2011/3/>
[7] R. Gordon: Real analysis, a first course (2nd ed.). Pearson Education,
2002.
[8] G. James: Modern engineering mathematics (4th ed.). Pearson Education, 2008.
[9] S. Lay: Analysis with an introduction to proof (4th ed.). Pearson Education, 2005.
[10] H. Oinas-Kukkonen, J. Merikoski, R. Niva: Akseli 3. Matematiikan laaja
oppimäärä. Weilin+Göös, 1990.
[11] D. Poole: Linear algebra, a modern introduction (2nd ed.). Thomson
Brooks/Cole, 2006.
[12] M. Saarimäki: Reaalifunktion analyysia. Jyväskylän yliopiston Avoimen
yliopiston julkaisusarja, 2003.
[13] G. Thomas, M. Weir, J. Hass, F. Giordano: Thomas’ Calculus (11th
ed.). Pearson Education, 2005.
Hakemisto
Algebran peruslause, 123
alkeisfunktio, 30
alkeisveräjä, 11
alkio, 11
alkukuva, 23
analyysi, 53
antiteesi, 19
anto, 11
areafunktiot, 49
argumentti, 23, 111
arkuskosini, 42
arkussini, 42
arkustangentti, 42
arvojoukko, 23
aste
kulman yksikkönä, 36
polynomin, 34, 121
asymptootti, 96
avaruus
Rn , 17
xyz-avaruus, 17
kompleksimuuttujan, 114
ekvivalenssi, 5
ekvivalenssilaki, 9
epäsuora todistus, 9, 19
erilliset joukot, 14
erotus
joukkojen, 14
kompleksilukujen, 104
erotusosamäärä, 74
Eukleideen lemma, 126
Eulerin kaava, 114
funktio, 23
graafi, 27
hyperboliset funktiot, 48
hyppäysepäjatkuvuus, 69
Bernoullin epäyhtälö, 21
bijektio, 24
Bolzanon lause, 71
Boolen algebra, 10
Briggsin logaritmi, 46
identtinen kuvaus, 27
imaginaariosa, 104
imaginaariyksikkö, 103
impedanssi, 118
implikaatio, 5
induktioperiaate, 21
induktiotodistus, 21
injektio, 23
itseisarvo, 108
de Morganin laki
joukko-opin, 16
logiikan, 9
derivaatta, 74
korkeammat derivaatat, 99
differentiaalikehitelmä, 84
disjunktio, 5
diskriminantti, 124
jatkuvuus, 67, 70
joukko, 11
juuri
kompleksinen, 119
polynomin, 121
reaalinen, 32
juurifunktio, 32
järjestetty joukko, 17
eksponentti, 30
eksponenttifunktio, 43
kantaluku, 30, 43
kasvava funktio, 28
131
132
Insinöörimatematiikka 1u
kertoma, 22
ketjusääntö, 78
kokonaisluvut, 12
kolmioepäyhtälö, 56, 108
kompleksikonjugaatti, 107
kompleksiluku, 103
kompleksitaso, 103
komplementti, 10, 14
konjunktio, 5
konnektiivi, 5
koordinaatti, 17
koordinaattineljännes, 37
kosekantti, 41
kosini, 37
kotangentti, 41
koululaisen kolmio, 39
kriittinen piste, 90
kulma, 36
kunta, 106
kupera funktio, 100
kuristusperiaate, 60
kuutio, 30
kuutiojuuri, 32
kuvaaja, 27
kuvajoukko, 23
kuvaus, 23
kvanttori, 18
käännepiste, 100
käänteisfunktio, 25
käänteisluku, 105
lineaarinen approksimaatio, 85
linearisointi, 85
logaritmifunktio, 45
looginen ekvivalenssi, 8
looginen piiri, 11
looginen seuraus, 8
luonnollinen eksponenttifunktio, 45
luonnollinen logaritmifunktio, 46
luonnolliset luvut, 12
lattiafunktio, 24
lause (lauselogiikassa), 5
lausuma, 18
leikkaus, 14
liitäntälaki
joukko-opin, 16
kompleksilukujen, 106
logiikan, 9
liittoluku, 107
lineaarikuvaus, 86
oletus, 8, 19
osajoukko, 12
osamäärä, 106
osittelulaki
joukko-opin, 16
kompleksilukujen, 106
logiikan, 9
otto, 11
maalijoukko, 23
maksimi, 88
merkkikaavio, 93
minimi, 88
moduli, 108
Moivren kaava, 113
monotoninen funktio, 28
muistikolmio, 39
muuttuja, 18
määrittelyjoukko, 23
napakoordinaatit, 111
napakoordinaattimuoto, 111, 114
negaatio, 5
neliö, 30
neliöjuuri, 32
Neperin luku, 45
nollakohta
kertaluku, 123
polynomin, 35, 121
ratkaisukaava, 124
palautuskaava, 39
133
Insinöörimatematiikka 1u
paloittain jatkuvuus, 70
parillinen funktio, 52
pariton funktio, 52
piste, 17
poistuva epäjatkuvuus, 69
polynomi, 34, 121
potenssifunktio, 30, 31, 47
predikaatti, 18
punkteerattu ympäristö, 55
puolijatkuva funktio, 69
puolitusmenetelmä, 71
päättelysäännöt, 9
tautologia, 8
tekijöihinjako, 122
totuusarvo, 5
totuustaulukko, 7
trigonometrian peruskaava, 38
tulo
Boolen algebrassa, 10
kompleksilukujen, 103
tyhjä joukko, 12
täydellisyysaksiooma, 71, 88
radiaani, 36
raja-arvo, 55
epäoleellinen, 64, 66
toispuoleinen, 61
rationaalifunktio, 35
rationaaliluvut, 12
ratkaisukaava, 124
reaalifunktio, 27
reaaliluvut, 12
reaaliosa, 103
Rollen lause, 91
Russellin paradoksi, 14
vaihdantalaki
joukko-opin, 16
kompleksilukujen, 106
logiikan, 9
vaihe, 117
vaihekulma, 111
vaihtosääntö, 18
väite, 8, 19
vastaluku, 104
vastaväite, 19
Vennin kaavio, 15
virhetermi, 85
vähenevä funktio, 28
väli, 13
väliarvolause
differentiaalilaskennan, 91
jatkuvien funktioiden, 71
sekantti, 41, 75
sini, 37
sisäfunktio, 26
suhteellinen virhe, 86
summa
Boolen algebrassa, 10
kompleksilukujen, 103
summakaava, 41
suora todistus, 9, 19
supremum, 71, 88
surjektio, 24
täydellisyysaksiooma, 44
tangentti, 37
tangenttiapproksimaatio, 85
tangenttisuora, 75
ulkofunktio, 26
xy-taso, 17
xyz-avaruus, 17
yhdiste, 14
yhdistetty funktio, 26
yksikköympyrä, 36
ympäristö, 55
äärellinen joukko, 12
ääretön joukko, 12
ääriarvo, 88