Question: Voiko funktio olla negatiivinen?

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: 



(
versin


θ

=
1
−
cos
⁡
θ
)


{\displaystyle (\operatorname {versin} \,{\theta }=1-\cos \theta )}


ekssekantti: 



(
exsec


θ

=
sec
⁡
θ
−
1
)
.


{\displaystyle (\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 α, aloitamme mielivaltaisesta suorakulmaisesta kolmiosta, jossa on kulma α. Suorankulman vastainen sivu on hypotenuusa, mitä merkitsemme myös h:lla. Vastainen kateetti on tarkastelemamme kulman vastainen sivu eli a. Viereinen kateetti on suoran kulman ja tarkastelemamme kulman välinen sivu eli b.
Oletamme kaikkien kolmioiden olevan euklidisella tasolla, jolloin sisäkulmien summa on 180°. Tällöin suorakulmaisen kolmion terävät kulmat ovat molemmat välillä 0° < θ < 90°, missä θ on kulma. Määrittelemmekin nyt tässä trigonometriset funktiot vain näille kulmille, laajempia määritelmiä esittelemme tuonnempana.
Kulman sini on vastaisen kateetin ja hypotenuusan pituuksien suhde. Huomaa, että tämä suhde ei riipu suorakulmaisesta kolmiosta: suorakulmaiset kolmiot, joissa on kulma α, ovat yhdenmuotoisia. Kulman kosini on viereisen kateetin ja hypotenuusan pituuksien suhde. Kulman tangentti on vastaisen ja viereisen kateetin pituuksien suhde. Määritelmistä saamme seuraavat kaavat:




sin
⁡
α
=



vastainen


hypotenuusa



=


a
h


,

cos
⁡
α
=



viereinen


hypotenuusa



=


b
h


,

tan
⁡
α
=



vastainen


viereinen



=


a
b


.


{\displaystyle \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
⁡
α
=


1

sin
⁡
α



=


h
a


,

sec
⁡
α
=


1

cos
⁡
α



=


h
b


,

cot
⁡
α
=


1

tan
⁡
α



=


b
a


.


{\displaystyle \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 



α


{\displaystyle \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:








sin
⁡

0

∘





=
cos
⁡

90

∘


=
0
,

cos
⁡

0

∘


=
sin
⁡

90

∘


=
1
,




tan
⁡

0

∘





=
cot
⁡

90

∘


=
0
,

csc
⁡

0

∘


=
sec
⁡

90

∘


=
1.






{\displaystyle {\begin{aligned}\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{aligned}}}


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° < θ < 90°. Siksi onkin luontevaa mitata kulmia radiaaneina asteiden sijaan. Yksikköympyrän yhtälö on:





x

2


+

y

2


=
1



{\displaystyle x^{2}+y^{2}=1\,}


Kuvassa on annettu joitain tavallisia kulmien arvoja radiaaneissa. Vastapäivään tehdyt mittaukset ovat positiivisia ja myötäpäivään tehdyt negatiivisia kulmia. Piirretään origon kautta kulkeva suora, joka muodostaa positiivisen x-akselin kanssa kulman θ. Tämän suoran ja yksikköympyrän leikkauspisteen x- ja y-koordinaatit (tässä järjestyksessä) ovat cos θ ja sin θ. Yksikköympyrän sisälle piirretty kolmio vahvistaa tämän; 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.

Kulmilla, jotka ovat suurempia kuin täysikulma 



2
π


{\displaystyle 2\pi }

 tai pienempiä kuin 



−
2
π


{\displaystyle -2\pi }

, annetaan kulman kiertyä ympäri. Tällä tavalla sini ja kosini muuttuvat jaksollisiksi funktioiksi jaksolla 



2
π


{\displaystyle 2\pi }

.




sin
⁡
θ
=
sin
⁡

(

θ
+
2
π
n

)



{\displaystyle \sin \theta =\sin \left(\theta +2\pi n\right)}






cos
⁡
θ
=
cos
⁡

(

θ
+
2
π
n

)



{\displaystyle \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
⁡
θ
=
0
↔
θ
=
n
π


{\displaystyle \sin \theta =0\leftrightarrow \theta =n\pi }






cos
⁡
θ
=
0
↔
θ
=



2
n
+
1

2


π


{\displaystyle \cos \theta =0\leftrightarrow \theta ={\frac {2n+1}{2}}\pi }






tan
⁡
θ
=
0
↔
θ
=
n
π


{\displaystyle \tan \theta =0\leftrightarrow \theta =n\pi }


Jaksollisen funktion pienintä positiivista jaksoa sanotaan funktion perusjaksoksi. Sinin, kosinin, sekantin ja kosekantin kokonainen ympyrä eli 



2
π


{\displaystyle 2\pi }

 radiaania tai 360 astetta; tangentin perusjakso on puoliympyrä eli 



π


{\displaystyle \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
⁡
θ
=



sin
⁡
θ


cos
⁡
θ




sec
⁡
θ
=


1

cos
⁡
θ





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






csc
⁡
θ
=


1

sin
⁡
θ




cot
⁡
θ
=



cos
⁡
θ


sin
⁡
θ





{\displaystyle \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
π


{\displaystyle n\pi }

 ja nopeasti kulmilla jotka ovat lähellä arvoja 



(
n

/

2
)
π


{\displaystyle (n/2)\pi }

. Tangentilla on pystysuora asymptootti 



x


{\displaystyle x}

:n arvoilla 



n
π

/

2


{\displaystyle n\pi /2}

. Tämä johtuu siitä, että kulman arvon lähestyessä arvoa 



n
π

/

2


{\displaystyle 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 − 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(θ) − 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.)
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
−



x

3



3
!



+



x

5



5
!



−



x

7



7
!



+
⋯
=

∑

n
=
0


∞





(
−
1

)

n



x

2
n
+
1




(
2
n
+
1
)
!





{\displaystyle \sin x=x-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+\cdots =\sum _{n=0}^{\infty }{\frac {(-1)^{n}x^{2n+1}}{(2n+1)!}}}






cos
⁡
x
=
1
−



x

2



2
!



+



x

4



4
!



−



x

6



6
!



+
⋯
=

∑

n
=
0


∞





(
−
1

)

n



x

2
n




(
2
n
)
!





{\displaystyle \cos x=1-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-{\frac {x^{6}}{6!}}+\cdots =\sum _{n=0}^{\infty }{\frac {(-1)^{n}x^{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'n 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):













tan
⁡
x



{\displaystyle \tan x\,}






=

∑

n
=
0


∞






U

2
n
+
1



x

2
n
+
1




(
2
n
+
1
)
!





{\displaystyle {}=\sum _{n=0}^{\infty }{\frac {U_{2n+1}x^{2n+1}}{(2n+1)!}}}






=

∑

n
=
1


∞





(
−
1

)

n
−
1



2

2
n


(

2

2
n


−
1
)

B

2
n



x

2
n
−
1




(
2
n
)
!





{\displaystyle {}=\sum _{n=1}^{\infty }{\frac {(-1)^{n-1}2^{2n}(2^{2n}-1)B_{2n}x^{2n-1}}{(2n)!}}}






=
x
+



x

3


3


+



2

x

5



15


+



17

x

7



315


+
⋯
,



kun 



|

x

|

<


π
2




{\displaystyle {}=x+{\frac {x^{3}}{3}}+{\frac {2x^{5}}{15}}+{\frac {17x^{7}}{315}}+\cdots ,\qquad {\mbox{kun }}|x|<{\frac {\pi }{2}}}


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ä.










csc
⁡
x



{\displaystyle \csc x\,}






=

∑

n
=
0


∞





(
−
1

)

n
+
1


2
(

2

2
n
−
1


−
1
)

B

2
n



x

2
n
−
1




(
2
n
)
!





{\displaystyle {}=\sum _{n=0}^{\infty }{\frac {(-1)^{n+1}2(2^{2n-1}-1)B_{2n}x^{2n-1}}{(2n)!}}}






=


1
x


+


x
6


+



7

x

3



360


+



31

x

5



15120


+
⋯
,



kun 


0
<

|

x

|

<
π


{\displaystyle {}={\frac {1}{x}}+{\frac {x}{6}}+{\frac {7x^{3}}{360}}+{\frac {31x^{5}}{15120}}+\cdots ,\qquad {\mbox{kun }}0<|x|<\pi }












sec
⁡
x



{\displaystyle \sec x\,}






=

∑

n
=
0


∞






U

2
n



x

2
n




(
2
n
)
!



=

∑

n
=
0


∞





(
−
1

)

n



E

n



x

2
n




(
2
n
)
!





{\displaystyle {}=\sum _{n=0}^{\infty }{\frac {U_{2n}x^{2n}}{(2n)!}}=\sum _{n=0}^{\infty }{\frac {(-1)^{n}E_{n}x^{2n}}{(2n)!}}}






=
1
+



x

2


2


+



5

x

4



24


+



61

x

6



720


+
⋯
,



kun 



|

x

|

<


π
2




{\displaystyle {}=1+{\frac {x^{2}}{2}}+{\frac {5x^{4}}{24}}+{\frac {61x^{6}}{720}}+\cdots ,\qquad {\mbox{kun }}|x|<{\frac {\pi }{2}}}


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ä.










cot
⁡
x



{\displaystyle \cot x\,}






=

∑

n
=
0


∞





(
−
1

)

n



2

2
n



B

2
n



x

2
n
−
1




(
2
n
)
!





{\displaystyle {}=\sum _{n=0}^{\infty }{\frac {(-1)^{n}2^{2n}B_{2n}x^{2n-1}}{(2n)!}}}






=


1
x


−


x
3


−



x

3


45


−



2

x

5



945


−
⋯
,



kun 


0
<

|

x

|

<
π


{\displaystyle {}={\frac {1}{x}}-{\frac {x}{3}}-{\frac {x^{3}}{45}}-{\frac {2x^{5}}{945}}-\cdots ,\qquad {\mbox{kun }}0<|x|<\pi }


missä





B

n





{\displaystyle B_{n}\,}

 on n:s Bernoullin luku,





E

n





{\displaystyle E_{n}\,}

 on n:s Eulerin luku, ja





U

n





{\displaystyle 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
Sarjakehitelmien avulla voidaan näyttää, että sini- ja kosinifunktio ovat eksponenttifunktion, jonka muuttuja on puhtaasti imaginaarinen, imaginaari- ja reaaliosa:





e

i
θ


=
cos
⁡
θ
+
i
sin
⁡
θ

.


{\displaystyle 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




{\displaystyle e^{ix}}

, 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


{\displaystyle z}

:




sin
⁡
z

=


∑

n
=
0


∞





(
−
1

)

n




(
2
n
+
1
)
!




z

2
n
+
1



=





e

ı
z


−

e

−
ı
z




2
ı



=
−
ı
sinh
⁡

(

ı
z

)



{\displaystyle \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

=


∑

n
=
0


∞





(
−
1

)

n




(
2
n
)
!




z

2
n



=





e

ı
z


+

e

−
ı
z



2


=
cosh
⁡

(

ı
z

)



{\displaystyle \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


{\displaystyle i^{2}=-1}

.[1]




tan
⁡
z
=



sin
⁡
z


c
o
s
z



=


1
i






e

i
z


−

e

−
i
z





e

i
z


+

e

−
i
z







{\displaystyle \tan z={\frac {\sin z}{cosz}}={\frac {1}{i}}{\frac {e^{iz}-e^{-iz}}{e^{iz}+e^{-iz}}}}

[2]
Lisäksi kaikille reaalisille 



x


{\displaystyle x}

:




cos
⁡
x

=



Re 


(

e

ı
x


)


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






sin
⁡
x

=



Im 


(

e

ı
x


)


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


Funktioiden käyttäytyminen kompleksitasossa
Funktio 



cos
⁡
z


{\displaystyle \cos z}

 ei saavuta ääretöntä missään äärellisessä pisteessä, mutta funktio lähenee sitä raja-arvona, jos 



z


{\displaystyle 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


{\displaystyle \cos z}

 asymptoottinen arvo. Edelläesitetty pätee myös funktiolle 



sin
⁡
z


{\displaystyle \sin z}

, koska sinin arvot saadaan kosinin arvoista siirtämällä niitä x-akselin suuntaan 





π
2




{\displaystyle {\frac {\pi }{2}}}

:n verran.[3]


Määritelmät differentiaaliyhtälöiden avulla
Sini- ja kosinifunktio toteuttavat differentiaaliyhtälön




y


″

=
−
y


{\displaystyle y\,''=-y}


toisin sanoen kumpikin on oman toisen derivaattansa vasta-alkio. Kaksiulotteisessa lineaariavaruudessa V, joka koostuu tämän yhtälön kaikista ratkaisuista, sinifunktio saadaan alkuehdoilla 



y
(
0
)
=
0


{\displaystyle y(0)=0}

 ja 




y
′

(
0
)
=
1


{\displaystyle y'(0)=1}

, ja kosinifunktio saadaan alkuehdoilla 



y
(
0
)
=
1


{\displaystyle y(0)=1}

 ja 




y
′

(
0
)
=
0


{\displaystyle y'(0)=0}

. Koska sini ja kosini ovat lineaarisesti riippumattomia, muodostavat ne V:n 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




y


′

=
1
+

y

2




{\displaystyle y\,'=1+y^{2}}


yksiselitteinen ratkaisu alkuarvoilla 



y
(
0
)
=
0


{\displaystyle y(0)=0}

.
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,




f
(
x
)
=
sin
⁡
(
k
x
)
;
k
≠
0
,
k
≠
1



{\displaystyle f(x)=\sin(kx);k\neq 0,k\neq 1\,}


muuttuu derivaattojen "amplitudi".





f
′

(
x
)
=
k
cos
⁡
(
k
x
)



{\displaystyle f'(x)=k\cos(kx)\,}

.
Vakio 



k


{\displaystyle k}

 on muunnoskerroin yksiköstä toiseen. Jos 



x


{\displaystyle x}

 on ilmoitettu asteissa,




k
=


π

180

∘




.


{\displaystyle k={\frac {\pi }{180^{\circ }}}.}


Sinin toinen derivaatta ei siis toteuta differentiaaliyhtälöä





y
″

=
−
y



{\displaystyle y''=-y\,}

,
vaan yhtälön





y
″

=
−

k

2


y



{\displaystyle y''=-k^{2}y\,}

;
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ä
Lause: On olemassa täsmälleen yksi pari reaalifunktioita s, c, joilla on seuraavat ominaisuudet:
Kaikille 



x
,
y
∈

R



{\displaystyle x,y\in \mathbb {R} }

:




s
(
x

)

2


+
c
(
x

)

2


=
1
,



{\displaystyle s(x)^{2}+c(x)^{2}=1,\,}






s
(
x
+
y
)
=
s
(
x
)
c
(
y
)
+
c
(
x
)
s
(
y
)
,



{\displaystyle s(x+y)=s(x)c(y)+c(x)s(y),\,}






c
(
x
+
y
)
=
c
(
x
)
c
(
y
)
−
s
(
x
)
s
(
y
)
,



{\displaystyle c(x+y)=c(x)c(y)-s(x)s(y),\,}






0
<
x
c
(
x
)
<
s
(
x
)
<
x


f
o
r


0
<
x
<
1.


{\displaystyle 0<xc(x)<s(x)<x\ \mathrm {for} \ 0<x<1.}



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:








sin
⁡

(

x
+
y

)




=
sin
⁡
x
cos
⁡
y
+
cos
⁡
x
sin
⁡
y


sin
⁡

(

x
−
y

)




=
sin
⁡
x
cos
⁡
y
−
cos
⁡
x
sin
⁡
y




cos
⁡

(

x
+
y

)




=
cos
⁡
x
cos
⁡
y
−
sin
⁡
x
sin
⁡
y


cos
⁡

(

x
−
y

)




=
cos
⁡
x
cos
⁡
y
+
sin
⁡
x
sin
⁡
y




tan
⁡

(

x
+
y

)




=



tan
⁡
x
+
tan
⁡
y


1
−
tan
⁡
x
tan
⁡
y





tan
⁡

(

x
−
y

)




=



tan
⁡
x
−
tan
⁡
y


1
+
tan
⁡
x
tan
⁡
y







cot
⁡

(

x
+
y

)




=



cot
⁡
x
cot
⁡
y
−
1


cot
⁡
y
+
cot
⁡
x





cot
⁡

(

x
−
y

)




=



cot
⁡
x
cot
⁡
y
+
1


cot
⁡
y
−
cot
⁡
x









{\displaystyle {\begin{aligned}\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{aligned}}}


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








sin
⁡
x
+
sin
⁡
y



=
2
sin
⁡

(



x
+
y

2


)

cos
⁡

(



x
−
y

2


)




sin
⁡
x
−
sin
⁡
y



=
2
cos
⁡

(



x
+
y

2


)

sin
⁡

(



x
−
y

2


)





cos
⁡
x
+
cos
⁡
y



=
2
cos
⁡

(



x
+
y

2


)

cos
⁡

(



x
−
y

2


)




cos
⁡
x
−
cos
⁡
y



=
−
2
sin
⁡

(



x
+
y

2


)

sin
⁡

(



x
−
y

2


)





tan
⁡
x
+
tan
⁡
y



=



sin
⁡

(

x
+
y

)



cos
⁡
x
cos
⁡
y






tan
⁡
x
−
tan
⁡
y



=



sin
⁡

(

x
−
y

)



cos
⁡
x
cos
⁡
y







cot
⁡
x
+
cot
⁡
y



=



sin
⁡

(

x
+
y

)



sin
⁡
x
sin
⁡
y






cot
⁡
x
−
cot
⁡
y



=



−
sin
⁡

(

x
−
y

)



sin
⁡
x
sin
⁡
y









{\displaystyle {\begin{aligned}\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{aligned}}}


Trigonometristen funktioiden tarkkoja arvoja

Yleensä trigonometrisen funktion arvoa ei voida esittää tarkasti, mutta joillekin erityisarvoille tämä onnistuu helposti käyttämällä Pythagoraan lausetta apuna. Esitämme näistä arvoista muutamia ja kaksi ns. muistikolmiota, joiden avulla voi tarkkoja arvoja laskea käsin.
Neliön 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.
Tasasivuisen kolmion kaikki kulmat ovat suuruudeltaan 60°. Jakamalla tämä kolmio kahtia korkeusjanalla, 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.








sin
⁡

30

∘





=
sin
⁡


π
6


=


1
2


=
0
,
5


cos
⁡

30

∘





=
cos
⁡


π
6


=



3

2


≈
0
,
8660


tan
⁡

30

∘





=
tan
⁡


π
6


=


1

3



≈
0
,
57735




sin
⁡

45

∘





=
sin
⁡


π
4


=


1

2



≈
0
,
7071


cos
⁡

45

∘





=
cos
⁡


π
4


=


1

2



≈
0
,
7071


tan
⁡

45

∘





=
tan
⁡


π
4


=
1




sin
⁡

60

∘





=
sin
⁡


π
3


=



3

2


≈
0
,
8660


cos
⁡

60

∘





=
cos
⁡


π
3


=


1
2


=
0
,
5


tan
⁡

60

∘





=
tan
⁡


π
3


=


3


≈
1
,
73205






{\displaystyle {\begin{aligned}\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{aligned}}}


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 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.








D
sin
⁡
x



=
cos
⁡
x



∫
sin
⁡
x

d
x



=
−
cos
⁡
x




D
cos
⁡
x



=
−
sin
⁡
x



∫
cos
⁡
x

d
x



=
sin
⁡
x




D
tan
⁡
x



=


1


cos

2


⁡
x



=
1
+

tan

2


⁡
x


∫
tan
⁡
x

d
x



=
−
ln
⁡

|

cos
⁡
x

|





D
cot
⁡
x



=
−


1


sin

2


⁡
x



=
−
1
−

cot

2


⁡
x








{\displaystyle {\begin{aligned}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{aligned}}}


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:










kun




−


π
2


≤
y
≤


π
2


,


y
=
arcsin
⁡
(
x
)




jos ja vain jos




x
=
sin
⁡
(
y
)







kun




0
≤
y
≤
π
,


y
=
arccos
⁡
(
x
)




jos ja vain jos




x
=
cos
⁡
(
y
)







kun




−


π
2


<
y
<


π
2


,


y
=
arctan
⁡
(
x
)




jos ja vain jos




x
=
tan
⁡
(
y
)







kun




−


π
2


≤
y
≤


π
2


,
y
≠
0
,


y
=
arccsc
⁡
(
x
)




jos ja vain jos




x
=
csc
⁡
(
y
)







kun




0
≤
y
≤
π
,
y
≠


π
2


,


y
=
arcsec
⁡
(
x
)




jos ja vain jos




x
=
sec
⁡
(
y
)







kun




−


π
2


<
y
<


π
2


,
y
≠
0
,


y
=
arccot
⁡
(
x
)




jos ja vain jos




x
=
cot
⁡
(
y
)






{\displaystyle {\begin{matrix}{\mbox{kun}}&-{\frac {\pi }{2}}\leq y\leq {\frac {\pi }{2}},&y=\arcsin(x)&{\mbox{jos ja vain jos}}&x=\sin(y)\\\\{\mbox{kun}}&0\leq y\leq \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}}\leq y\leq {\frac {\pi }{2}},y\neq 0,&y=\operatorname {arccsc} (x)&{\mbox{jos ja vain jos}}&x=\csc(y)\\\\{\mbox{kun}}&0\leq y\leq \pi ,y\neq {\frac {\pi }{2}},&y=\operatorname {arcsec} (x)&{\mbox{jos ja vain jos}}&x=\sec(y)\\\\{\mbox{kun}}&-{\frac {\pi }{2}}<y<{\frac {\pi }{2}},y\neq 0,&y=\operatorname {arccot} (x)&{\mbox{jos ja vain jos}}&x=\cot(y)\end{matrix}}}


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 







a
r
c

¯


s
i
n

⁡
(
x
)


{\displaystyle \operatorname {{\overline {arc}}sin} (x)}

. Tällainen merkintätapa on kuitenkin harvinainen.
Trigonometristen funktioiden käänteisfunktioille käytetään joskus merkintätapaa sin−1(x) ja cos−1(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ä trigonometriassa. Tämä johtuu pääasiassa kahdesta seuraavasta kaavasta:
Sinilause
Sinilauseen mukaan mille tahansa kolmiolle pätee:







sin
⁡
α

a


=



sin
⁡
β

b


=



sin
⁡
γ

c




{\displaystyle {\frac {\sin \alpha }{a}}={\frac {\sin \beta }{b}}={\frac {\sin \gamma }{c}}}


joka voidaan esittää myös muodossa






a

sin
⁡
α



=


b

sin
⁡
β



=


c

sin
⁡
γ



=
2
R
,


{\displaystyle {\frac {a}{\sin \alpha }}={\frac {b}{\sin \beta }}={\frac {c}{\sin \gamma }}=2R,}



jossa a, b ja c ovat kolmion sivut, α on sivun a vastainen kulma, β on b:n vastainen kulma, γ on c:n vastainen kulma ja R on kolmion 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 kolmioinnissa, jonka avulla mitataan tuntemattomia pituuksia määrittämällä kaksi kulmaa ja niiden välinen pituus.
Kosinilause
Kosinilause on Pythagoraan lauseen laajennus mielivaltaisille kolmioille:





c

2


=

a

2


+

b

2


−
2
a
b
cos
⁡
γ



{\displaystyle c^{2}=a^{2}+b^{2}-2ab\cos \gamma \,}


joka voidaan muotoilla myös




cos
⁡
γ
=




a

2


+

b

2


−

c

2




2
a
b





{\displaystyle \cos \gamma ={\frac {a^{2}+b^{2}-c^{2}}{2ab}}}


jossa a, b ja c ovat kolmion sivut ja γ 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:







a
+
b


a
−
b



=



tan
⁡
[


1
2


(
α
+
β
)
]


tan
⁡
[


1
2


(
α
−
β
)
]



,


{\displaystyle {\frac {a+b}{a-b}}={\frac {\tan[{\frac {1}{2}}(\alpha +\beta )]}{\tan[{\frac {1}{2}}(\alpha -\beta )]}},}


jossa a ja b kolmion sivuja, ja α ja β 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
Alkeisfunktiot
Arkusfunktiot
Hyperbolinen funktio
Lähteet

Kirjallisuutta
Citation error, replace with{{cite book| author = Rikkonen, Harri| title = Matematiikan pitkä peruskurssi II: Reaalimuuttujan funktioiden differentiaalilasku| location = Helsinki| publisher = Otakustantamo| year = 1969| id = ISBN 951-671-022-0}}
Citation error, replace with{{cite book| author = Pitkäranta, Juhani| title = Calculus Fennicus| location = Helsinki| publisher = Avoimet oppimateriaalit ry| year = 2015| id = ISBN 978-952-7010-12-9, ISBN 978-952-7010-13-6 (pdf)}}
Aiheesta muualla


Luokka:Trigonometria
Luokka:Funktiot
Luokka:Seulonnan keskeiset artikkelit