Funkcje trygonometryczne

Z testwiki
Przejdź do nawigacji Przejdź do wyszukiwania

Szablon:Wyróżnienie Szablon:Grafika rozwinięta

Leonhard Euler (1707–1783) – szwajcarski matematyk, który udowodnił pewne własności funkcji trygonometrycznych, m.in. ich związek z funkcją wykładniczą[1] nazywany wzorem Eulera.

Funkcje trygonometrycznefunkcje matematyczne wyrażające między innymi stosunki długości boków trójkąta prostokątnego zależnie od miary jego kątów wewnętrznych. Funkcje te wywodzą się z geometrii, konkretniej planimetrii, ale są rozważane także w oderwaniu od niej, dla różnych argumentów rzeczywistych i zespolonych[1]. To uogólnienie funkcji trygonometrycznych umożliwiła analiza matematyczna, w której opisano je szeregami potęgowymi[1]. Powstały też inne definicje, oparte np. na równaniach różniczkowych, innych równaniach funkcyjnych, iloczynach nieskończonych oraz ułamkach łańcuchowych, podane w dalszych sekcjach.

Do funkcji trygonometrycznych zalicza się przede wszystkim sinus, kosinus[uwaga 1] i tangens, a także kotangens, sekans, kosekans[uwaga 1][1] i kilka innych, wspominanych rzadziej. Funkcje trygonometryczne to główny przedmiot badań trygonometrii; jej dział poświęcony tym funkcjom nazywano goniometrią[2], przy czym termin ten ma też inne znaczenia. Badania te rozpoczęto w starożytności, a konkretniej starożytnej Grecji, po czym rozwijali ją uczeni indyjscy, islamscy[1] i ze średniowiecznej Europy[3]. W czasach nowożytnych podano dla tych funkcji:

Pierwotnie matematycy uważali wartości trygonometryczne za linie ciągłe połączone okręgami, jednak w XVIII wieku Leonhard Euler wprowadził współczesne pojęcie funkcji trygonometrycznych[4]. Na przestrzeni stuleci podano dziesiątki tożsamości trygonometrycznych, które m.in. wiążą te funkcje ze sobą.

Funkcje trygonometryczne zalicza się do elementarnych i stosuje w różnych działach matematyki jak geometria, analiza i teoria liczb. Z funkcji tych korzystają też inne nauki ścisłe – zarówno przyrodnicze, społeczne, jak i techniczne. Jednym z powodów jest to, że funkcjami sinus i kosinus można modelować zjawiska okresowe jak drgania mechaniczne[1].

Definicje

Istnieje kilka definicji funkcji trygonometrycznych, bazujących zarówno na pojęciach geometrycznych, jak i analitycznych.

Przez trójkąt prostokątny

Oznaczenia boków i kątów trójkąta prostokątnego użyte w definicji

Funkcje trygonometryczne danego kąta ostrego w trójkącie prostokątnym definiuje się jako stosunek długości odpowiednich dwóch boków tego trójkąta:

funkcja polskie

oznaczenie[uwaga 2]

definicje[5]
przez boki – stosunek długości przez inne funkcje
sinus sin przyprostokątnej a leżącej naprzeciw kąta α i przeciwprostokątnej c[6]
kosinus[uwaga 1] cos przyprostokątnej b przyległej do kąta α i przeciwprostokątnej c[7]
tangens tg przyprostokątnej a leżącej naprzeciw kąta α i przyprostokątnej b przyległej do tego kąta[8] iloraz sinusa i kosinusa sincos
kotangens[uwaga 1] ctg przyprostokątnej b przyległej do kąta α i przyprostokątnej a leżącej naprzeciw tego kąta[9] 1tg
sekans[uwaga 1] sec przeciwprostokątnej c i przyprostokątnej b przyległej do kąta α[10] odwrotność kosinusa (1cos)[uwaga 3]
kosekans[uwaga 1] cosec przeciwprostokątnej c i przyprostokątnej a leżącej naprzeciw kąta α[11] odwrotność sinusa (1sin)[uwaga 4]

Powyższe definicje można zebrać w postaci tabelki[12]:

a b c
a 1 ctgα cosecα
b tgα 1 secα
c sinα cosα 1

Do tej listy włączano też kilka innych funkcji; Szablon:Link-interwiki upraszcza obliczanie odległości punktów na powierzchni Ziemi[13][14][15]:

funkcja symbol i definicja
sinus versus[16][17] versinα=1cosα
haversin

(ang. half of the versine)[18]

haversinα=12versinα
cosinus versus[19] coversα=1sinα
exsecans[20] exsecα=secα1

Przez okrąg jednostkowy i etymologia nazw

Definicja na okręgu jednostkowym

Jeżeli wokół wierzchołka kąta poprowadzony zostanie okrąg o promieniu 1, czyli tzw. okrąg jednostkowy, to funkcje trygonometryczne miary kąta ostrego θ wyrażać się będą przez długości odpowiednich odcinkówSzablon:Odn:

sinθ=|AC|cosθ=|OC|tgθ=|AE|ctgθ=|AF|secθ=|OE|cosecθ=|OF|

Alternatywnie, jako argument funkcji trygonometrycznych zamiast długości łuku DA można przyjąć pole wycinka OBDA – ich wartości dla promienia 1 są równe. Definicja na okręgu jednostkowym ma swój odpowiednik dla funkcji hiperbolicznych, gdzie argument funkcji definiowany jest jako pole wycinka hiperboli, analogicznego do OBDA[21].

Definicja ta była historycznie pierwsza. Wynikają z niej nazwy funkcji trygonometrycznych. Pierwotnie tymi nazwami określano właśnie długości odpowiednich odcinków, niekoniecznie na okręgu jednostkowym.

  • Sinus, czyli połowa długości cięciwy AB, był w pracach hinduskiego matematyka Aryabhaty w sanskrycie nazywany ardha-jiva („połowa cięciwy”), co zostało skrócone do jiva, a następnie transliterowane do arabskiego jiba (جب). Europejscy tłumacze, Robert z Chester i Gerardo z Cremony w XII-wiecznym Toledo pomylili jiba z jaib (جب), oznaczającym „zatokę” prawdopodobnie dlatego, że jiba (جب) i jaib (جب) są tak samo pisane po arabsku (informacja o samogłoskach jest gubiona w piśmie). Sinus znaczy po łacinie właśnie zatoka[22]. Wg innych danych nazwa "sinus" pochodzi od owej "połowy cięciwy", a mianowicie z wyrażenia "semichorda inscripta" (dosł. wpisana połowa cięciwy), co w skrócie opisywano s.ins, a później sinus[23].
  • Tangens pochodzi od łacińskiego tangeredotykający, styczny, gdyż odcinek AE jest styczny do okręgu.
  • Secans pochodzi z łacińskiego secaredzielić, rozcinać, rozstrzygać i znaczy odcięcie. Pierwotnie nazwa odnosiła się do odcinka OE, odcinanego przez styczną (tangens).
  • Cosinus, cotangens i cosecans powstały przez złożenie łacińskiego co- (wspólnik, towarzysz) i słów sinus, tangens i secans. Pierwotnie cosinus był nazywany complementi sinus, czyli sinus kąta dopełniającego albo complementi semichorda inscripta, co w skrócie zapisywano co.s.ins. Rzeczywiście jest on równy sinusowi miary kąta dopełniającego AOF. Podobnie cotangens i cosecans są równe tangensowi i secansowi tego kąta. Przedrostek „ko-” był jednak używany w stosunku do cosinusa już w sanskrycie u Aryabhaty (koti-jya, kojya); trudno określić, w jakim stopniu nazwa łacińska do tego nawiązuje[24].

Przez szereg Taylora

Funkcja sinus i jej aproksymacje wielomianami stopnia 1, 3, 5, 7, 9, 11 i 13 utworzonymi z początkowych wyrazów szeregu Taylora

Definicje za pomocą szeregów Taylora określają wartości funkcji trygonometrycznych dla dowolnych liczb rzeczywistych, dla których da się je zdefiniować, pozwalają też na uogólnienie tych funkcji na zbiór liczb zespolonych, kwaternionów, macierzy, a nawet na algebry operatorów, przestrzenie unormowane czy pierścienie nilpotentne[25]. Definicje te są stosowane do numerycznego obliczania wartości funkcji trygonometrycznych.

Zachodzą równościSzablon:OdnSzablon:Odn[26]:

sinx=xx33!+x55!x77!+==n=0(1)nx2n+1(2n+1)!,cosx=1x22!+x44!x66!+==n=0(1)nx2n(2n)!,tgx=x+x33+2x515+==n=1B2n(4)n(14n)(2n)!x2n1,|x|<π2,

gdzie Bn to liczby Bernoulliego,

ctgx=1xx3x3452x5945==n=0(1)n22nB2nx2n1(2n)!,0<|x|<π,secx=1+x22+5x424+61x6720+==n=0(1)nE2n(2n)!x2n,|x|<π2,

gdzie En to liczby Eulera,

cosecx=1x+x6+7x3360+31x515120+==n=0(1)n+12(22n11)B2nx2n1(2n)!,0<|x|<π.

Każdą z funkcji trygonometrycznych, na dowolnym przedziale zawierającym się w jej dziedzinie, można z dowolną dokładnością jednostajnie przybliżać wielomianami. W otoczeniu zera mogą do tego służyć początkowe wyrazy szeregu Taylora. Nie jest jednak możliwe jednostajne przybliżenie wielomianami funkcji trygonometrycznych w całej ich dziedzinie, jeśli dziedzina przybliżanej funkcji nie jest zbiorem liczb rzeczywistych .

Szablon:Zobacz też

Przez równania funkcyjne

Twierdzenie: Istnieje dokładnie jedna para funkcji rzeczywistych (s,c) taka, że dla każdego x,y:

{s(x)2+c(x)2=1s(x+y)=s(x)c(y)+c(x)s(y)c(x+y)=c(x)c(y)s(x)s(y)0<xc(x)<s(x)<x dla 0<x<1

Tymi funkcjami są[27]:

s(x)=sinx,c(x)=cosx.

Funkcje trygonometryczne sinus i cosinus można zdefiniować[28] również jako jedyne funkcje s(x) oraz c(x) spełniające poniższe trzy warunki:

{s(x1x2)=s(x1)c(x2)c(x1)s(x2)c(x1x2)=c(x1)c(x2)+s(x1)s(x2)limx0s(x)x=1

Przez równania różniczkowe

Sinus i cosinus są rozwiązaniami szczególnymi równania różniczkowego

y=y,

które opisuje m.in. ruch masy podwieszonej na sprężynie (tzw. oscylator harmoniczny, patrz Harmoniki).

Sinus jest jedynym rozwiązaniem tego równania spełniającym warunki[29]:

{y(0)=0y(0)=1

Cosinus natomiast jest jedynym rozwiązaniem, dla którego[29]

{y(0)=1y(0)=0

Przez iloczyny nieskończone

Funkcje trygonometryczne można też wprowadzić za pomocą iloczynów nieskończonych[30]:

sinx=xn=1(1x2π2n2),
cosx=n=1(1x2π2(n12)2).

Przez ułamki łańcuchowe

Niektóre funkcje trygonometryczne można wyrazić w postaci ułamków łańcuchowych[31][32][33]:

sinx=x1+x2(23x2)+23x2(45x2)+45x2(67x2)+,
tgx=x1x23x25x27=11x13x15x17x,
ctgx=1xx3x25x27x29

Przez ogólniejsze funkcje

Funkcje trygonometryczne można też zdefiniować analitycznie jako szczególne przypadki funkcji Bessela, funkcji Mathieu albo funkcji eliptycznych Jacobiego[34].

Własności w dziedzinie rzeczywistej

Przebieg zmienności funkcji

W matematyce na poziomie szkół średnich i w wielu praktycznych zastosowaniach rozpatruje się funkcje trygonometryczne dla argumentu będącego liczbą rzeczywistą. Mają one wówczas następujące własności:

Dziedzina i asymptoty
  • Funkcje sinus i cosinus określone są dla każdej liczby rzeczywistej.
  • Tangens jest określony w zbiorze powstałym ze zbioru wszystkich liczb rzeczywistych przez usunięcie liczb mających postać π2+kπ, gdzie k jest liczbą całkowitą.
  • Cotangens jest określony w zbiorze wszystkich liczb rzeczywistych poza liczbami postaci kπ, gdzie k jest liczbą całkowitą.
  • Tangens i secans mają asymptoty pionowe w punktach postaci x=π2+kπ, a cotangens i cosecans w punktach postaci x=kπ. Żadna z tych funkcji nie ma asymptot innego rodzaju.
Przeciwdziedzina
  • Sinus i cosinus są ograniczone: przyjmują wartości z przedziału [1,1]. Tangens i cotangens przyjmują dowolne wartości rzeczywiste, a secans i cosecans wartości ze zbioru[35] (,1][1,).
Ekstrema
  • Maksymalną wartość, dla obu funkcji 1, sinus przyjmuje w punktach x=π2+2kπ, a cosinus w punktach x=2kπ, gdzie k jest liczbą całkowitą.
  • Minimalną wartość, dla obu funkcji 1, sinus przyjmuje w punktach x=π2+2kπ, a cosinus w punktach x=π+2kπ, gdzie k jest liczbą całkowitą.
Miejsca zerowe
  • Miejscami zerowymi sinusa i tangensa są punkty postaci x=kπ, gdzie k jest liczbą całkowitą.
  • Miejscami zerowymi cosinusa i cotangensa są punkty postaci x=π2+kπ, gdzie k jest liczbą całkowitą.
Parzystość i nieparzystość
  • Funkcje sinus, tangens, cotangens, cosecans są nieparzyste, a funkcje cosinus i secans parzyste:
    sin(x)=sinxcos(x)=cosxtg(x)=tgxctg(x)=ctgxsec(x)=secxcosec(x)=cosecx
Okresowość
  • Funkcje trygonometryczne są funkcjami okresowymi. Okresem podstawowym sinusa, cosinusa, secansa i cosecansa jest liczba 2π, a tangensa i cotangensa π[36][37]:
    sinx=sin(x+2kπ)cosx=cos(x+2kπ)tgx=tg(x+kπ)ctgx=ctg(x+kπ)secx=sec(x+2kπ)cosecx=cosec(x+2kπ)
gdzie k jest liczbą całkowitą.
Ciągłość i różniczkowalność
  • Funkcje sinus i cosinus są ciągłe i różniczkowalne w każdym punkcie prostej rzeczywistej. Tangens, cotangens, secans i cosecans także są ciągłe i różniczkowalne w swoich dziedzinach (zob. wyżej).
Odwracalność
Własności algebraiczne

Wykresy

Cosinusoida jest sinusoidą przesuniętą o wektor [π2,0]. Szare linie pionowe na dolnych wykresach to asymptoty. Wykresy można powiększyć przez kliknięcie myszką.

Szablon:Clear

Wartości dla typowych kątów

Wartości funkcji trygonometrycznych dla kątów 0°, 15°, 30°, 45°, 60°, 75°, 90°, 180°[39]:

radiany 0 π12 π6 π4 π3 5π12 π2 π
stopnie 0 15 30 45 60 75 90 180
sin 0 624 12 22 32 6+24 1 0
cos 1 6+24 32 22 12 624 0 1
tg 0 23 33 1 3 2+3 nieokreślony 0
ctg nieokreślony 2+3 3 1 33 23 0 nieokreślony
sec 1 62 233 2 2 6+2 nieokreślony 1
cosec nieokreślony 6+2 2 2 233 62 1 nieokreślony

Wartości wszystkich funkcji trygonometrycznych dla argumentów postaci nπm,n,m+ dają się zapisać za pomocą skończonego wzoru z użyciem podstawowych działań arytmetycznych i pierwiastka kwadratowego wtedy i tylko wtedy, gdy po skróceniu ułamka nm liczba m jest iloczynem potęgi dwójki i różnych liczb pierwszych Fermata (jak dotąd znanych jest pięć takich liczb: 3, 5, 17, 257, 65537)[40][41]. W szczególności nie da się zapisać w ten sposób dokładnej wartości funkcji kąta 1°, gdyż 1=π180, a 180=22325 ma drugą potęgę przy trójce. Warunek na m jest identyczny jak warunek konstruowalności m-kąta foremnego za pomocą cyrkla i linijki (por. twierdzenie Gaussa-Wantzela).

Wzory redukcyjne

Szablon:Osobny artykuł Wzory redukcyjne pozwalają sprowadzić dowolny rzeczywisty argument funkcji trygonometrycznej do argumentu z przedziału [0,π2), czyli [0,90)Szablon:Odn:

I ćwiartka II ćwiartka III ćwiartka IV ćwiartka
ϕ 90α 90+α 180α 180+α 270α 270+α 360α
π2α π2+α πα π+α 32πα 32π+α 2πα
sinϕ cosα cosα sinα sinα cosα cosα sinα
cosϕ sinα sinα cosα cosα sinα sinα cosα
tgϕ ctgα ctgα tgα tgα ctgα ctgα tgα
ctgϕ tgα tgα ctgα ctgα tgα tgα ctgα
secϕ cosecα cosecα secα secα cosecα cosecα secα
cosecϕ secα secα cosecα cosecα secα secα cosecα

Aby zapamiętać zmianę funkcji, można wspomagać się następującą obserwacją: funkcja przechodzi w swoją kofunkcję, jeżeli rozpatrywany kąt ma postać 90±α bądź 270±α, w przypadkach 0±α=360±α oraz 180±α funkcja nie ulega zmianie. Znaki w poszczególnych ćwiartkach układu dla odpowiednich funkcji w powyższej tabelce zgodne są ze znakami redukowanych funkcji w danej ćwiartce według tabeli[35]:

Ćwiartki układu współrzędnych
I ćwiartka II ćwiartka III ćwiartka IV ćwiartka
sinα + +
cosα + +
tgα + +
ctgα + +
secα + +
cosecα + +

Metodą mnemotechniczną zapamiętania znaków dla stosowanych najczęściej w redukcji pierwszych czterech spośród powyższych funkcji jest popularny wierszyk nieznanego autora:

W pierwszej ćwiartce są dodatnie,
w drugiej tylko sinus,
w trzeciej tangens i cotangens,
a w czwartej cosinus.

W innych wersjach pierwszy wers brzmi:

W pierwszej ćwiartce same plusy lub W pierwszej wszystkie są dodatnie.

Podstawowe tożsamości trygonometryczne

Szablon:Osobny artykuł Związki między funkcjami trygonometrycznymi spełnione dla dowolnego argumentu ich dziedziny to tzw. tożsamości trygonometryczne. Są one prawdziwe zarówno w dziedzinie rzeczywistej, jak i zespolonej. Często używane są:

sin2α+cos2α=1
  • definicja tangensa i cotangensa za pomocą sinusa i cosinusa (pozwala wyprowadzić tożsamości dla tangensa i cotangensa z tożsamości dla sinusa i cosinusa)[42]:
tgα=sinαcosα,απ2+kπctgα=cosαsinα,αkπ,k.
Geometryczny dowód wzoru sin(α+β)=sinαcosβ+cosαsinβ
  • wzory na sinus i cosinus sumy i różnicy kątów[42]:
sin(α±β)=sinαcosβ±cosαsinβ
cos(α±β)=cosαcosβsinαsinβ
  • wzory na sumę i różnicę sinusów i cosinusów[42]:
sinα±sinβ=2sinα±β2cosαβ2
cosα+cosβ=2cosα+β2cosαβ2
cosαcosβ=2sinα+β2sinαβ2
  • wzory na sinus i cosinus podwojonego argumentu[43]:
sin2α=2sinαcosα
cos2α=cos2αsin2α=2cos2α1=12sin2α
  • wzory na sinus i cosinus połowy argumentu[44]:
|sin12α|=1cosα2
|cos12α|=1+cosα2
  • iloczyn w postaci sumy[44]:
cosαcosβ=cos(αβ)+cos(α+β)2
sinαsinβ=cos(αβ)cos(α+β)2
sinαcosβ=sin(αβ)+sin(α+β)2
  • wzory na wyrażanie jednych funkcji trygonometrycznych przez inne[42][45]:
sinα=cos(π2α)
cosα=sin(π2α)
tgα=sinαcosα=ctg(π2α)=1ctgα
ctgα=cosαsinα=tg(π2α)=1tgα
secα=1cosα=cosec(π2α)
cosecα=1sinα=sec(π2α)
sin2α=1cos2α=tg2α1+tg2α=11+ctg2α1sin2α=cos2α=11+tg2α=ctg2α1+ctg2αsin2α1sin2α=1cos2αcos2α=tg2α=1ctg2α1sin2αsin2α=cos2α1cos2α=1tg2α=ctg2α

(Zastrzeżenie formalne: Równości powyżej są prawdziwe tylko dla argumentów, dla których wszystkie użyte funkcje są określone, a w mianownikach nie występują zera)

Pochodne funkcji trygonometrycznych

Zachodzą równości[46]:

sinx=cosx=sin(π2+x)
cosx=sinx=cos(π2+x)
tgx=1cos2x=sec2x=1+tg2x dla xπ2+kπ,k
ctgx=1sin2x=cosec2x=(1+ctg2x) dla xkπ,k
secx=sinxcos2x=tgxsecx dla xπ2+kπ,k
cosecx=cosxsin2x=ctgxcosecx dla xkπ,k

Można z nich otrzymać pochodne wyższych rzędów:

sin(n)x=sin(nπ2+x)={sinxn=4kcosxn=4k+1sinxn=4k+2cosxn=4k+3 dla k{0,1,2,},
cos(n)x=cos(nπ2+x)={cosxn=4ksinxn=4k+1cosxn=4k+2sinxn=4k+3 dla k{0,1,2,}.

Wzory na n-te pochodne pozostałych funkcji trygonometrycznych również istnieją, jednak są o wiele bardziej skomplikowane[47][48][49][50].

Całki funkcji trygonometrycznych

Szablon:Osobna sekcja Podstawowe całki to[51]:

sinxdx=cosx+C,
cosxdx=sinx+C,
tgxdx=ln|cosx|+C,
ctgxdx=ln|sinx|+C,
secxdx=ln|secx+tgx|+C,
cosecxdx=ln|cosecx+ctgx|+C,

gdzie C.

Szablon:Wikiźródła Każda całka funkcji wymiernej postaci R(sinx,cosx) jest elementarna, można ją obliczyć przez podstawienie[52]:

t=tgx2,

wówczas:

dx=2dt1+t2,
sinx=2t1+t2,
cosx=1t21+t2,
tgx=2t1t2,
ctgx=1t22t,
secx=1+t21t2,
cosecx=1+t22t.

Własności w dziedzinie zespolonej

Używając definicji analitycznych funkcji trygonometrycznych można te funkcje uogólnić m.in. na liczby zespolone.

Porównanie z funkcjami zmiennej rzeczywistej

Uogólnione w ten sposób funkcje trygonometryczne zachowują większość własności zmiennej rzeczywistej:

  • okresowość (w tym okres podstawowy),
  • tożsamości trygonometryczne,
  • miejsca zerowe,
  • punkty nieokreśloności:
    • sinus i cosinus są określone w całym zbiorze liczb zespolonych,
    • tangens jest określony w zbiorze liczb zespolonych, których usunięto liczby postaci (2k1)π2, a cotangens – punktów postaci kπ, gdzie k jest całkowita.

Zasadniczą różnicą jest brak ograniczoności funkcji sinus i cosinus. Przykładowo cosinus niezerowego argumentu urojonego jest zawsze liczbą rzeczywistą większą od 1, w szczególności:

cosi=12(e1+e)1,543;sini=12i(e1e)1,175i

Funkcje trygonometryczne zmiennej zespolonej są (nieskończenie) wielokrotne na całej płaszczyźnie zespolonej.

Części rzeczywiste, urojone, moduły i argumenty

Funkcja Część rzeczywista Część urojona Moduł
sin(x±iy) sinxcoshy ±cosxsinhy sin2x+sinh2y
cos(x±iy) cosxcoshy sinxsinhy cos2x+sinh2y
tg(x±iy) sin2xcos2x+cosh2y ±sinh2ycos2x+cosh2y sin22x+sinh22y(cos2x+cosh2y)2
ctg(x±iy) sin2xcos2xcosh2y ±sinh2ycos2xcosh2y cos2x+cosh2ycos2xcosh2y

Argument φ oblicza się według wzorów:

sinφ=Imω|ω|,
cosφ=Reω|ω|,

gdzie ω to wartość odpowiedniej funkcji trygonometrycznej.

Wzór Eulera

Szablon:Osobny artykuł W dziedzinie zespolonej zachodzi związek, zwany wzorem Eulera:

eiz=cosz+isinz.

Wynika z niego, iż:

sinz=eizeiz2i,
cosz=eiz+eiz2,
tgz=eizeiz(eiz+eiz)i,
ctgz=eiz+eizeizeizi,
secz=2eiz+eiz,
cosecz=2ieizeiz,

gdzie:

Wzory te pozwalają na niemal mechaniczne upraszczanie wyrażeń trygonometrycznych.

Wykresy

Liczby zespolone na płaszczyźnie zespolonej zostały oznaczone kolorami, zgodnie z umownym schematem. Odcienie barw określają argument, a jasność – moduł wyniku

Zastosowania matematyczne

Ze względu na obecność funkcji trygonometrycznych w najróżniejszych działach nauki i techniki nie jest możliwe podanie wszystkich ich zastosowań[53]. Poniżej wymieniono więc tylko niektóre.

Geometria

Bezpośrednim zastosowaniem funkcji trygonometrycznych w geometrii elementarnej jest wyznaczanie długości boków lub kątów trójkąta. Poniżej podano kilka innych zastosowań.

Twierdzenia sinusów, cosinusów i tangensów

Szablon:Osobny artykuł

Oznaczenia
Geometryczny dowód twierdzenia cosinusów dla kątów ostrych. Obydwie figury mają równe pola powierzchni.

W każdym trójkącie (przy oznaczeniach standardowych, zob. rysunek) zachodzą następujące równości:

Twierdzenie sinusów, inaczej twierdzenie Snelliusa[54]:

asinα=bsinβ=csinγ=2R

(R jest promieniem okręgu opisanego)

Twierdzenie cosinusów, inaczej twierdzenie Carnota[55]:

c2=a2+b22abcosγ

Twierdzenie tangensów, inaczej twierdzenie Regiomontana[55]:

aba+b=tgαβ2tgα+β2.

W geometrii sferycznej istnieje także twierdzenie haversinów, związane z nieużywaną dziś funkcją trygonometryczną haversinx=1cosx2, pozwalające na obliczanie odległości pomiędzy dwoma punktami na sferze[13].

Wzory na pole trójkąta

Wzory na pole trójkąta często wykorzystują funkcje trygonometryczne[53]:

S=bcsinα2

lub

S=2R2sinαsinβsinγ

lub

S=a2+b2+c24(ctgα+ctgβ+ctgγ),

gdzie:

  • a,b,c to boki trójkąta,
  • α,β,γ to miary kątów o wierzchołkach leżących naprzeciw boków odpowiednio a,b i c,
  • R to promień koła opisanego.

Iloczyny wektorów

Szablon:Osobny artykuł W geometrii i algebrze liniowej definiowane są iloczyny wektorów, m.in. iloczyny skalarny i wektorowy. Czasem konieczne jest obliczenie wartości iloczynu skalarnego lub wektorowego dla wektorów o znanych kierunkach, zwrotach i długościach. Wzory wykorzystują funkcje trygonometryczne kąta θ między wektorami:

  • iloczyn skalarny[56],
    ab=|a||b|cosθ,
  • iloczyn wektorowy[56],
    a×b=(|a||b|sinθ)n,
gdzie n jest ustalonym wektorem jednostkowym prostopadłym tak do a, jak i do b.

Współrzędne biegunowe, sferyczne i walcowe

Szablon:Osobny artykuł Najczęściej w geometrii stosowany jest układ współrzędnych kartezjańskich. Niekiedy jednak wygodnie jest stosować inne układy, w których niektóre współrzędne są wyznaczone za pomocą kątów. Do takich układów należy układ współrzędnych biegunowych, układ współrzędnych sferycznych (jego zastosowaniem są np. współrzędne geograficzne) i układ współrzędnych walcowych. Wówczas przydatne są funkcje trygonometryczne, m.in. do przeliczania takich współrzędnych na współrzędne kartezjańskie.

Geometria sferyczna

Szablon:Osobny artykuł Funkcje trygonometryczne są ważnymi narzędziami geometrii sferycznej i jej zastosowań w astronomii, nawigacji i geodezji, gdzie służą m.in. do rozwiązywania trójkątów sferycznych.

Szablon:Zobacz też

Analiza matematyczna

Szereg Fouriera

Przedstawienie fali prostokątnej w postaci szeregu harmonicznych

Funkcje {12π,sinnxπ,cosnxπ} tworzą dla dowolnego n+ układ ortonormalny. Dzięki temu funkcje okresowe S(x) spełniające warunki Dirichleta mogą być wyrażone w postaci szeregu Fouriera:

S(x)=12a0+n=1(ancos2nπTx+bnsin2nπTx).

Można go również wyrazić za pomocą np. samych funkcji sinus. Poszczególne składowe tego szeregu nazywane są harmonicznymi. Szereg Fouriera odgrywa wielką rolę w fizyce, teorii drgań, a nawet teorii muzyki (zob. szereg harmoniczny (muzyka), alikwoty). Szablon:Clear

Funkcja Weierstrassa

Funkcja Weierstrassa

Za pomocą szeregu trygonometrycznego definiowana jest funkcja Weierstrassa, która jest ciągła, jednak nie jest w żadnym punkcie różniczkowalna[57]:

f(x)=n=0ancos(bnπx),

gdzie a jest pewną liczbą z przedziału (0,1) natomiast b jest liczbą nieparzystą, spełniającą warunek ab>1+32π.

Funkcja Dirichleta

Za pomocą funkcji cosinus definiowana jest tzw. funkcja Dirichleta, która przyjmuje wartość 1 dla argumentów wymiernych i 0 dla niewymiernych[58]:

1(x)=limmlimncos2n(m!πx).

Teoria liczb

Funkcja Möbiusa μ(n) może być wyrażona trygonometrycznie[59]:

μ(n)=1x<n,NWD(x,n)=1cos2πxn.

Zastosowania poza matematyką

Funkcje trygonometryczne znalazły zastosowania w różnych naukach ścisłych, w tym na pograniczu tych nauk z humanistyką i sztuką.

Krzywe Lissajous powstają przez złożenie sinusoidalnych drgań o różnej częstotliwości w pionie i w poziomie

Historia

Szablon:Osobna sekcja

Polskie nazwy

Poloniści dopuszczają zarówno pisownię:

  • przez „c”: cosinus, cotangens, secans, cosecans;
  • przez „k”: kosinus, kotangens, sekans, kosekans.

Słowniki języka polskiego skłaniają się ku tym drugim jako bardziej naturalnym dla języka polskiego[61], jednak słowniki i encyklopedie matematyczne raczej nie używają form spolszczonych, podobnie w naukowej literaturze matematycznej są one rzadko spotykane.

Już pod koniec XVIII wieku Jan Śniadecki próbował wprowadzić całkowicie polskie odpowiedniki nazw i skrótów funkcji trygonometrycznych[62][63] (w nawiasie proponowany skrót):

  • sinus – wstawa (wst),
  • cosinus – dostawa (dost),
  • tangens – styczna (sty),
  • cotangens – dostyczna (dosty),
  • secans – sieczna (sie),
  • cosecans – dosieczna (dosie).

Inne publikacje[23] przypisują pomysł tej terminologii ks. Andrzejowi Gawrońskiemu, który miał je zaproponować w swojej pracy[64] z 1780 roku.

Propagowali je potem m.in.:

  • Andrzej Radwański w dziele „Słownik wyrazów grecko-łacińskich w poznawaniu Rody używanych… bezpłatnie dodany do dzieła Treść nauki przyrodzenia” wydanym w 1850 roku[65]. Zwalczał tam wszelkie nazwy pochodzące z greki i łaciny;
  • prof. Maksymilian Thullie (1853–1939), rektor Szkoły Politechnicznej we Lwowie. W latach 1918–1924 próbował forsować polskie nazwy w swoich pracach, np. w podręczniku Statyka budowli (wyd. IV, Lwów 1921), jednak nie przyjęły się[66].

Oznaczenia

W różnych językach stosuje się różne skróty funkcji trygonometrycznych. Oznaczenia kosinusa są jednakowe we wszystkich podanych, a sekansa i kosekansa – jednakowe prawie wszędzie, poza językiem francuskim, gdzie nad tymi skrótami zdarza się akcent: séc, coséc[67][68]. Różnice w skrótach pozostałych trzech funkcji przedstawia poniższa tabela:

język sinus tangens cotangens
angielski[69][70] sin tan, tg[71] cot, ctg[71], ctn[72]
chiński[73] sin tan, tg[74] cot, ctg[74]
fiński[75] sin tan cot
francuski[68] sin[67] tan[76], tang[67], tg[77] cotan[76], cotg[77], cot[67], ctg
hiszpański[78][79] sen tan, tg[80], tag[81] cot, cotg[81], ctg[80]
niderlandzki[82] sin tan cot
indonezyjski[83] sin tan cot
japoński[84] sin tan cot
koreański[85] sin tan cot
litewski[86] sin tg ctg
niemiecki[87] sin tan, tg[88] cot, ctg[88]
portugalski[89] sen[90], sin tan, tg[90][91] cot, ctg[91]
rosyjski[92] sin tg ctg
turecki[93] sin tan cot
ukraiński[94] sin tg ctg
węgierski[95] sin tg ctg
włoski[96] sen[97], sin tan, tg[97] cot, ctg[97]

Związki z innymi funkcjami

Funkcjami trygonometrycznymi definiuje się inne pojęcia matematyczne, np.:

Do funkcji trygonometrycznych nawiązuje też nazewnictwo niektórych innych funkcji:

Funkcje odwrotne do trygonometrycznych

Szablon:Osobny artykuł Funkcje odwrotne do trygonometrycznych nazywane są też funkcjami kołowymi lub cyklometrycznymi. Ze względu na okresowość funkcji trygonometrycznych funkcje te są do nich odwrotne jedynie w przedziale obejmującym jeden okres[104].

Nazwa Zapis Odwrotna do Dziedzina Przeciwdziedzina
arcus sinus y=arcsinx x=siny [1,1] [π2,π2]
arcus cosinus y=arccosx x=cosy [1,1] [0,π]
arcus tangens y=arctgx x=tgy (π2,π2)
arcus cotangens y=arcctgx x=ctgy (0,π)
arcus secans y=arcsecx x=secy (1,1) [0,π2)(π2,π]
arcus cosecans y=arccosecx x=cosecy (1,1) [π2,0)(0,π2]

Harmoniki

Sinusoidalny ruch prostego oscylatora

Szablon:Osobny artykuł Funkcje postaci

u(t)=Asin(ωt+ϕ),

gdzie:

są nazywane harmonikami[105]. Funkcje sinus i cosinus są ich szczególnymi przypadkami. Harmoniki mają duże znaczenie w praktyce, przy analizie funkcji okresowych. Kombinacja liniowa kilku harmonik o tej samej częstotliwości jest ciągle harmoniką o tej częstotliwości.

Harmoniki stosowane są w fizyce przy badaniu wszelkich zjawisk okresowych, np. drgań. Wiele z tych zjawisk, np. masa na sprężynie, wahadło przy niewielkim wychyleniu albo elektryczny obwód rezonansowy, w wyidealizowanym przypadku (przy braku strat energii), opisuje równanie różniczkowe:

x=kx,

którego rozwiązaniami są harmoniki.

Funkcje hiperboliczne

Szablon:Osobny artykuł

Sinus, cosinus i tangens hiperboliczny

Jak podano w sekcji Definicja za pomocą równań funkcyjnych, funkcje sinus i cosinus można zdefiniować w następujący sposób[28]:

{W1:s(x1x2)=s(x1)c(x2)c(x1)s(x2)W2:c(x1x2)=c(x1)c(x2)+s(x1)s(x2)W3:limx0s(x)x=1

Jeśli warunek W2 zmienić na:

W2:c(x1x2)=c(x1)c(x2)s(x1)s(x2),

wówczas warunki W1, W2', W3 będą spełnione przez inne funkcje, które przez analogię nazywane są sinusem hiperbolicznym (sinh) i cosinusem hiperbolicznym (cosh)Szablon:Odn.

Analogicznie jak dla funkcji trygonometrycznych definiuje się też tangens, cotangens, secans i cosecans hiperboliczny jako odpowiednie ilorazy z udziałem sinusa i cosinusa hiperbolicznego. Istnieje także całkowy sinus hiperboliczny i całkowy cosinus hiperboliczny.

Pole zakreskowanego obszaru odpowiada połowie argumentu funkcji hiperbolicznych
Pole zakreskowanego obszaru odpowiada połowie argumentu funkcji trygonometrycznych

Także definicja na okręgu jednostkowym dla funkcji trygonometrycznych ma swój odpowiednik hiperboliczny. Zamiast okręgu jednostkowego

x2+y2=1

należy wziąć hiperbolę o równaniu

x2y2=1.

Na okręgu jednostkowym argument funkcji trygonometrycznych odpowiadał mierze kąta, jednak jest ona równa polu wycinka kołowego, symetrycznego względem osi OX. Podobnie w przypadku funkcji hiperbolicznych argumentowi odpowiada pole odpowiedniego wycinka. Biorąc długości odcinków, które na okręgu odpowiadały funkcjom sinus, cosinus i tangens, uzyskuje się na hiperboli sinus, cosinus i tangens hiperboliczny[21].

Istnieją też inne analogie. Dla funkcji trygonometrycznych zachodzą równości, podane w sekcji Wzór Eulera.

Analogiczne wzory występują dla funkcji hiperbolicznych[106]:

sinhx=exex2coshx=ex+ex2tghx=exexex+exctghx=ex+exexex

Istnieją też analogie niektórych tożsamości trygonometrycznych[106]:

sinh(x+y)=sinhxcoshy+coshxsinhy
cosh2xsinh2x=1
cosh2x=cosh2x+sinh2x

Podobieństwa te wynikają z głębokiej symetrii pomiędzy funkcjami trygonometrycznymi a hiperbolicznymi, przejawiającej się także po ich uogólnieniu na argumenty zespolone[106].

Zobacz też

Uwagi

Szablon:Uwagi

Przypisy

  1. 1,0 1,1 1,2 1,3 1,4 1,5 1,6 Szablon:Encyklopedia PWN
  2. Szablon:Encyklopedia PWN
  3. Szablon:Encyklopedia PWN
  4. Szablon:Cytuj książkę
  5. Szablon:Cytuj
  6. Szablon:Encyklopedia PWN
  7. Szablon:Encyklopedia PWN
  8. Szablon:Encyklopedia PWN
  9. Szablon:Encyklopedia PWN
  10. Szablon:Encyklopedia PWN
  11. Szablon:Encyklopedia PWN
  12. Szablon:Odn.
  13. 13,0 13,1 Szablon:Cytuj książkę
  14. Szablon:Cytuj pismo
  15. Szablon:Cytuj stronę
  16. Szablon:MathWorld
  17. Szablon:Encyklopedia PWN
  18. Szablon:MathWorld
  19. Szablon:MathWorld
  20. Szablon:MathWorld
  21. 21,0 21,1 Szablon:Odn.
  22. Szablon:Cytuj
  23. 23,0 23,1 Szablon:Cytuj
  24. Szablon:Cytuj stronę
  25. W przypadku pierścieni nilpotentnych szereg Taylora ma tylko skończoną liczbę wyrazów różną od 0.
  26. Szablon:Cytuj stronę
  27. Szablon:Cytuj stronę twierdzenie 20.
  28. 28,0 28,1 Szablon:Odn.
  29. 29,0 29,1 Szablon:Cytuj stronę
  30. Szablon:Cytuj książkę
  31. Szablon:MathWorld
  32. Szablon:MathWorld
  33. Szablon:Cytuj stronę
  34. Szablon:Cytuj stronę
  35. 35,0 35,1 Szablon:Odn.
  36. Szablon:Odn.
  37. 37,0 37,1 Szablon:Odn.
  38. Szablon:Cytuj stronę
  39. Szablon:Odn.
  40. Szablon:Cytuj stronę
  41. Szablon:Cytuj stronę
  42. 42,0 42,1 42,2 42,3 42,4 Szablon:Odn.
  43. Szablon:Odn.
  44. 44,0 44,1 Szablon:Odn.
  45. Słownik encyklopedyczny – matematyka, s. 93–94.
  46. Szablon:Odn.
  47. Szablon:Cytuj stronę
  48. Szablon:Cytuj stronę
  49. Szablon:Cytuj stronę
  50. Szablon:Cytuj stronę
  51. Szablon:Odn.
  52. Szablon:Odn.
  53. 53,0 53,1 Szablon:Cytuj stronę
  54. Szablon:Odn.
  55. 55,0 55,1 Szablon:Odn.
  56. 56,0 56,1 Szablon:Odn.
  57. Szablon:Cytuj pismo
  58. Szablon:Cytuj stronę
  59. Szablon:Cytuj stronę
  60. Szablon:Cytuj stronę
  61. Szablon:Cytuj stronę
  62. Szablon:Cytuj książkę
  63. Szablon:Cytuj książkę
  64. "Geometrja dla Szkół Narodowych przez J. X. Gawrońskiego, Kanonika, Koadjutora Krakowskiego, Lektora J.K. Mości, na polski język z Francuskiego przełożona. W Warszawie dnia 30 października 1780."
  65. Szablon:Cytuj stronę
  66. Szablon:Cytuj stronę
  67. 67,0 67,1 67,2 67,3 Szablon:Cytuj książkę
  68. 68,0 68,1 Szablon:Cytuj książkę
  69. Szablon:Cytuj książkę
  70. Szablon:Cytuj książkę
  71. 71,0 71,1 Szablon:Cytuj książkę
  72. Szablon:Cytuj książkę
  73. Szablon:Cytuj książkę
  74. 74,0 74,1 Szablon:Cytuj książkę
  75. Szablon:Cytuj książkę
  76. 76,0 76,1 Szablon:Cytuj stronę
  77. 77,0 77,1 Szablon:Cytuj książkę
  78. Szablon:Cytuj książkę
  79. Szablon:Cytuj książkę
  80. 80,0 80,1 Szablon:Cytuj książkę
  81. 81,0 81,1 Szablon:Cytuj książkę
  82. Szablon:Cytuj książkę
  83. Szablon:Cytuj książkę
  84. Szablon:Cytuj książkę
  85. Szablon:Cytuj książkę
  86. Szablon:Cytuj książkę
  87. Szablon:Cytuj książkę
  88. 88,0 88,1 Szablon:Cytuj książkę
  89. Szablon:Cytuj książkę
  90. 90,0 90,1 Szablon:Cytuj książkę
  91. 91,0 91,1 Szablon:Cytuj książkę
  92. Szablon:Cytuj książkę
  93. Szablon:Cytuj książkę
  94. Szablon:Cytuj książkę
  95. Szablon:Cytuj książkę
  96. Szablon:Cytuj książkę
  97. 97,0 97,1 97,2 Szablon:Cytuj książkę
  98. Szablon:Encyklopedia PWN
  99. Szablon:Encyklopedia PWN
  100. Szablon:Encyklopedia PWN
  101. Szablon:Encyklopedia PWN
  102. Szablon:Encyklopedia PWN
  103. Szablon:Encyklopedia PWN
  104. Szablon:Odn.
  105. Szablon:Odn.
  106. 106,0 106,1 106,2 Szablon:Cytuj książkę

Bibliografia

Linki zewnętrzne

Szablon:Trygonometria Szablon:Funkcje elementarne Szablon:Okręgi Szablon:Krzywe stożkowe

Szablon:Kontrola autorytatywna
Błąd rozszerzenia cite: Istnieje znacznik <ref> dla grupy o nazwie „uwaga”, ale nie odnaleziono odpowiedniego znacznika <references group="uwaga"/>