Trigonometrinen funktio

**Trigonometriset funktiot** ovat matematiikassa kulman funktioita, jotka ovat tärkeitä, kun tutkitaan kolmioita tai mallinnetaan jaksollisia ilmiöitä. Trigonometriset funktiot määritellään yleisesti kulman sisältävän suorakulmaisen kolmion sivujen suhteina, mutta ne voidaan yhtäpitävästi määritellä yksikköympyrään piirrettyjen janojen pituuksina. Modernimmat määritelmät esittävät ne sarjoina tai tiettyjen differentiaaliyhtälöiden ratkaisuina, jolloin ne voidaan laajentaa käsittämään sekä positiiviset että negatiiviset luvut ja jopa kompleksiluvut. Kaikki nämä lähestymistavat esitellään edempänä.

Nykyään on käytössä kuusi trigonometrista perusfunktiota, jotka on taulukoitu alempana keskinäisine yhteyksineen. Näitä yhteyksiä pidetään usein varsinkin neljän viimeisen funktion *määritelmänä*, mutta ne voidaan määritellä yhtä hyvin myös geometrisesti tai muilla tavoilla ja johtaa sitten funktioiden väliset yhteydet.

Ennen oli käytössä myös muutama nykyään vähän käytetty funktio, joiden arvoja myös taulukoitiin, kuten:
* **versaalisini**: (\operatorname{versin}\,{\theta} = 1 - \cos \theta)
* **ekssekantti**: (\operatorname{exsec}\,{\theta} = \sec \theta - 1).

Myös sekantti ja kosekantti ovat harvoin käytettyjä, sillä niiden sijasta käytetään yleensä sinin ja kosinin käänteisarvoja.

Trigonometristen funktioiden tiettyjen rajoittumien käänteisfunktioita ovat arkusfunktiot.

## Määritelmät suorakulmaisen kolmion avulla

Määritelläksemme trigonometriset funktiot kulmalle *&alpha;*, aloitamme mielivaltaisesta suorakulmaisesta kolmiosta, jonka terävistä kulmista toiselle käytetään merkintää *&alpha;* (0 
\sin \alpha = \frac {\textrm{vastainen}} {\textrm{hypotenuusa}} = \frac {a} {h}, \;
\cos \alpha = \frac {\textrm{viereinen}} {\textrm{hypotenuusa}} = \frac {b} {h}, \;
\tan \alpha = \frac {\textrm{vastainen}} {\textrm{viereinen}} = \frac {a} {b}.


Jäljellä oleville kolmelle funktiolle on helpointa antaa määritelmät äsken laatimiemme määritelmien avulla. Kulman **kosekantti** on kulman sinin käänteisluku eli hypotenuusan ja vastaisen kateetin pituuksien suhde. Kulman **sekantti** on kulman kosinin käänteisluku eli hypotenuusan ja viereisen kateetin pituuksien suhde. Kulman **kotangentti** on kulman tangentin käänteisluku eli viereisen ja vastaisen sivun pituuksien suhde. Saamme kaavat:
:
\csc \alpha = \frac{ 1 }{ \sin \alpha } = \frac {h} {a}, \;
\sec \alpha = \frac{ 1 }{ \cos \alpha } = \frac {h} {b}, \;
\cot \alpha = \frac{ 1 }{ \tan \alpha } = \frac {b} {a}.


Kun kulma  \alpha on hyvin lähellä nollaa tai suoraa kulmaa, kolmio on muodoltaan hyvin kapea. Tällöin siinä toinen kateetti on hyvin lyhyt ja toinen melkein hypotenuusan pituinen. Tällä perusteella laajennamme antamaamme trigonometristen funktioiden määritelmiä rajatapauksina myös 0 ja 90 asteen kulmille seuraavasti:

:
\begin{align}
\sin 0^\circ & = \cos 90^\circ = 0,\ \cos 0^\circ = \sin 90^\circ = 1, \\
\tan 0^\circ & = \cot 90^\circ = 0,\ \csc 0^\circ = \sec 90^\circ = 1.
\end{align}


Nollan asteen kulmalle ei voida määritellä kotangenttia eikä sekanttia eikä liioin 90 asteen kulmalle tangenttia eikä kosekanttia. Kulman lähestyessä näitä arvoja näiden funktioiden arvot kasvavat rajattomasti, minkä vuoksi funktioilla sanotaan näissä kohdissa olevan raja-arvo ääretön.

## Määritelmät yksikköympyrän avulla

Trigonometriset funktiot voidaan myös määritellä yksikköympyrän eli origossa sijaitsevan ympyrän, jonka säde on 1, avulla. Tämä määritelmä ei juuri eroa aiemmasta suorakulmaisten kolmioiden avulla tehdystä, sillä se tukeutuu vahvasti suorakulmaisiin kolmioihin. Yksikköympyrän etu on kuitenkin se, että se sallii trigonometristen funktioiden määrittelyjoukon luontevan laajentamisen kaikille positiivisille ja negatiivisille kulmille sen sijaan, että hyväksyttäisiin kulman arvot ainoastaan välillä 0° \cos{\theta} = x
: \sin{\theta} = y.
Jos kulma on muodostettu kiertämällä leikkauspisteestä (1,0) lähdettäessä vastapäivään, kulma θ katsotaan positiiviseksi, myötäpäivään kierrettäessä negatiiviseksi.  Koska yksikköympyrän yhtälö on:
: x^2 + y^2 = 1 \,,
seuraa tästä, että kaikilla θ:n arvoilla pätee
:\cos^2{\theta} + \sin^2{\theta} = 1.
Tämä yhtälö on itse asiassa sama kuin Pythagoraan lause trigonometristen funktioiden avulla ilmaistuna.

Kuvassa on annettu joitain tavallisia kulmien arvoja radiaaneissa. Vastapäivään tehdyt mittaukset ovat positiivisia ja myötäpäivään tehdyt negatiivisia kulmia. 

Yksikköympyrän sisälle piirretty kolmio vahvistaa, että jos kulma &theta; on terävä, tämä määritelmä on yhtäpitävä aikaisemman, suorakulmaiseen kolmioon perustuvan määritelmän kanssa: kolmion hypotenuusa on ympyrän säde, jonka pituus on 1, joten sin θ = *y*/1 ja cos θ = *x*/1. Yksikköympyrää voi ajatella tapana tarkastella ääretöntä määrää suorakulmaisia kolmioita vaihtelemalla sivujen pituuksia mutta pitämällä hypotenuusa yhtäsuurena.

Yksikköympyrään perustuva määritelmä ei kuitenkaan edellytä, että kulman on oltava terävä. Kuviosta voidaan todeta, että jos pisteestä (1,0) lähdetään ympyrän kehää pitkin vastapäivään kulman θ tai edelleen kulman 180°-θ verran, pisteet, joihin päädytään, ovat toistensa peilikuvia y-akselin eli suoran *x*=0 suhteen. Koska näiden pisteiden koordinaatit ovat (cos θ, sin θ) ja (cos (180°-θ), sin (180°-θ), seuraa tästä, että

: \cos{(180^\circ - \theta)} = -\cos{\theta} ja
: \sin{(180^\circ - \theta)} = \sin{\theta},

tai jos kulmayksikkönä käytetään radiaania, 
: \cos{(\pi - \theta)} = -\cos{\theta} ja
: \sin{(\pi - \theta)} = \sin{\theta}

Jos taas kulma θ korvataan kulmalla -θ, päädytään pisteeseen, joka on alkuperäisen pisteen peilikuva x-akselin suhteen. Siitä seuraa, että
:\cos{(-\theta )} = \cos{\theta} ja
:\sin{(-\theta )} = -\sin{\theta}.

Tämä merkitsee, että kosini on parillinen, sini sen sijaan pariton funktio.

Muut trigonometriset funktiot määritellään sinin ja kosinin suhteina tai käänteisarvoina samoin kuin suorakulmaista kolmiota lähtökohtana käytettäessäkin voitaisiin tehdä:
:\tan{\theta} = \frac{\sin{\theta}}{\cos{\theta}},
:\cot{\theta} = \frac{\cos{\theta}}{\sin{\theta}},
:\sec{\theta} = \frac{1}{\cos{\theta}},
:\csc{\theta} = \frac{1}{\sin{\theta}},

Kulmilla, jotka ovat suurempia kuin täysikulma 2\pi tai pienempiä kuin -2\pi, trigonometriset funktiot määritellään antamalla kulman kiertyä ympäri. Toisin sanoen, jos ympyrän kehää pitkin kuljetaan kulman \theta + 2\pi verran, ajatellaan, että on tehty ensin täysi kierros ja sen jälkeen jatkettu vielä kulman \theta verran, jolloin päädytään samaan pisteeseen kuin jos olisikin kierretty vain kulman \theta verran. Tällä tavalla laajennetut sini ja kosini ovat siis jaksollisia funktioita, joiden jakso on 2\pi.

:\sin\theta = \sin\left(\theta + 2\pi n \right)
:\cos\theta = \cos\left(\theta + 2\pi n \right)

kaikille kulman arvoille θ ja kokonaisluvuille *n*.

Sinillä, kosinilla ja tangentilla on kaikilla äärettömästi nollakohtia seuraavasti, kun kulma on θ ja *n* on kokonaisluku:
: \sin \theta = 0 \leftrightarrow \theta = n \pi 
: \cos \theta = 0 \leftrightarrow \theta = \frac{ 2n + 1}{2} \pi 
: \tan \theta = 0 \leftrightarrow \theta = n \pi 

Jaksollisen funktion *pienintä* positiivista jaksoa sanotaan funktion *perusjaksoksi*. Sinin, kosinin, sekantin ja kosekantin kokonainen ympyrä eli 2\pi radiaania tai 360 astetta; tangentin perusjakso on puoliympyrä eli \pi radiaania tai 180 astetta. Yllä määriteltiin vain sini ja kosini suoraan yksikköympyrän avulla, sillä neljä muuta trigonometrista funktiota voidaan määritellä niiden avulla:

:\tan\theta = \frac{\sin\theta}{\cos\theta} \quad \sec\theta = \frac{1}{\cos\theta}

:\csc\theta = \frac{1}{\sin\theta} \quad \cot\theta = \frac{\cos\theta}{\sin\theta}

Oikealla olevassa kuvassa on sinin ja kosinin kuvaajista huomattavasti poikkeava tangenttifunktion kuvaaja piirrettynä koordinaatistoon. Huomaa, että sen *x*-akselin leikkauspisteet vastaavat sinifunktion vastaavia, kun taas ne arvot joilla se ei ole määritelty vastaavat kosinifunktion nollakohtia. Funktion arvot muuttuvat hitaasti lähellä kulman arvoja  n \pi  ja nopeasti kulmilla jotka ovat lähellä arvoja (n/2)\pi. Tangentilla on pystysuora asymptootti x:n arvoilla  n \pi/2 . Tämä johtuu siitä, että kulman arvon lähestyessä arvoa n \pi/2 vasemmalta lähestyy funktion arvo ääretöntä, kun taas oikealta lähestyttäessä sen arvo lähestyy miinus ääretöntä.

*Kaikki* trigonometriset funktiot voidaan vaihtoehtoisesti määritellä *O*-keskisen yksikköympyrän (kuvattu oikealla) avulla, ja vastaavanlaisia geometrisia määritelmiä käytettiinkin ennen paljon. Ympyrän jänteelle *AB*, jossa θ on puolet kolmion *OAB* janan *AB* vastaisesta kulmasta, sin(θ) on *AC* (puolet jänteestä); määritelmä, jonka esitti intialainen matemaatikko Aryabhata 400-luvun lopulla. cos(θ) on vaakasuora jana *OC*, ja versin(θ) = 1 &minus; cos(θ) on jana *CD*. tan(θ) on ympyrän pisteeseen *A* piirretylle tangentille piirretyn janan *AE* pituus, minkä takia funktio onkin nimetty *tangentiksi*. cot(θ) on jana *AF*, joka on myös pisteen *A* kautta kulkevalla tangentilla. sec(θ) ja csc(θ) ovat sekanttien osia, ja niitä voidaan myös pitää janan *OA* projektioina *x*- ja *y*-akseleille pisteeseen *A* piirrettyä tangenttia pitkin. *DE* on exsec(θ) = sec(θ) &minus; 1 (sekantin ympyrän ulkopuolinen osa). Näissä konstruktioista on helppoa nähdä, että tangentti- ja sekanttifunktiot hajaantuvat, kun θ lähestyy suoraa kulmaa, ja että kosekantti ja kotangentti hajaantuvat θ:n lähestyessä nollaa. (Moni muu vastaava rakennelma on mahdollinen, ja yksinkertaiset trigonometriset identiteetit voidaan todistaa graafisesti.)

Jos kulma θ on hyvin pieni, on sitä vastaava kaari (**arc** oheisessa kuviossa) vain hieman pidempi kuin tämän kulman vastainen kateetti, jonka pituus on sin θ. Mitä pienempi kulma θ on, sitä tarkemmin nämä ovat yhtä pitkiä, eli niiden suhde on sitä lähempänä arvoa 1. Tähän liittyen voidaankin osoittaa, että kun kulmayksikkönä käytetään radiaania, on
:\lim_{\theta \to 0}\frac{\sin{\theta}}{\theta} = 1.

### Todistus

Todistetaan tapaus \lim_{\theta \to 0+}\frac{\sin{\theta}}{\theta} = 1, tapaus \lim_{\theta \to 0-}\frac{\sin{\theta}}{\theta} = 1 todistetaan vastaavalla tavalla.

Koska ympyrän jänne on lyhyempi kuin sen määrittämä kaari, niin sinifunktion määritelmän ja tasakylkisen kolmion huippukulman puolittajan ominaisuuksien nojalla pätee 2 \sin{\frac{\alpha}{2}}  \le  \alpha \iff \sin{\frac{\alpha}{2}}  \le  \frac{\alpha}{2}. Kun \alpha > 0 ja \theta = \frac{\alpha}{2}, niin \frac{\sin{\theta}}{\theta} \le 1. 

Yksikköympyrän sektori, jonka määrittää kulma \theta on puolestaan pienempi kuin suorakulmainen kolmio, jonka kateetin pituus on 1 ja viereinen kulma \theta. Siis tangenttifunktion määritelmän nojalla saadaan \frac{\theta}{2} \le  \frac{\tan{\theta}}{2}, joka on yhtäpitävä epäyhtälön \theta \le \frac{\sin{\theta}}{\cos{\theta}} kanssa. Koska \cos{\theta} > 0, kun 0 , niin \cos{\theta} \le \frac{\sin{\theta}}{\theta}. 

Yhdistettynä edellinen jänteen ja kaaren pituuksista johdetun epäyhtälön kanssa saadaan \cos{\theta} \le \frac{\sin{\theta}}{\theta} \le 1. Koska \lim_{\theta \to 0+}\cos{\theta} = 1, niin kuristuslauseen nojalla \lim_{\theta \to 0+}\frac{\sin{\theta}}{\theta} = 1. \square

#### Seuraus

\lim_{\theta \to 0}\frac{1 - \cos{\theta}}{\theta} = 0, sillä  1 + \cos{\theta} > 0, kun \theta on 0:n lähellä, joten \lim_{\theta \to 0}\frac{1 - \cos{\theta}}{\theta} = \lim_{\theta \to 0}\frac{1 - \cos{\theta}}{\theta} \frac{(1 + \cos{\theta})}{(1 + \cos{\theta})} = \lim_{\theta \to 0} \frac{1 - \cos^2{\theta}}{\theta(1 + \cos{\theta})} = \lim_{\theta \to 0} \frac{\sin^2{\theta}}{\theta(1 + \cos{\theta})} =  \lim_{\theta \to 0} \left[ \frac{\sin{\theta}}{\theta} \cdot \frac{\sin{\theta}}{(1 + \cos{\theta})} \right] =  \lim_{\theta \to 0} \frac{\sin{\theta}}{\theta} \cdot \lim_{\theta \to 0} \frac{\sin{\theta}}{(1 + \cos{\theta})} = 1 \cdot 0 = 0. 

Tätä ja edellistä raja-arvoa sekä trigonometristen funktioiden yhteenlaskukaavoja käytetään johdettaessa \sin- ja muiden trigonometristen funktioiden derivaattoja.

## Määritelmät sarjakehitelmien avulla

*Huomautus*: Kuten differentiaalilaskennassa yleensäkin, kaikkien kulmien arvot ilmoitetaan tässä radiaaneina. (Katso otsikko radiaanien merkitys)

Pelkällä geometrialla ja raja-arvoilla voidaan osoittaa, että sinin derivaatta on kosini, ja että kosinin derivaatta on sinin vastaluku. Taylorin polynomien avulla voidaan näyttää että seuraavat identiteetit pätevät kaikille reaaliluvuille *x*:

:\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots = \sum_{n=0}^\infty \frac{(-1)^nx^{2n+1}}{(2n+1)!}

:\cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots = \sum_{n=0}^\infty \frac{(-1)^nx^{2n}}{(2n)!}

Näitä identiteettejä käytetään usein sinin ja kosinin *määritelminä* ja lähtöpisteenä trigonometristen funktioiden ja niiden sovellusten (esim. Fourier-sarjoissa) täsmälliselle käsittelylle, sillä sarjojen teoria voidaan rakentaa reaalilukujen pohjalta, ilman minkäänlaisia geometrisia tulkintoja. Näiden funktioiden derivoituvuus ja jatkuvuus todentuu näin sarjojen määritelmien pohjalta.

Muillekin funktioille on olemassa sarjakehitelmiä (Abramowitz ja Stegun 1964, Weisstein 2006):

:

Kun tämä sarja esitetään muodossa, jossa nimittäjät ovat vastaavia kertomia, saavat osoittajat, joita kutsutaan "tangenttiluvuiksi", kombinatoriaalisen tulkinnan: ne ovat äärellisten parittomasti mahtavien joukkojen vuorottelevien permutaatioiden lukumäärä.

:

:

Kun tämä sarja esitetään muodossa, jossa nimittäjät ovat vastaavia kertomia, saavat osoittajat, joita kutsutaan "sekanttiluvuiksi", kombinatoriaalisen tulkinnan: ne ovat äärellisten parillisesti mahtavien joukkojen vuorottelevien permutaatioiden lukumäärä.

:

missä

:B_n \, on *n*:s Bernoullin luku,
:E_n \, on *n*:s Eulerin luku, ja
:U_n \, on *n*:s ylös/alas-luku.

Kompleksianalyysissä käytetyn teoreeman mukaan tällä funktiolla on yksikäsitteinen analyyttinen laajennus kompleksilukujen alueelle. Sen Taylorin polynomi on sama kuin reaaliluvuille määritelty, joten trigonometriset funktiot on määritelty kompleksiluvuille käyttämällä yllä olevia Taylorin sarjoja.

### Suhde eksponenttifunktioon ja kompleksilukuihin

Eksponenttifunktiolle e^x voidaan johtaa Taylorin sarjakehitelmä:

:e^x = 1 + x + \frac{x^2}{2 !} + \frac{x^3}{3 !} + \frac{x^4}{4 !} + ... 

Tämä on alun perin johdettu vain muuttujan *x* reaaliarvoille. Tämä kehitelmä tekee kuitenkin mahdolliseksi laajentaa eksponenttifunktiota niin, että se on määritelty silloinkin, kun *x* on mielivaltainen kompleksiluku: otetaan vain yllä oleva kehitelmä funktion määritelmäksi. Tällöin osoittautuu, että trigonometriset funktiot ja eksponenttifunktio liittyvät kompleksialueella läheisesti toisiinsa: kosini- ja sinifunktio ovat eksponenttifunktion reaali- ja imaginaariosa, kun muuttuja on puhtaasti imaginaarinen:

: e^{i \theta} = \cos\theta + i\sin\theta \,.

Tämän yhteyden huomasi ensimmäisenä Leonhard Euler, ja sitä kutsutaan hänen mukaansa Eulerin lauseeksi. Tämän lauseen seurauksena trigonometrisista funktioista tulee oleellinen osa kompleksianalyysin geometrista tulkintaa. Esimerkiksi kompleksitasolle piirretty yksikköympyrä, jonka määrittelee kaava e^{i x}, voidaan parametrisoida sinin ja kosinin avulla, jolloin kompleksiarvoisten eksponenttifunktioiden ja trigonometristen funktioiden välinen yhteys muuttuu entistä selvemmäksi.

Eulerin kaavan avulla voidaan lisäksi määritellä trigonometriset funktiot kompleksiargumenteilla z:

: \sin z \, = \, \sum_{n=0}^{\infty}\frac{(-1)^{n}}{(2n+1)!}z^{2n+1} \, = \, {e^{\imath z} - e^{-\imath z} \over 2\imath} = -\imath \sinh \left( \imath z\right) 

: \cos z \, = \, \sum_{n=0}^{\infty}\frac{(-1)^{n}}{(2n)!}z^{2n} \, = \, {e^{\imath z} + e^{-\imath z} \over 2} = \cosh \left(\imath z\right)

missä i^2 = -1.

:\tan z=\frac{\sin z}{cos z}=\frac{1}{i}\frac{e^{iz}-e^{-iz}}{e^{iz}+e^{-iz}}

Lisäksi kaikille reaalisille x:

: \cos x \, = \, \mbox{Re } (e^{\imath x})

: \sin x \, = \, \mbox{Im } (e^{\imath x})

#### Funktioiden käyttäytyminen kompleksitasossa

Funktio \cos z ei saavuta ääretöntä missään äärellisessä pisteessä, mutta funktio lähenee sitä raja-arvona, jos z lähestyy ääretöntä siten, että sen imaginääriosa kasvaa kohti ääretöntä tai pienenee kohti miinusääretöntä. Tästä seuraa, että ääretön on siis funktion \cos z asymptoottinen arvo. Edelläesitetty pätee myös funktiolle \sin z, koska sinin arvot saadaan kosinin arvoista siirtämällä niitä x-akselin suuntaan \frac{\pi}{2}:n verran.

## Määritelmät differentiaaliyhtälöiden avulla

Sini- ja kosinifunktio toteuttavat differentiaaliyhtälön

:y\,*=-y</math>

toisin sanoen kumpikin on oman toisen [[derivaatta]]nsa vasta-alkio. Kaksiulotteisessa lineaariavaruudessa *V*, joka koostuu tämän yhtälön kaikista ratkaisuista, sinifunktio saadaan alkuehdoilla <math>y(0) = 0</math> ja <math>y'(0) = 1</math>, ja kosinifunktio saadaan alkuehdoilla <math>y(0)=1</math> ja <math>y'(0)=0</math>. Koska sini ja kosini ovat [[Lineaarinen riippumattomuus|lineaarisesti riippumattomia]], muodostavat ne *V*:n [[kanta (lineaarialgebra)|kannan]]. Tämä tapa määritellä trigonometriset funktiot on olennaisesti sama kuin Eulerin kaavan avulla tehty määritelmä. Tätä differentiaaliyhtälöä voi myös käyttää sinin ja kosinin trigonometristen kaavojen todistamiseen.

Tangenttifunktio on epälineaarisen differentiaaliyhtälön

:<math>y\,'=1+y^2</math>

yksiselitteinen ratkaisu alkuarvoilla <math>y(0)=0</math>.

=== Radiaanien merkitys ===

Radiaanit määrittelevät kulman mittaamalla yksikköympyrän kehää pitkin kuljettua matkaa ja ovat trigonometristen funktioiden luonnollinen muuttuja. Ainoastaan ne sini- ja kosinifunktiot, jotka kuvaavat radiaanit suhteiksi, toteuttavat ne differentiaaliyhtälöt, jotka tavallisesti kuvaavat niitä. Jos sinin tai kosinin muuttujan "taajuutta" muutetaan,

:<math>f(x) = \sin(kx); k \ne 0, k \ne 1 \,</math>
muuttuu derivaattojen "[[amplitudi]]".
:<math>f'(x) = k\cos(kx) \,</math>.

Vakio <math>k</math> on muunnoskerroin yksiköstä toiseen. Jos <math>x</math> on ilmoitettu asteissa,
:<math>k = \frac{\pi}{180^\circ}.</math>

Sinin toinen derivaatta ei siis toteuta differentiaaliyhtälöä
:<math>y* = -y \,,
vaan yhtälön
:y* = -k^2y \,</math>;
kosinifunktio käyttäytyy samalla tavoin.

Nämä sinit ja kosinit ovat siis eri funktioita, ja sinin neljäs derivaatta on sini vain, jos muuttuja on radiaaneissa.

==Muita määritelmiä==

Matemaattisessa [[analyysi (matematiikka)|analyysissä]] trigonometriset funktiot voidaan määritellä abstraktisti seuraavien perusominaisuuksiensa avulla. Olkoot *s*(*x*) ja *c*(*x*) kaksi [[reaaliluku|reaalimuuttujan]] reaaliarvoista funktiota, joilla on seuraavat ominaisuudet:

#. Funktiot *s*(*x*) ja *c*(*x*) on määritelty kaikilla arvoilla <math>x \in \mathbb{R}</math>
#. *s*(0) = 0 ja *c*(0) = 1.
#. <math>(s(x))^2 + (c(x))^2 = 1</math> kaikilla <math>x \in \mathbb{R}</math>
#. Kaikilla arvoilla <math>x \in \mathbb{R}</math> pätevät seuraavat funktioiden yhteen- ja vähennyslaskukaavat:
## *s* (*x*+*y*) = *s*(*x*)*c*(*y*) + *c*(*x*)*s*(*y*)
## *c* (*x*+*y*) = *c*(*x*)*c*(*y*) - *s*(*x*)*s*(*y*)
# :<math>\lim_{x \to 0}\frac{s(x)}{x} = 1</math>.

Tällöin funktiota *s* sanotaan sinifunktioksi ja merkitään <math>s(x) = \sin{x}</math>, ja vastaavasti funktiota *c* sanotaan kosinifunktioksi ja merkitään <math>c(x) = \cos{x}</math>.

Vaikka tämän määritelmän nojalla ei olekaan heti selvää, onko tällaisia funktiota ylipäänsä olemassa tai ovatko ne yksikäsitteisesti määritellyt, voidaan siitä kuitenkin johtaa trigonometristen funktioiden muut ominaisuudet. [[Väliarvolause]]en avulla voidaan esimerkiksi todistaa, että tällaiset funktiot ovat [[jaksollinen funktio|jaksollisia]]. Niin ikään voidaan osoittaa, että nämä funktiot ovat [[derivoituvuus|derivoituvia]] ja että
: <math>D \sin (x) = \cos (x)</math> ja
: <math>D \cos (x) = -\sin (x)</math>.
Derivaattojen avulla voidaan edelleen johtaa näiden funktioiden [[Taylorin sarja]]t, ja tällöin todetaan, että tämä funktioiden ominaisuuksiin perustuva määritelmä on yhtäpitävä sarjakehitelmiin perustuvan määritelmän kanssa.

Edelleen voidaan todistaa, että jos [[yksikköympyrä]]ltä valitaan sellainen piste (*x*<sub>0</sub>,*y*<sub>0</sub>), että tämän pisteen ja pisteen (1,0) välisen kaaren pituus on *s*, niin <math>x_0 = \cos{s}</math> ja <math>y_0 = \sin{s}</math>. Tämä osoittaa, että tämä abstrakti määritelmä on myös yhtäpitävä funktioiden geometrisen, yksikköympyrään perustuvan määritelmän kanssa.

== Trigonometristen funktioiden ominaisuuksia ja muunnoskaavoja ==


Trigonometristen funktioiden monet tärkeimmät ominaisuudet voidaan johtaa sinin ja kosinin yhteen- ja vähennyslaskukaavoista. Näistä voidaan johtaa vastaavat kaavat myös tangentille ja kotangentille:

:<math>
\begin{align}

\sin \left ( x + y \right ) & = \sin x \cos y + \cos x \sin y

& \sin \left ( x - y \right ) & = \sin x \cos y - \cos x \sin y \\

\cos \left ( x + y \right ) & = \cos x \cos y - \sin x \sin y

& \cos \left ( x - y \right ) & = \cos x \cos y + \sin x \sin y \\

\tan \left ( x + y \right ) & = \frac{ \tan x + \tan y }{ 1 - \tan x \tan y }

& \tan \left ( x - y \right ) & = \frac{ \tan x - \tan y }{ 1 + \tan x \tan y } \\

\cot \left ( x + y \right ) & = \frac{ \cot x \cot y - 1 }{ \cot y + \cot x }

& \cot \left ( x - y \right ) & = \frac{ \cot x \cot y + 1 }{ \cot y - \cot x }

\end{align}
</math>

Näiden avulla voidaan johtaa edelleen myös seuraavat muunnoskaavat:

:<math>
\begin{align}
\sin x + \sin y & = 2 \sin \left( \frac{ x + y }{ 2 } \right) \cos \left ( \frac{ x - y }{ 2 } \right ) \;

& \sin x - \sin y & = 2 \cos \left ( \frac{ x + y }{ 2 } \right ) \sin \left ( \frac{ x - y }{ 2 } \right) \\

\cos x + \cos y & = 2 \cos \left ( \frac{ x + y }{ 2 } \right) \cos \left( \frac{ x - y }{ 2 } \right ) \;

& \cos x - \cos y & = -2 \sin \left ( \frac{ x + y }{ 2 } \right )\sin \left( \frac{ x - y }{ 2 } \right ) \\

\tan x + \tan y & = \frac{ \sin \left ( x + y \right) }{ \cos x \cos y } \;

& \tan x - \tan y & = \frac{ \sin \left ( x - y \right ) }{ \cos x \cos y } \\

\cot x + \cot y & = \frac{ \sin \left ( x + y \right ) }{ \sin x \sin y } \;

& \cot x - \cot y & = \frac{ - \sin \left ( x - y \right ) }{ \sin x \sin y }
\end{align}
</math>

=== Trigonometristen funktioiden tarkkoja arvoja ===



Yleensä trigonometrisen funktion arvoa ei voida esittää tarkasti, mutta joillekin erityisarvoille tämä onnistuu helposti käyttämällä [[Pythagoraan lause|Pythagoraan lausetta]] apuna. Esitämme näistä arvoista muutamia ja kaksi ns. muistikolmiota, joiden avulla voi tarkkoja arvoja laskea käsin.

[[Neliö_(geometria)|Neliön]] [[lävistäjä (geometria)|lävistäjä]] jakaa neliön kahteen yhtä suureen suorakulmaiseen ja tasakylkiseen kolmioon. Näissä molemmissa kateetit ovat yhtä pitkät ja kulmat 45°-45°-90°. Pythagoraan lauseen mukaan neliön lävistäjän ja sivun suhde on √2. Nyt kun suorakulmaisen kolmion kaikkien sivujen pituudet tunnetaan, voidaan trigonometristen funktioiden tarkka arvo laskea määritelmien avulla.

[[Tasasivuinen kolmio|Tasasivuisen kolmion]] kaikki kulmat ovat suuruudeltaan 60°. Jakamalla tämä kolmio kahtia [[korkeusjana]]lla, syntyy kaksi suorakulmaista kolmiota, joiden kulmat ovat 30°-60°-90° ja lyhyemmän kateetin pituus on puolet hypotenuusasta. Pythagoraan lauseesta seuraa, että pidemmän kateetin pituus on √3/2 kertaa hypotenuusan pituus.

:<math>
\begin{align}

\sin 30 ^\circ & = \sin \frac{\pi}{6} = \frac{1}{2} = 0{,}5 &
\cos 30 ^\circ & = \cos \frac{\pi}{6} = \frac {\sqrt{3}}{2} \approx 0{,}8660 &
\tan 30 ^\circ & = \tan \frac{\pi}{6} = \frac{1}{\sqrt{3}} \approx 0{,}57735 \\

\sin 45 ^\circ & = \sin \frac{\pi}{4} = \frac {1}{\sqrt{2}} \approx 0{,}7071 &
\cos 45 ^\circ & = \cos \frac{\pi}{4} = \frac {1}{\sqrt{2}} \approx 0{,}7071 &
\tan 45 ^\circ & = \tan \frac{\pi}{4} = 1 \\

\sin 60 ^\circ & = \sin \frac{\pi}{3} = \frac {\sqrt{3}}{2} \approx 0{,}8660 &
\cos 60 ^\circ & = \cos \frac{\pi}{3} = \frac{1}{2} = 0{,}5 &
\tan 60 ^\circ & = \tan \frac{\pi}{3} = \sqrt{3} \approx 1{,}73205 \\

\end{align}
</math>

Näiden sekä edellä jo mainittujen yhteen- ja vähennyslaskukaavojen avulla trigonometristen funktioiden tarkat arvot voi johtaa monille muillekin kulmille, kuten kaikille kulmille, joiden asteluku on kolmen monikerta. Käytännössä lausekkeista tulee melko monimutkaisia.

=== Derivaatat ja integraalit ===

Trigonometristen funktioiden [[derivaatta|derivaatat]] voidaan johtaa niiden yhteen- ja vähennyslaskukaavojen avulla. Tällöin on kulmayksikkönä käytettävä radiaania. Ohessa on myös sinin, kosinin ja tangentin integraalit.

:<math>
\begin{align}
D \sin x & = \cos x\, & \int \sin x \, dx & = -\cos x \\
D \cos x & = -\sin x\, & \int \cos x \, dx & = \sin x \\
D \tan x & = {1 \over \cos^2 x} = 1 + \tan^2 x & \int \tan x \, dx & = -\ln |\cos x| \\
D \cot x & = -{1 \over \sin^2 x} = -1 - \cot^2 x & &
\end{align}
</math>

==== Todistus ====

Todistetaan tulos <math>D \sin{x} = \cos{x}</math>,  tulos <math>D \cos{x} = -\sin{x}</math> todistetaan vastaavalla tavalla. 

<math>D \sin{x} = \lim_{h \to 0} \frac{\sin{(x + h)} - \sin{x}}{h} = </math> (yhteenlaskukaavan nojalla) <math>\lim_{h \to 0} \cfrac{\sin{x} \cos{h} + \cos{x} \sin{h} - \sin{x}}{h} = </math> <math>\lim_{h \to 0} \left[ \sin{x} \cdot \cfrac{\cos{h} - 1}{h} + \cos{x} \cdot \cfrac{\sin{h}}{h} \right]= </math> <math>-\sin{x} \cdot \lim_{h \to 0} \cfrac{1 - \cos{h}}{h} + \cos{x} \lim_{h \to 0} \cfrac{\sin{h}}{h} = </math> (edellä todistettujen raja-arvojen nojalla) <math>-\sin{x} \cdot 0 + \cos{x} \cdot 1 = \cos{x}</math>. <math>\square</math>

== Käänteisfunktiot ==


Trigonometriset funktiot ovat jaksollisia, joten niiden määrittelyjoukkoa täytyy rajoittaa, jotta niille olisi mahdollista määritellä [[käänteisfunktio]]. Seuraavassa taulukossa oikealla olevat yhtälöt *määrittelevät* vasemmalla olevan funktion; nämä eivät siis ole johdettuja kaavoja. Käänteisfunktiot, joista käytetään nimitystä [[arkusfunktiot]], määritellään yleensä seuraavalla tavalla:

: <math> \begin{matrix}

   \mbox{kun} & -\frac{\pi}{2} \le y \le \frac{\pi}{2},
              & y = \arcsin(x) & \mbox{jos ja vain jos} & x = \sin(y) \\  \\
   \mbox{kun} & 0 \le y \le \pi,
              & y = \arccos(x) & \mbox{jos ja vain jos} & x = \cos(y) \\  \\
   \mbox{kun} & -\frac{\pi}{2} < y < \frac{\pi}{2},
              & y = \arctan(x) & \mbox{jos ja vain jos} & x = \tan(y) \\  \\
   \mbox{kun} & -\frac{\pi}{2} \le y \le \frac{\pi}{2}, y \ne 0,
              & y = \arccsc(x) & \mbox{jos ja vain jos} & x = \csc(y) \\  \\
   \mbox{kun} & 0 \le y \le \pi, y \ne \frac{\pi}{2},
              & y = \arcsec(x) & \mbox{jos ja vain jos} & x = \sec(y) \\  \\
   \mbox{kun} & -\frac{\pi}{2} < y < \frac{\pi}{2}, y \ne 0,
              & y = \arccot(x) & \mbox{jos ja vain jos} & x = \cot(y)

\end{matrix} </math>

Trigonometrisille funktioille on mahdollista määrittää käänteisfunktiot myös mille tahansa jakson pituiselle monotoniselle välille. Joskus käytetään merkintää, jossa käänteisfunktion nimen alkuosan päällä on viiva, korostamaan sitä, että määrittely on tehty funktion päähaaran mukaan. Esimerkiksi <math>\operatorname{\overline{arc}sin}(x)</math>. Tällainen merkintätapa on kuitenkin harvinainen.

Trigonometristen funktioiden käänteisfunktioille käytetään joskus merkintätapaa sin<sup>&minus;1</sup>(*x*) ja cos<sup>&minus;1</sup>(*x*). Tässä merkintätavassa on kuitenkin vaarana, että käänteisfunktion sijasta sama merkintä voi tarkoittaa myös funktion negatiivista potenssia. Tämän välttämiseksi käytetään nimiä arcsin, arccos jne. trigonometristen funktioiden käänteisfunktioille.


== Sovelluksia ==

Trigonometriset funktiot ovat, kuten nimestäkin käy ilmi, ratkaisevan tärkeitä [[trigonometria]]ssa. Tämä johtuu pääasiassa kahdesta seuraavasta kaavasta:

===Sinilause===

*'Sinilauseen** mukaan mille tahansa kolmiolle pätee:

:<math>\frac{\sin \alpha}{a} = \frac{\sin \beta}{b} = \frac{\sin \gamma}{c}</math>
joka voidaan esittää myös muodossa
:<math>\frac{a}{\sin \alpha} = \frac{b}{\sin \beta} = \frac{c}{\sin \gamma} = 2R,</math>



jossa ''a'', ''b'' ja ''c'' ovat kolmion sivut, ''&alpha;'' on sivun ''a'' vastainen kulma, ''&beta;'' on ''b'':n vastainen kulma, ''&gamma;'' on ''c'':n vastainen kulma ja ''R'' on kolmion [[Kolmion ympäri piirretty ympyrä|ympäri piirretyn ympyrän]] säde. Sinilause voidaan todistaa jakamalla kolmio kahteen suorakulmaiseen kolmioon ja käyttämällä yllä esitettyä sinin määritelmää suorakulmaisen kolmion sivujen suhteina. Sinilause on hyödyllinen laskettaessa tuntemattomien sivujen pituuksia, kun kaksi kulmaa ja yksi sivu on tiedossa. Tämä on yleinen tilanne [[kolmiointi|kolmioinnissa]], jonka avulla mitataan tuntemattomia pituuksia määrittämällä kaksi kulmaa ja niiden välinen pituus.

=== Kosinilause ===

**Kosinilause** on [[Pythagoraan lause]]en laajennus mielivaltaisille kolmioille:

:<math>c^2=a^2+b^2-2ab\cos \gamma \,</math>
joka voidaan muotoilla myös
:<math>\cos \gamma=\frac{a^2+b^2-c^2}{2ab}</math>

jossa ''a'', ''b'' ja ''c'' ovat kolmion sivut ja ''&gamma;'' on sivun ''c'' vastainen kulma. Tämänkin lauseen todistus on yksinkertainen kun jaetaan tutkittava kolmio kahteen suorakulmaiseen kolmioon. Kosinilauseen avulla voidaan laskea kolmion puuttuvat tiedot jos kaksi sivua ja kulma on tiedossa.

Kannattaa huomata että kolmio ei välttämättä ole yksikäsitteisesti määrätty, jos tunnettu kulma ei sijaitse tunnettujen sivujen välissä. Tällöin kosinilauseen ratkaisussa saadaan kaksi vaihtoehtoista sivun pituutta.

=== Tangenttilause ===

On olemassa myös **tangenttilause*':

:<math>\frac{a+b}{a-b} = \frac{\tan[\frac{1}{2}(\alpha+\beta)]}{\tan[\frac{1}{2}(\alpha-\beta)]},</math>

jossa *a* ja *b* kolmion sivuja, ja *&alpha;* ja *&beta;'' ovat niitä vastaavat kulmat.

Trigonometriset funktiot ovat tärkeitä muissakin kohteissa kuin kolmioiden tutkimuksessa. Ne ovat jaksollisia funktioita, joiden kuvaajille ominainen aaltomuoto on hyödyllinen toistuvien ilmiöiden, kuten ääni- ja valoaaltojen mallintamisessa. Jokainen signaali voidaan kirjoittaa eritaajuisten sinifunktioiden (tavallisesti äärettömänä) summana; tämä on perustavanlaatuinen ajatus harmonisessa analyysissä, jossa trigonometrisia sarjoja käytetään osittaisdifferentiaaliyhtälöiden erilaisten reuna-arvotehtävien ratkaisussa.

## Katso myös
* Alkeisfunktio
* Arkusfunktiot
* Hyperbolinen funktio

## Lähteet

## Kirjallisuutta
* 
* 

## Aiheesta muualla

*Opetus TV: Trigonometriset funktiot
* Opetusvideoita aiheesta Opetus.tv-sivustolla