- MATH.APP.111
- 3. Alkeisfunktiot
- 3.4 Trigonometriset funktiot ja arkusfunktiot
Trigonometriset funktiot ja arkusfunktiot¶
Trigonometria viittaa jo nimeltään kolmioiden mittaamiseen. Yläkoulussa trigonometriaan tutustutaan tarkastelemalla erilaisia suorakulmaisia kolmioita ja niiden kateettien ja hypotenuusien välisiä suhteita. Tällöin sini, kosini ja tangentti määritellään suorakulmaisen kolmion kateettien ja hypotenuusan pituuksien suhteina seuraavasti:
missä sivujen vastaisuus ja viereisyys tulkitaan kolmion tarkasteltavan kulman \theta suhteen. Tämä määritelmä toimii vain, jos kulma \theta on toinen kolmion terävistä kulmista.
Yläkoulussa esitettyjen määritelmien heikkous on se, että trigonometriset funktiot sini, kosini ja tangentti sekä niiden käänteisfunktiot eli arkusfunktiot on määritelty vain teräville kulmille. Yhtenä tämän osion tavoitteena on laajentaa trigonometristen funktioiden määritelmiä siten, että niiden arvoja voidaan laskea millä tahansa reaalilukusyötteellä.
Kulma ja suunnattu kulma¶
Palautetaan seuraavaksi mieleen, miten kulmaa \theta voidaan mitata. Fysiikassa kulman yksikkönä käytetään usein astetta (degree), mutta matematiikassa kulma on hyödyllistä määritellä yksiköttömäksi suureeksi. Tarkastellaan r-säteistä ympyräsektoria, jonka keskuskulma on \theta ja sitä vastaava kaarenpituus s. Kulma \theta on tällöin yhtä suuri kuin kaaren pituuden ja säteen suhde.
Selvyyden vuoksi muutoin yksiköttömän kulman \theta yksiköksi on sovittu radiaanit (radian). Radiaanien ja asteiden välinen yhteys selviää tarkastelemalla täyttä kulmaa vastaavaa ympyrän kehää. Tasogeometriasta muistetaan, että r-säteisen ympyrän kehän pituus on 2 \pi r, joten kulman määritelmän mukaan täysi kulma on radiaaneina 2 \pi rad. Koska täysi kulma on asteina 360^{\circ}, saadaan yhteys 2 \pi \text{ rad} = 360^{\circ}. Niinpä
Yksikönmuunnokset asteista radiaaneihin ja radiaaneista asteihin onnistuvat yllä olevien kaavojen mukaan. Yleisimmin esiintyviä kulmia on koottu alla olevaan taulukkoon, ja niiden muistaminen helpottaa työskentelyä jatkossa. Ne pystyy myös päättelemään melko suoraviivaisesti.
Kun kulman \theta määrittävä ympyräsektori asetetaan karteesiseen koordinaatistoon siten, että sektorin kärki on origossa ja toinen sektorin kyljistä sijaitsee positiivisella x-akselilla, voidaan ottaa käyttöön suunnatun kulman (directed angle) käsite.
Suunnattu kulma \theta kertoo, kumpaan suuntaan positiivisesta x-akselista katsoen kulma aukeaa. Jos \theta > 0, kulman katsotaan aukeavan vastapäivään. Toisaalta jos \theta < 0, kulman katsotaan aukeavan myötäpäivään.
Yksikköympyrän kehäpisteistä trigonometrisiin funktioihin¶
Yksikköympyräksi kutsutaan sitä xy-tason origokeskistä ympyrää, jonka säde on 1. Näin ollen sen yhtälö on muotoa x^2 + y^2 = 1. Yksikköympyrä on erittäin hyödyllinen työkalu trigonometriassa, sillä suunnatut kulmat voidaan ajatella syntyvän siitä, kun yksikköympyrän kehäpiste kiertää ympyrän kehällä: kehäpiste rajaa ympyrästä positiivisen x-akselin kanssa nimittäin yksikäsitteisen ympyräsektorin, jonka keskuskulmaa kyseinen kehäpiste vastaa. Esimerkiksi kulma \theta = 2\pi vastaa kokonaista kierrosta yksikköympyrällä vastapäivään. Puolta kierrosta vastapäivään vastaa siis kulma \pi ja neljänneskierrosta myötäpäivään kulma -\frac{\pi}{2}. Jos \theta>2\pi tai \theta<-2\pi, niin kulmaa vastaavan kehäpisteen ajatellaan kiertäneen ympyrän kehän ympäri useampia kierroksia.
Tunnetusti xy-taso jaetaan neljään koordinaattineljännekseen. Ensimmäisessä neljänneksessä pisteiden x- ja y-koordinaatit ovat molemmat positiivisia. Siispä jos ensimmäisessä neljänneksessä sijaitseva yksikköympyrän kehäpiste (x_0,y_0) projisoidaan x-akselille, muodostuu suorakulmainen kolmio, jonka kateettien pituudet ovat x_0 ja y_0 sekä hypotenuusan pituus on 1.
Tällöin kehäpistettä (x_0,y_0) vastaava keskuskulma \theta on terävä ja sen sini, kosini ja tangentti voidaan laskea perinteiseen tapaan. Nimittäin
kunhan tangentin tapauksessa x_0 \not= 0. Muissa neljänneksissä trigonometristen funktioiden arvot eri kulmilla \theta voidaan määritellä vastaavasti kehäpisteen koordinaattien avulla.
Määritelmä 3.4.1
Merkitään yksikköympyrässä kulmaa \theta vastaavaa kehäpistettä (x,y). Trigonometriset funktiot sini (sine), kosini (cosine) ja tangentti (tangent) määritellään säännöillä
missä tangentti on määritelty vain, jos \cos(\theta) = x \not= 0. Jos sekaantumisen vaaraa ei ole, niin voidaan merkitä myös \sin(\theta) = \sin\theta, \cos(\theta) = \cos\theta ja \tan(\theta) = \tan\theta.
Trigonometriset funktiot siis eräällä tavalla muuntavat yksikköympyrän suunnatun kulman sitä vastaavaksi kehäpisteeksi. Jos kulma on \theta, niin \sin(\theta) on vastaavan kehäpisteen y-koordinaatti ja \cos(\theta) x-koordinaatti. Toisin sanoen kehäpiste on (\cos \theta, \sin \theta). Sen sijaan luvun \tan(\theta) tulkinta on yksikköympyrän pisteeseen (1, 0) tai (-1, 0) piirretyn tangenttisuoran ja kulman \theta toisen kyljen jatkeen leikkauspisteen y-koordinaatti.
Yllä esitetty geometrinen tulkinta kannattaa pitää vahvasti mielessä, sillä sen perusteella voi päätellä useita tärkeitä trigonometristen funktioiden ominaisuuksia. Esimerkiksi trigonometristen funktioiden merkit eri koordinaattineljänneksiin osuvilla kulmilla voidaan koota seuraaviksi kaavioiksi, jotka seuraavat suoraan kehäpisteen koordinaateista.
Geometrisen tulkinnan avulla voidaan myös perustella se, miksi sini ja kosini saavat arvoja vain väliltä [-1,1], kun taas tangetin arvojoukko on (-\infty,\infty). Osaatko perustella miksi?
Trigonometristen funktioiden ominaisuuksia¶
Tarkastellaan aluksi trigonometristen funktioiden kuvaajia. Kuvaajien muoto on vahvasti yhteydessä kehäpisteen sijaintiin yksikköympyrän kehällä. Sinin kuvaaja saadaan, kun kehäpisteen y-koordinaatti esitetään vastaavan kulman funktiona. Kosinin kuvaaja saadaan puolestaan esittämällä kehäpisteen x-koordinaatti vastaavan kulman funktiona. Tangentin kuvaaja ei ole aivan yhtä suoraviivainen, mutta sekin kytkeytyy sekä yksikköympyrään että sinin ja kosinin kuvaajiin. Alla olevissa kuvaajissa tulee kiinnittää erityistä huomiota siihen, ettei sekoita kulman \theta ja muuttujien x ja y merkitystä funktioiden kuvaajissa esiintyviin muuttujiin x ja y.
Kun kulma on 0, ollaan yksikköympyrän pisteessä (1,0) ja tällöin sinin arvo on 0 ja kosinin 1. Samalla tavalla voidaan löytää muita vastaavuuksia ympyrän kehän ja sinin ja kosinin kuvaajien välillä. Varmista, että ymmärrät yhteyden kulmien \frac{\pi}{2}, \frac{3\pi}{2} ja -5\pi osalta.
Trigonometristen funktioiden kuvaajissa on nähtävissä selvää jaksollisuutta. Jaksollisella funktiolla tarkoitetaan funktiota, joka saa aina saman arvon tietyn jakson jälkeen. Toisin sanoen
missä T \in \R on funktion jakso. Sinin ja kosinin jakso on kuvaajan perusteella 2 \pi ja tangentin \pi. Sama voidaan päätellä yksikköympyrästä, sillä kulmat \theta, \theta + 2\pi, \theta - 2\pi ja yleisemmin \theta + n2\pi, missä n on kokonaisluku, ovat eri kulmia mutta vastaavat samaa yksikköympyrän kehän pistettä.
Huomautus 3.4.2
Sinin ja kosinin nollakohdat voidaan päätellä yksikköympyrästä.
missä n on mielivaltainen kokonaisluku. Koska \tan\theta = \frac{\sin \theta}{\cos \theta} on määritelty vain silloin, kun \cos\theta \not= 0, saadaan tangentin määrittelyehdoksi \theta \not= \frac{\pi}{2} + n\pi, missä n on kokonaisluku. Tangentin nollakohdat ovat samat kuin sinin nollakohdat.
Trigonometristen funktioiden arvoja lasketaan usein erilaisten ohjelmistojen avulla. Joitakin trigonometristen funktioiden arvoja välillä 0 < \theta < \frac{\pi}{2} voidaan edelleen päätellä muistikolmioista.
Jos kulma ei ole välillä 0\le\theta\le\frac{\pi}{2}, niin trigonometrisen funktion arvon laskeminen voidaan palauttaa tälle välille seuraavien palautuskaavojen avulla.
- \sin(\theta + n2\pi) = \sin\theta, \cos(\theta + n2\pi) = \cos\theta ja \tan(\theta + n\pi) = \tan\theta, kun n\in \Z
- \sin(-\theta) = -\sin\theta ja \cos(-\theta) = \cos\theta
- \sin(\theta + \pi) = -\sin\theta ja \cos(\theta + \pi) = -\cos\theta
- \cos\theta = \sin\left(\frac{\pi}{2} - \theta\right) ja \sin\theta = \cos\left(\frac{\pi}{2} - \theta\right)
Kaavat voidaan päätellä yksikköympyrästä, sillä esimerkiksi
- kulmia \theta ja \theta+n2\pi vastaa samaa kehäpiste ja
- kulmia \theta ja -\theta vastaavilla kehäpisteillä on sama x-koordinaatti mutta y-koordinaatit ovat toistensa vastalukuja.
Esimerkki 3.4.3
Laske \cos\left(\dfrac{2\pi}{3}\right).
Kulma \frac{2\pi}{3} = \pi - \frac{\pi}{3} on toisessa koordinaattineljänneksessä, jolloin sen kosinin laskeminen palautuu ensimmäiseen neljännekseen ja muistikolmioon palautuskaavojen avulla seuraavasti:
Vaihtoehtoinen tapa on piirtää suorakulmainen kolmio yksikköympyrän toiseen neljännekseen ja päätellä palauttaminen kulmaan \frac{\pi}{3} suoraan siitä.
Palautuskaavoilla \sin(-\theta) = -\sin\theta ja \cos(-\theta) = \cos\theta on erityinen merkitys.
Määritelmä 3.4.4
Funktio f on parillinen, jos f(-x)=f(x), ja pariton, jos f(-x)=-f(x) aina kun f(x) ja f(-x) on määritelty.
Geometrisesti parillisuus tarkoittaa sitä, että funktion kuvaaja on peilisymmetrinen y-akselin suhteen, ja parittomuus sitä, että kuvaaja on kiertosymmetrinen origon suhteen. Esimerkiksi \cos x, 1, x^2, x^4 ja x^6 ovat parillisia funktioita, kun taas \sin x, \tan x, x, x^3 ja x^5 ovat parittomia funktioita. Funktiot eivät yleensä ole parillisia eivätkä parittomia.
Esimerkki 3.4.5
- Osoita, että f(x)=x^2\sin x on pariton.
- Onko f(x)=(x+1)^2 parillinen tai pariton?
Suoralla laskulla nähdään, että
f(-x) = (-x)^2\sin(-x) = x^2(-\sin x) = -x^2\sin x = -f(x),joten f on pariton funktio.
Koska f(-1) = 0 ja f(1) = 4, niin funktio f ei ole parillinen eikä pariton.
Lause 3.4.6 (Trigonometrian peruskaava)
Olkoon \theta mikä tahansa reaaliluku. Tällöin
missä potenssimerkinnöillä tarkoitetaan lukuja (\cos(\theta))^2 ja (\sin(\theta))^2.
Tulkitaan reaaliluku \theta kulmaksi. Olkoon (x_0,y_0) se yksikköympyrän kehän piste, joka vastaa kulmaa \theta. Määritelmän 3.4.1 mukaan \sin\theta = y_0 ja \cos \theta = x_0.
Yksikköympyrän yhtälö on muotoa x^2 + y^2 = 1, ja kaikki ympyrän kehän pisteet toteuttavat sen. Siispä
Esimerkki 3.4.7
Ratkaise yhtälö 3\sin^2 x-\cos^2x=2, kun 0 \leq x \leq \pi.
Trigonometrian peruskaavan nojalla \cos^2x=1-\sin^2x, joten yhtälö saadaan muotoon
Ehto 0 \leq x \leq \pi tarkoittaa, että rajoitutaan xy-tason ensimmäiseen ja toiseen neljännekseen, joissa sini on ei-negatiivinen. Täten riittää riittää hakea yhtälön \sin x=\frac{\sqrt{3}}{2} kaikki ratkaisut tällä välillä. Siis x=\frac{\pi}{3} tai x=\frac{2\pi}{3}.
Seuraavat sinin ja kosinin summakaavat ovat tärkeitä myöhemmin kompleksilukujen käsittelyssä.
Lause 3.4.8
\sin(\theta + \varphi) = \sin\theta\cos\varphi + \cos\theta\sin\varphi\qquad ja \qquad\cos(\theta + \varphi) = \cos\theta\cos\varphi - \sin\theta\sin\varphi.
Todistetaan sinin summakaava geometrisesti silloin, kun \theta, \varphi ja \theta+\varphi sijaitsevat ensimmäisessä neljänneksessä. Piirretään avuksi kuva.
Lasketaan siis kulmaa \theta + \varphi vastaavan kehäpisteen y-koordinaatti. Piirretään tästä kehäpisteestä kohtisuora jana kulman \theta vasemmalle kyljelle, sekä x-akselin suuntainen suora niiden leikkauspisteen kautta. Piirretään vielä kulman \theta + \varphi kehäpisteeltä kohtisuora jana tälle suoralle. Kuvan mukaisesti muodostuu kaksi suorakulmaista kolmiota, joiden hypotenuusien pituudet ovat \sin\varphi ja \cos\varphi, sekä toinen terävistä kulmista \theta. Tällöin halutun kehäpisteen y-koordinaatti on kahden kateetin pituuden summana
Muita kuin ensimmäisen neljänneksen tapauksia varten voidaan soveltaa palautuskaavoja, kunnes edellämainitut ehdot toteutuvat, ja näin todistus laajenee kaikille kulmille \theta ja \varphi. Kosinin summakaava todistuu vastaavasti.
Summakaavojen, palautuskaavojen ja peruskaavan avulla voidaan johtaa lukuisa määrä taulukkokirjoissa lueteltuja trigonometrisiin funktioihin liittyviä kaavoja, kuten kaksoiskulmakaavat
ja niiden johdannaiset
Lisäksi kulmien \frac{\pi}{3}, \frac{\pi}{4} ja \frac{\pi}{6} yhdistelmien sinin ja kosinin tarkkoja arvoja voidaan laskea summakaavojen avulla.
Esimerkki 3.4.9
Laske kulman 15^{\circ} sinin, kosinin ja tangentin tarkat arvot.
Nähdään, että 15^{\circ} = 45^{\circ} - 30^{\circ} = \frac{\pi}{4} - \frac{\pi}{6} radiaania. Täten
Joskus sinin, kosinin ja tangentin käänteisluvuille käytetään nimityksiä kosekantti, sekantti ja kotangentti, ja merkitään
Näiden avulla monimutkaisia trigonometrisia lausekkeita voidaan ilmaista lyhyemmin.
Trigonometristen funktioiden käänteisfunktiot¶
Jos sini ja kosini muuntavat kulman yksikköympyrän kehäpisteen koordinaateiksi, niin voidaanko tämä kääntää ympäri? Onko mahdollista määrittää kulma kehäpisteen koordinaatista? Ongelmaa voidaan lähestyä jälleen tutkimalla tapausta aluksi ensimmäisessä koordinaattineljänneksessa, minkä jälkeen tulosten laajentaminen muihin neljänneksiin on mahdollista.
Määritelmä 3.4.10
Merkitään yksikköympyrässä kulmaa \theta vastaavaa kehäpistettä (x, y). Arkusfunktiot arkussini, arkuskosini ja arkustangentti määritellään säännöillä
missä arkustangentti on määritelty vain, jos x \not= 0. Näistä funktioista käytetään joskus myös merkintöjä \arcsin = \sin^{-1}, \arccos = \cos^{-1} ja \arctan = \tan^{-1}, joita ei tule sekoittaa potenssiin -1. Kulma \theta rajataan arkustangentin tapauksessa välille \left(-\frac{\pi}{2},\frac{\pi}{2}\right), arkussinin tapauksessa välille \left[-\frac{\pi}{2},\frac{\pi}{2}\right] ja arkuskosinin tapauksessa välille [0,\pi].
Jos tiedetään vaikkapa yksikköympyrän kehäpisteen x-koordinaatti, niin y-koordinaatille on kaksi mahdollista vaihtoehtoa, y = \pm\sqrt{1 - x^2}. Täten ilman kulman rajausta myös arkuskosinin arvolle olisi kaksi mahdollista vaihtoehtoa! Kuten juurifunktion määritelmässä, tässä kohtaa sovitaan, että arkuskosinin arvoksi asetetaan ei-negatiivinen. Arkussinin ja arkustangentin tapauksissa sovitaan vastaavista syistä, että niiden arvo sijoittuu aina kulmien -\frac{\pi}{2} ja \frac{\pi}{2} väliin.
Huomautus 3.4.11
Koska arkussini ja arkuskosini kuvaavat yksikköympyrän kehäpisteen koordinaatit kulmalle, niin niiden syötteen täytyy aina olla lukujen -1 ja 1 välissä. Esimerkiksi lukua \arcsin(\pi) ei ole määritelty. Arkustangentin tapauksessa tällaista rajoitusta ei ole, sillä kehäpisteiden koordinaattien suhde \frac{y}{x} käy läpi kaikki reaaliset arvot.
Seuraavassa kuvassa on esitetty kunkin arkusfunktion kuvaaja.
Laskuissa toisiaan vastaavat trigonometriset ja arkusfunktiot kumoavat toisensa käänteisfunktioiden ominaisuuksien perusteella, kunhan molemmat on määritelty, eli esimerkiksi
silloin, kun -\frac{\pi}{2} \leq x \leq \frac{\pi}{2} ja -1 \leq y \leq 1. Kirjoita vastaavat tulokset kosinille ja tangentille!
Esimerkki 3.4.12
Laske \arcsin\left(\dfrac12\right), \arcsin\left(-\dfrac12\right) ja \arccos\left(-\dfrac{\sqrt3}{2}\right).
On siis löydettävä sellaiset kulmat, joiden sini tai kosini on mainittu luku. Muistikolmiosta nähdään, että
Merkitään \arcsin\left(-\frac{1}{2}\right) = x ja otetaan sini molemmin puolin. Tällöin
joten \frac{1}{2} = -\sin(x) = \sin(-x) ja edelleen
Siis edellisen laskun nojalla \arcsin\left(-\frac{1}{2}\right) = -\frac{\pi}{6}. Vastaavasti viimeistä varten muistetaan, että \cos\left(\frac{\pi}{6}\right) = \frac{\sqrt{3}}{2}, joten
ja \arccos\left(-\frac{\sqrt{3}}{2}\right) = \frac{5\pi}{6}.