Trigonometria funkcio

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo
Matematikaj funkcioj
Fonto-aro, Celo-aro, Bildo, Kontraŭcelo-aro
Fundamentaj funkcioj
algebraj funkcioj:
konstantalinearakvadratapolinomaracionalaTransformo de Möbius
ceteraj funkcioj:
trigonometriajinversa trigonometriahiperbolaeksponentalogaritmapotenca
Specialaj funkcioj
eraraβΓζηW de Lambertde Bessel
Nombroteoriaj funkcioj:
τσde Möbiusφπλ
Ecoj:
pareco kaj malparecomonotonecobaritecoperiodecoenĵetecosurĵetecoensurĵeteco
kontinuecoderivaĵecoinegralebleco

En matematiko, la trigonometriaj funkcioj estas funkcioj de angulo.

Nomo Kutima skribmaniero Ĉefa idento Limigoj de valoro por reela argumento Periodo
Sinuso y = sin(θ) −1 ≤ y ≤ 1
Kosinuso y = cos(θ) −1 ≤ y ≤ 1
Tangento y = tan(θ)
y = tg(θ)
tan(θ) = sin(θ) / cos(θ) Ĉiuj reelaj y π
Kotangento y = cot(θ)
y = cotan(θ)
y = ctg(θ)
cot(θ) = cos(θ) / sin(θ) Ĉiuj reelaj y π
Sekanto y = sec(θ) sec(θ) = 1 / cos(θ) −∞ < y ≤ −11 ≤ y < ∞
Kosekanto y = csc(θ)
y = cosec(θ)
csc(θ) = 1 / sin(θ) −∞ < y ≤ −11 ≤ y < ∞
Sine cosine plot.svg
Grafikaĵoj de sin(x) kaj cos(x)
Tan.svg
Grafikaĵo de tan(x)
Trigonometric functions.svg

Sinuso, Kosinuso, Tangento, Kosekanto (punktita), Sekanto (punktita), Kotangento (punktita)

Ili estas ekvivalente difinitaj kiel:

Por ke la geometriaj kaj la algebraj difinoj donu koincidantajn rezultojn, la angulo θ devas esti mezurita en radianoj.

La difino per orta triangulo senpere donas ĉiujn 6 funkciojn. En iuj el la aliaj okazaj komence estas difinataj ne ĉiuj funkcioj (sin kaj cos tamen estas difinataj), la aliaj funkcioj estas tiam difinataj per formuloj de kolumno "Ĉefa idento" de la tabelo pli supre.

Difinoj per orta triangulo[redakti | redakti fonton]

Trigonometriaj funkcioj estas difinataj per anguloj de orta triangulo per rilatumoj inter longoj de ĝiaj lateroj.

En orta triangulo, la funkcioj de angulo α egalas al rilatumoj inter longoj de la lateroj:

sin α = (a/c)
cos α = (b/c)
tan α = (a/b)
csc α = (c/a)
sec α = (c/b)
cot α = (b/a)


Difinoj per unuobla cirklo[redakti | redakti fonton]

La sinuso, kosinuso, tangento, kotangento, sekanto kaj kosekanto de angulo α kiel longoj de rektaj segmentoj ĉe unuobla cirklo
La trigonometriaj funkcioj kaj funkcioj versin kaj exsec de angulo θ kiel longoj de rektaj segmentoj ĉe unuobla cirklo

Estu la unuobla cirklo, la cirklo de radiuso unu centrita je la fonto. De la teoremo de Pitagoro la ekvacio de la unuobla cirklo estas:

x2 + y2 = 1

Estu duonrekto el la fonto (0,0) kun angulo de θ kun la pozitiva duono de la x-akso. La linio sekcas la unuoblan cirklo cirklon en punkto, kies x kaj y koordinatoj estas cos θ kaj sin θ respektive.

Por 0<θ<π/2, orta triangulo povas esti konstruita per aldono de perpendikularo el la punkto (x, y) al la x-akso. La triangulo hipotenuzon de longo egala al radiuso de la cirklo, do egala al la 1. Longoj de katetoj estas x kaj y, Tiel sin θ = y/1 kaj cos θ = x/1, kio koincidas kun la difino per orta triangulo,

Por anguloj pli grandaj ol aŭ malpli grandaj ol -2π, oni simple daŭre turnu la punkton ĉirkaŭ la cirklo. Do, sinuso kaj kosinuso estas periodaj funkcioj kun periodo :

\sin\theta = \sin(\theta + 2\pi k )
\cos\theta = \cos(\theta + 2\pi k )

por ĉiu angulo θ kaj ĉiu entjero k.

La plej malgranda pozitiva periodo, aŭ la primitivo periodo de la funkcio, por sinuso, kosinuso, sekanto kaj kosekanto estas plena cirklo, radianoj aŭ 360 gradoj; la primitivo periodo de tangento kaj aŭ kotangento estas nur duono de cirklo, kio estas π radianoj aŭ 180 gradoj.

Valoro de tangento ŝanĝiĝas malrapide ĉirkaŭ anguloj de , sed ŝanĝi rapide je anguloj proksimaj al (k + 1/2)π. La grafikaĵo de la tangento havas vertikalajn asimptotojn je θ = (k + 1/2)π. En ĉi tiuj okazo la funkcio proksimiĝas al plus malfinio kiam θ proksimiĝas al (k + 1/2)π de maldekstro kaj la funkcio proksimiĝas al minus malfinio kiam θ proksimiĝas al (k + 1/2)π de dekstro.

Difinoj per malfiniaj serioj[redakti | redakti fonton]

La sinusa funkcio (blua) estas proksimumata per ĝia polinomo de Taylor f(x) de grado 7 (rozkolora)

Uzante nur geometrion kaj propraĵojn de limigoj, eblas montri ke derivaĵo de sinuso estas kosinuso kaj derivaĵo de kosinuso estas negativo de sinuso. (la variablo estas mezurita en radianoj). Do la serioj de Taylor estas:

\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)!}


Interrilato al eksponenta funkcio kaj kompleksaj nombroj[redakti | redakti fonton]

Kompleksa sinuso
Kompleksa kosinuso
Kompleksa tangento

El la serioj sekvas ke la sinuso kaj kosinuso estas respektive la imaginara parto kaj reela parto de la eksponenta funkcio kiam ĝia argumento estas pure imaginara:

\cos x = \mbox{Re } (e^{i x})
\sin x = \mbox{Im } (e^{i x})

Kaj

 e^{i \theta} = \cos\theta + i\sin\theta

Ĉi tiu idento estas la eŭlera formulo en kompleksa analitiko. Ĝi priskribas la unuoblan cirklon en la kompleksa ebeno.

Plue, la serioj permesas difinon por kompleksaj argumentoj z:

\sin z = \sum_{n=0}^{\infty}\frac{(-1)^{n}}{(2n+1)!}z^{2n+1} \, = \, {e^{i z} - e^{-i z} \over 2i} = -i \sinh ( i z)
\cos z = \sum_{n=0}^{\infty}\frac{(-1)^{n}}{(2n)!}z^{2n} \, = \, {e^{i z} + e^{-i z} \over 2} = \cosh (i z)

kie i2 = -1.

Difinoj per diferencialaj ekvacioj[redakti | redakti fonton]

Ambaŭ la sinuso kaj kosinuso kontentigas la diferencialan ekvacion

y''=-y

En la 2-dimensia funkcia spaco V konsistanta el ĉiuj solvaĵoj de ĉi tiu ekvacio, la sinusa funkcio estas la unika solvaĵo kun la komencaj kondiĉoj y(0) = 0 kaj y′(0) = 1, kaj la kosinuso estas la unika solvaĵo kun la komencaj kondiĉoj y(0) = 1 kaj y′(0) = 0. Pro tio ke sinuso kaj kosinuso estas lineare sendependaj, kune ili formas bazon de V. Tio ke sinuso kaj kosinuso kontentigas al y''=-y signifas ke ili estas propraj funkcioj de la dua-derivaĵa operatoro.

La tangento estas la unika solvaĵo de la nelineara diferenciala ekvacio

y'=1+y^2

kun la komenca kondiĉo y(0) = 0.

Signifo de radianoj[redakti | redakti fonton]

Radiano estas tia mezurunuo de angulo, kun kiu sinuso kaj kosinuso kontentigas la diferencialan ekvacion

y''=-y

Se argumento al sinuso aŭ kosinuso en radianoj estas skalita per koeficiento,

f(x) = sin(kx)

do la derivaĵo estas skalita per la amplitudo:

f'(x) = k cos(kx)

Ĉi tie, k estas konstanto kiu prezentas surĵeto inter unuoj. Se x estas en gradoj, tiam

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

Ĉi tiu signifas ke dua derivaĵo de sinuso en gradoj kontentigas diferencialan ekvacion

y'' = -k^2y

La kosinusa dua derivaĵo kondutas simile.

Propraĵoj[redakti | redakti fonton]

sin x = 0 se kaj nur se x = kπ por iu entjero k
cos x = 0 se kaj nur se x = (k + 1/2)π por iu entjero k
tan x = 0 se kaj nur se x = kπ por iu entjero k
cot x = 0 se kaj nur se x = (k + 1/2)π por iu entjero k
\sin \theta = \cos (\frac{\pi}{2} - \theta )
\cos \theta = \sin (\frac{\pi}{2} - \theta )
\tan \theta = \cot (\frac{\pi}{2} - \theta ) = \frac{1}{\cot \theta}
\csc \theta = \sec (\frac{\pi}{2} - \theta )
\sec \theta = \csc (\frac{\pi}{2} - \theta )
\cot \theta = \tan (\frac{\pi}{2} - \theta ) = \frac{1}{\tan \theta}
(\sin x)^2 + (\cos x)^2 = 1
sin (x+y) = sin x cos y + cos x sin y
cos (x+y) = cos x cos y - sin 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
Duoblaj anguloj
\begin{align}
\sin 2\theta &= 2 \sin \theta \cos \theta \ \\ &= \frac{2 \tan \theta} {1 + \tan^2 \theta}
\end{align} \begin{align}
\cos 2\theta &= \cos^2 \theta - \sin^2 \theta \\ &= 2 \cos^2 \theta - 1 \\ 
&= 1 - 2 \sin^2 \theta \\ &= \frac{1 - \tan^2 \theta} {1 + \tan^2 \theta}
\end{align} \tan 2\theta = \frac{2 \tan \theta} {1 - \tan^2 \theta} \cot 2\theta = \frac{\cot^2 \theta - 1}{2 \cot \theta}
Trioblaj anguloj
\sin 3\theta = 3 \sin \theta- 4 \sin^3\theta \cos 3\theta = 4 \cos^3\theta - 3 \cos \theta \tan 3\theta = \frac{3 \tan\theta - \tan^3\theta}{1 - 3 \tan^2\theta} \cot 3\theta = \frac{3 \cot\theta - \cot^3\theta}{1 - 3 \cot^2\theta}
Duonaj anguloj
\sin \tfrac{\theta}{2} =  \pm\, \sqrt{\frac{1 - \cos \theta}{2}} \cos \tfrac{\theta}{2} =  \pm\, \sqrt{\frac{1 + \cos\theta}{2}} \begin{align} \tan \tfrac{\theta}{2} &= \csc \theta - \cot \theta \\ &= \pm\, \sqrt{1 - \cos \theta \over 1 + \cos \theta} \\ &= \frac{\sin \theta}{1 + \cos \theta} \\ &= \frac{1-\cos \theta}{\sin \theta} \end{align} \begin{align} \cot \tfrac{\theta}{2} &= \csc \theta + \cot \theta \\ &= \pm\, \sqrt{1 + \cos \theta \over 1 - \cos \theta} \\ &= \frac{\sin \theta}{1 - \cos \theta} \\ &= \frac{1 + \cos \theta}{\sin \theta} \end{align}

Pli ĝenerale por oblaj anguloj:

\sin n\theta = \sum_{k=0}^n \binom{n}{k} \cos^k \theta\,\sin^{n-k} \theta\,\sin\left(\frac{1}{2}(n-k)\pi\right)
\cos n\theta = \sum_{k=0}^n \binom{n}{k} \cos^k \theta\,\sin^{n-k} \theta\,\cos\left(\frac{1}{2}(n-k)\pi\right)
\tan\,(n{+}1)\theta = \frac{\tan n\theta + \tan \theta}{1 - \tan n\theta\,\tan \theta}
\cot\,(n{+}1)\theta = \frac{\cot n\theta\,\cot \theta - 1}{\cot n\theta + \cot \theta}
f(x) Derivaĵo \frac{d f(x)}{dx} Integralo \int f(x)\,dx
 \sin x  \cos x  -\cos x + C
 \cos x  -\sin x  \sin x + C
 \tan x  \sec^{2} x -\ln  |\cos x | + C (por reela x)
 \cot x  -\csc^{2} x \ln  |\sin x | + C (por reela x)
 \sec x  \sec{x}\tan{x} \ln  |\sec x + \tan x | + C (por reela x)
 \csc x  -\csc{x}\cot{x} -\ln  |\csc x + \cot x | + C (por reela x)

Difinoj per funkciaj ekvacioj[redakti | redakti fonton]

Oni povas difini la trigonometriajn funkciojn surbaze de iuj el iliaj propraĵoj. Ekzistas akurate unu paro de reelaj funkcioj sin kaj cos tia ke por ĉiuj reelaj nombroj x kaj y jenaj ekvacioj veras:

\sin^2(x) + \cos^2(x) = 1
\sin(x\pm y) = \sin(x)\cos(y) \pm \cos(x)\sin(y)
\cos(x\pm y) = \cos(x)\cos(y) \mp \sin(x)\sin(y)

kun la aldonas kondiĉo ke

0 < x\cos(x) < \sin(x) < x \mbox{ por }0 < x < 1

Periodaj funkcioj[redakti | redakti fonton]

Sinuso kaj kosinuso povas esti uzataj por studi ajnajn periodaj funkcioj. Ĉiu perioda funkcio de reela variablo povas esti skribita kiel malfinia sumo de sinuso kaj kosinuso de malsamaj frekvencoj; ĉi tiu estas la baza ideo de analizo de Fourier.

Por funkcio f(x) kun periodo a , estu la koeficientoj de Fourier:

a_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x) \cos(nx)\, dx
b_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x) \sin(nx)\, dx

Tiam la malfinia serio sub certaj kondiĉoj konverĝas al la fonta funkcio f(x):

f(x)  = \frac{a_0}{2} +\sum_{n=1}^{\infty}[a_n \cos(nx) + b_n \sin(nx)]

Ekzemple la kvadrata ondo povas esti skribita kiel la serio de Fourier:

 f(x) = \frac{4}{\pi} \sum_{k=1}^\infty {\sin{( (2k-1)x )}\over(2k-1)}

(ĉi tie ĉiuj an kaj duono da bn estas nuloj)

Kalkulado[redakti | redakti fonton]

La kalkulado de trigonometriaj funkcioj estas komplika subjekto.

La unua paŝo en komputado de trigonometriaj funkcioj estas limiga malpligrandigo - malpligrandigo de la donita angulo al "malpligrandigita angulo" en iu certas malgranda limigo de anguloj, ekzemple 0 kaj π/2, uzanta periodecon kaj simetriojn de la trigonometriaj funkcioj.

Fruaj komputiloj tipe komputis trigonometriajn funkciojn per interpolo inter valoroj de anticipe donitaj tabeloj de iliaj valoroj. Ĉi tiaj tabeloj estas tipe generataj per ripetita apliko de la duon-angula kaj angulo-adiciaj formuloj, startanta de sciata valoro (ekzemple sin(π/2) = 1).

Modernaj komputiloj uzas diversajn teknikojn. Unu komuna maniero estas proksimuma kalkulado per polinomoracionala funkcio (ekzemple proksimuma kalkulado de Ĉebiŝev, plej bona uniforma proksimuma kalkulado, kaj proksimuma kalkulado de Padé, kaj tipe por pli bona precizeco serio de Taylor kaj serio de Laurent). Kutime la plej proksima angulo estas prenita de malgranda tabelo, kaj poste la polinomo estas uzata por komputi la korektigaĵon.

Sur pli simplaj aparatoj ĉe kiuj mankas aparataraj multiplikantoj, estas algoritmo CORDIC kaj similaj, kiuj uzas nur ŝovojn kaj adiciojn.

Por tre alte precizaj kalkuloj, kiam seria elvolvaĵa konverĝo iĝas malrapidan, trigonometriaj funkcioj povas esti aproksimita per la aritmetiko-geometria meznombro, kiu aproksimas la trigonometria funkcio per la (kompleksa) elipsa integralo.[1]

Por iuj simplaj anguloj, la valoroj povas esti facile komputita permane uzanta la teoremo de Pitagoro, kiel en jenaj ekzemploj. Valoroj de la funkcioj por ĉiu entjera oblo de π/60 (3°) povas troviĝi akurate.

Estu orta triangulo kie la du aliaj anguloj estas egalaj, kaj pro tio estas ambaŭ π/4. Tiam la longoj de katetoj a kaj b estas interegalaj, estu a = b = 1. La valoroj de sinuso, kosinuso kaj tangento de π/4 povas tiam troviĝi per la teoremo de Pitagoro:

c = \sqrt { a^2+b^2 } = \sqrt2

kaj do:

\sin (\pi / 4 ) = \sin (45^\circ) = \cos (\pi / 4 ) = \cos (45^\circ) = {1 \over \sqrt2}
\tan (\pi / 4 ) = \tan (45^\circ) = {{\sin (\pi / 4 )}\over{\cos (\pi / 4 )}} = {1 \over \sqrt2} \cdot {\sqrt2 \over 1} = {\sqrt2 \over \sqrt2} = 1

Por kalkuli la funkciojn de anguloj π/3 (60°) kaj π/6 (30°), oni startu de egallatera triangulo kun latera longo 1. Ĉiuj ĝiaj anguloj estas π/3. Per divido de ĝi per mediano, rezultiĝas du ortaj trianguloj ĉi kun anguloj π/6 kaj π/3. Ĉe ĉiu el ĉi tiuj ortaj trianguloj, longo de la plej mallonga kateto estas 1/2, longo de la alia kateto estas (√3)/2 kaj longo de la hipotenuzo estas 1. Do:

\sin (\pi / 6 ) = \sin (30^\circ) = \cos (\pi / 3 ) = \cos (60^\circ) = {1 \over 2}
\cos (\pi / 6 ) = \cos (30^\circ) = \sin (\pi / 3 ) = \sin (60^\circ) = {\sqrt3 \over 2}
\tan (\pi / 6 ) = \tan (30^\circ) = \cot (\pi / 3 ) = \cot (60^\circ) = {1 \over \sqrt3}

Vidu ankaŭ[redakti | redakti fonton]

Referencoj[redakti | redakti fonton]

  1. R. P. Brent, "Rapida mult-precizeca pritakso de rudimentaj funkcioj", J. ACM 23, 242 (1976).

Eksteraj ligiloj[redakti | redakti fonton]