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