Saltar para o conteúdo

Função trigonométrica: diferenças entre revisões

Origem: Wikipédia, a enciclopédia livre.
Conteúdo apagado Conteúdo adicionado
Ainda estou traduzindo uma seção (Definições em análise); publicarei no decorrer dos próximos dias. Paciência ...
Etiqueta: Inserção de predefinição obsoleta
Linha 189: Linha 189:
| <math>0</math>
| <math>0</math>
| {{N/a|Indefinido}}
| {{N/a|Indefinido}}
|}

==Definições na análise==
[[Imagem:Trigonometrija-graf-pt-br.svg|thumb|right|<!--[[:en:Graph of a function|]]-->Gráficos de seno, cosseno e tangente]]
[[Imagem:Taylorsine-pt-br.svg|thumb|right|A função seno (azul) é aproximada por seu [[Teorema de Taylor|polinômio de Taylor]] de grau 7 (rosa) para um ciclo completo centrado na origem.]]
[[Imagem:Taylor cos.gif|thumb|Animação para a aproximação do cosseno via polinômios de Taylor.]]
[[Imagem:Taylorreihenentwicklung des Kosinus.svg|thumb|<math>\cos(x)</math> juntamente com os primeiros polinômios de Taylor <math>p_n(x)=\sum_{k=0}^n (-1)^k \frac{x^{2k}}{(2k)!}</math>]]

[[Godfrey Harold Hardy|G. H. Hardy]] observou em seu trabalho de 1908, <!--[[:en:A Course of Pure Mathematics]]-->''Um Curso de Matemática Pura'', que a definição das funções trigonométricas em termos do círculo unitário não é satisfatória, porque depende implicitamente de uma noção de ângulo que pode ser medida por um número real.<ref name="Hardy">{{Citation|first=G.H.|last=Hardy|title=A course of pure mathematics|year=1950|edition=8th|pages=432–438|language=en}}</ref> Assim, na análise moderna, as funções trigonométricas são geralmente construídas sem referência à geometria.

Existem várias maneiras na literatura para definir as funções trigonométricas de uma maneira adequada para análise; elas incluem:
* Usando a "geometria" do círculo unitário, que requer a formulação do comprimento do arco de um círculo (ou área de um setor) analiticamente.<ref name="Hardy"/>
* Por uma série de potências, que é particularmente adequada para variáveis ​​complexas.<ref name="Hardy"/><ref name="WW">Whittaker, E. T., & Watson, G. N. (1920). ''A course of modern analysis: an introduction to the general theory of infinite processes and of analytic functions; with an account of the principal transcendental functions'' (em inglês), ''University Press''.</ref>
* Usando uma expansão de produto infinito.<ref name="Hardy"/>
* Invertendo as funções trigonométricas inversas, que podem ser definidas como integrais de funções algébricas ou racionais.<ref name="Hardy"/>
* Como soluções de uma equação diferencial.

===Definição por equações diferenciais===
Seno e cosseno podem ser definidos como a solução única para o [[Problema de valor inicial|problema do valor inicial]]:{{Sfn|Bartle|Sherbert|1999|p=247}}
:<math>\frac{d}{dx}\sen x= \cos x,\ \frac{d}{dx}\cos x= -\sen x,\ \sen(0)=0,\ \cos(0)=1 </math>
Diferenciando novamente, <math display="inline">\frac{d^2}{dx^2}\sen x = \frac{d}{dx}\cos x = -\sen x</math> e <math display="inline">\frac{d^2}{dx^2}\cos x = -\frac{d}{dx}\sen x = -\cos x</math>, então tanto seno quanto cosseno são soluções da mesma [[equação diferencial ordinária]]
:<math>y''+y=0\,</math>
Seno é a solução única com {{Math|''y''(0) {{=}} 0}} e {{Math|''y''′(0) {{=}} 1}}; cosseno é a solução única com {{Math|''y''(0) {{=}} 1}} e {{Math|''y''′(0) {{=}} 0}}.

Pode-se então provar, como um teorema, que as soluções <math>\cos,\sen</math> são periódicas, tendo o mesmo período. Escrever esse período como <math>2\pi</math> é então uma definição do número real <math>\pi</math> que é independente da geometria.

Aplicando a [[regra do quociente]] à tangente <math>\tan x = \sen x / \cos x</math>,
:<math>\frac{d}{dx}\tan x = \frac{\cos^2 x + \sen^2 x}{\cos^2 x} = 1+\tan^2 x\,,</math>
então a função tangente satisfaz a equação diferencial ordinária
:<math>y' = 1 + y^2\,</math>
É a solução única com {{Math|''y''(0) {{=}} 0}}.

===Expansão da série de potências===
As funções trigonométricas básicas podem ser definidas pelas seguintes expansões de séries de potências.<ref>Whitaker & Watson, p. 584</ref> Essas séries também são conhecidas como [[série de Taylor]] ou [[série de Maclaurin]] dessas funções trigonométricas:
:<math>
\begin{align}
\sen x & = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \\[6mu]
& = \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)!}x^{2n+1} \\[8pt]
\cos x & = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots \\[6mu]
& = \sum_{n=0}^\infty \frac{(-1)^n}{(2n)!}x^{2n}
\end{align}
</math>
O [[raio de convergência]] dessas séries é infinito. Portanto, o seno e o cosseno podem ser estendidos para [[Função inteira|funções inteiras]] (também chamadas de "seno" e "cosseno"), que são (por definição) [[Análise complexa|funções de valor complexo]] que são definidas e [[Função holomorfa|holomórficas]] em todo o [[plano complexo]].

A diferenciação termo a termo mostra que o seno e o cosseno definidos pela série obedecem à equação diferencial discutida anteriormente e, inversamente, pode-se obter essas séries a partir de relações de recursão elementares derivadas da equação diferencial.

Sendo definidas como frações de funções inteiras, as outras funções trigonométricas podem ser estendidas para [[Função meromorfa|funções meromórficas]], ou seja, funções que são holomórficas em todo o plano complexo, exceto alguns pontos isolados chamados [[Polo (análise complexa)|polos]]. Aqui, os polos são os números da forma <math display="inline">(2k+1)\frac \pi 2</math> para a tangente e a secante, ou <math>k\pi</math> para a cotangente e a cossecante, onde {{Mvar|k}} é um inteiro arbitrário.

As relações de recorrência também podem ser computadas para os coeficientes da [[série de Taylor]] das outras funções trigonométricas. Essas séries têm um [[raio de convergência]] finito. Seus coeficientes têm uma interpretação [[combinatória]]: eles enumeram [[Permutação alternada|permutações alternadas]] de conjuntos finitos.<ref>Stanley, ''Enumerative Combinatorics'' (em inglês), Volume I., p. 149</ref>

Mais precisamente, definindo
: {{Mvar|U<sub>n</sub>}}, o {{Mvar|n}}-ésimo [[Permutação alternada|número para cima/baixo]],
: {{Mvar|B<sub>n</sub>}}, o {{Mvar|n}}-ésimo [[Números de Bernoulli|número de Bernoulli]], e
: {{Mvar|E<sub>n</sub>}}, é o {{Mvar|n}}-ésimo [[Números de Euler|número de Euler]],
temos as seguintes expansões de série:
<ref>Abramowitz; Weisstein.</ref>
: <math>
\begin{align}
\tan x & {} = \sum_{n=0}^\infty \frac{U_{2n+1}}{(2n+1)!}x^{2n+1} \\[8mu]
& {} = \sum_{n=1}^\infty \frac{(-1)^{n-1} 2^{2n} \left(2^{2n}-1\right) B_{2n}}{(2n)!}x^{2n-1} \\[5mu]
& {} = x + \frac{1}{3}x^3 + \frac{2}{15}x^5 + \frac{17}{315}x^7 + \cdots, \qquad \text{para } |x| < \frac{\pi}{2}
\end{align}
</math>

: <math>
\begin{align}
\csc x &= \sum_{n=0}^\infty \frac{(-1)^{n+1} 2 \left(2^{2n-1}-1\right) B_{2n}}{(2n)!}x^{2n-1} \\[5mu]
&= x^{-1} + \frac{1}{6}x + \frac{7}{360}x^3 + \frac{31}{15120}x^5 + \cdots, \qquad \text{para } 0 < |x| < \pi
\end{align}
</math>

: <math>
\begin{align}
\sec x &= \sum_{n=0}^\infty \frac{U_{2n}}{(2n)!}x^{2n}
= \sum_{n=0}^\infty \frac{(-1)^n E_{2n}}{(2n)!}x^{2n} \\[5mu]
&= 1 + \frac{1}{2}x^2 + \frac{5}{24}x^4 + \frac{61}{720}x^6 + \cdots, \qquad \text{para } |x| < \frac{\pi}{2}
\end{align}
</math>

: <math>
\begin{align}
\cot x &= \sum_{n=0}^\infty \frac{(-1)^n 2^{2n} B_{2n}}{(2n)!}x^{2n-1} \\[5mu]
&= x^{-1} - \frac{1}{3}x - \frac{1}{45}x^3 - \frac{2}{945}x^5 - \cdots, \qquad \text{para } 0 < |x| < \pi
\end{align}
</math>

===Expansão de fração contínua===
As seguintes <!--[[:en:Continued fraction]]-->frações contínuas são válidas em todo o plano complexo:
:<math> \sen x =
\cfrac{x}{1 + \cfrac{x^2}{2\cdot3-x^2 +
\cfrac{2\cdot3 x^2}{4\cdot5-x^2 +
\cfrac{4\cdot5 x^2}{6\cdot7-x^2 + \ddots}}}}</math>

:<math> \cos x = \cfrac{1}{1 + \cfrac{x^2}{1 \cdot 2 - x^2 + \cfrac{1 \cdot 2x^2}{3 \cdot 4 - x^2 + \cfrac{3 \cdot 4x^2}{5 \cdot 6 - x^2 + \ddots}}}}</math>

:<math>\tan x = \cfrac{x}{1 - \cfrac{x^2}{3 - \cfrac{x^2}{5 - \cfrac{x^2}{7 - \ddots}}}}=\cfrac{1}{\cfrac{1}{x} - \cfrac{1}{\cfrac{3}{x} - \cfrac{1}{\cfrac{5}{x} - \cfrac{1}{\cfrac{7}{x} - \ddots}}}}</math>

A última foi usada na primeira [[Prova da irracionalidade de π|prova histórica de que π é irracional]].<ref>{{Citation|editor1-last = Berggren|editor1-first = Lennart|editor2-last = Borwein|editor2-first = Jonathan M.|editor2-link = Jonathan Borwein| editor3-last = Borwein|editor3-first = Peter B.|editor3-link = Peter Borwein|last = Lambert|first = Johann Heinrich|orig-year = 1768|chapter = ''Mémoire sur quelques propriétés remarquables des quantités transcendantes circulaires et logarithmiques''|title = Pi, a source book|place = ''New York''|publisher = [[Springer Science+Business Media|''Springer-Verlag'']] |year = 2004|edition = ''3rd''|pages = 129&ndash;140|isbn = 0-387-20571-3 |language=en}}</ref>

===Expansão de fração parcial===
Há uma representação de série como [[Decomposição em frações parciais|expansão de fração parcial]] onde [[Inverso multiplicativo|funções recíprocas]] recém-transladadas são somadas, de modo que os [[Polo (análise complexa)|polos]] da função cotangente e as funções recíprocas correspondem:<ref name="Aigner_2000"/>
: <math>
\pi \cot \pi x = \lim_{N\to\infty}\sum_{n=-N}^N \frac{1}{x+n}.
</math>
Essa identidade pode ser provada com o truque de [[Gustav Herglotz|Herglotz]].<ref name="Remmert_1991"/> Combinar o {{Math|(–''n'')}}ésimo com o {{Math|''n''}}-ésimo termo leva a séries <!--[[:en:Absolute convergence]]-->absolutamente convergentes:
:<math>
\pi \cot \pi x = \frac{1}{x} + 2x\sum_{n=1}^\infty \frac{1}{x^2-n^2}
</math>
Da mesma forma, pode-se encontrar uma expansão de fração parcial para as funções secante, cossecante e tangente:
:<math>
\pi\csc\pi x = \sum_{n=-\infty}^\infty \frac{(-1)^n}{x+n}=\frac{1}{x} + 2x\sum_{n=1}^\infty \frac{(-1)^n}{x^2-n^2}
</math>
:<math>\pi^2\csc^2\pi x=\sum_{n=-\infty}^\infty \frac{1}{(x+n)^2}</math>
:<math>
\pi\sec\pi x = \sum_{n=0}^\infty (-1)^n \frac{(2n+1)}{(n+\tfrac12)^2 - x^2}
</math>
:<math>
\pi \tan \pi x = 2x\sum_{n=0}^\infty \frac{1}{(n+\tfrac12)^2 - x^2}
</math>

===Expansão de produto infinita===
O seguinte produto infinito para o seno é devido a [[Leonhard Euler]], e é de grande importância na análise complexa:<ref>Whittaker e Watson, p. 137</ref>
:<math>\sen z = z \prod_{n=1}^\infty \left(1-\frac{z^2}{n^2 \pi^2}\right), \quad z\in\mathbb C</math>
Isso pode ser obtido a partir da decomposição de fração parcial de <math>\cot z</math> dada acima, que é a derivada logarítmica de <math>\sen z</math>.<ref>Ahlfors, p. 197</ref> Disto, pode-se deduzir também que
:<math>\cos z = \prod_{n=1}^\infty \left(1-\frac{z^2}{(n-1/2)^2 \pi^2}\right), \quad z\in\mathbb C</math>

===Fórmula de Euler e a função exponencial===
[[Imagem:Sinus und Kosinus am Einheitskreis 3-pt-br.svg|thumb|<math>\cos(\theta)</math> e <math>\sen(\theta)</math> são a parte real e imaginária de <math>e^{i\theta}</math> respectivamente.]]
A [[fórmula de Euler]] relaciona seno e cosseno à [[função exponencial]]:
:<math> e^{ix} = \cos x + i\sen x</math>
Esta fórmula é comumente considerada para valores reais de {{Mvar|x}}, mas permanece verdadeira para todos os valores complexos.

''Prova'': Seja <math>f_1(x)=\cos x + i\sen x</math>, e <math>f_2(x)=e^{ix}</math>. Temos d <math>df_j(x)/dx= if_j(x)</math> para {{Math|1=''j'' = 1, 2}}. A [[regra do quociente]] implica, portanto, que <math>d/dx\, (f_1(x)/f_2(x))=0</math>. Portanto, <math>f_1(x)/f_2(x)</math> é uma função constante, que é igual a {{Val|1}}, pois <math>f_1(0)=f_2(0)=1</math>. Isso prova a fórmula.

Temos
:<math>\begin{align}
e^{ix} &= \cos x + i\sen x\\[5pt]
e^{-ix} &= \cos x - i\sen x
\end{align}</math>
Resolvendo este [[sistema linear]] em seno e cosseno, pode-se expressá-los em termos da função exponencial:
: <math>\begin{align}\sen x &= \frac{e^{i x} - e^{-i x}}{2i}\\[5pt]
\cos x &= \frac{e^{i x} + e^{-i x}}{2}
\end{align}</math>
Quando {{Mvar|x}} é real, isso pode ser reescrito como
: <math>\cos x = \operatorname{Re}\left(e^{i x}\right), \qquad \sen x = \operatorname{Im}\left(e^{i x}\right)</math>

A maioria das [[Identidade trigonométrica|identidades trigonométricas]] pode ser provada expressando funções trigonométricas em termos da função exponencial complexa usando as fórmulas acima e, em seguida, usando a identidade <math>e^{a+b}=e^ae^b</math> para simplificar o resultado.

A fórmula de Euler também pode ser usada para definir a função trigonométrica básica diretamente, como segue, usando a linguagem de [[Grupo topológico|grupos topológicos]].<ref>{{Cite book |last=Bourbaki |first=Nicolas |author-link=Nicolas Bourbaki |title=Topologie generale |publisher=''Springer'' |year=1981|at=§VIII.2|language=en}}</ref> O conjunto <math>U</math> de números complexos de módulo unitário é um grupo topológico compacto e conectado, que tem uma vizinhança da identidade que é homeomórfica à reta real. Portanto, é isomórfico como um grupo topológico ao grupo toro unidimensional <math>\mathbb R/\mathbb Z</math>, por meio de um isomorfismo
<math display="block">e:\mathbb R/\mathbb Z\to U</math>
Em termos pedestres <math>e(t) = \exp(2\pi i t)</math>, e esse isomorfismo é único até a obtenção de conjugados complexos.

Para um número real diferente de zero <math>a</math> (a ''base''), a função <math>t\mapsto e(t/a)</math> define um isomorfismo do grupo <math>\mathbb R/a\mathbb Z\to U</math>. As partes real e imaginária de <math>e(t/a)</math> são o cosseno e o seno, onde <math>a</math> é usado como base para medir ângulos. Por exemplo, quando <math>a=2\pi</math>, obtemos a medida em radianos e as funções trigonométricas usuais. Quando <math>a=360</math>, obtemos o seno e o cosseno de ângulos medidos em graus.

Note que <math>a=2\pi</math> é o valor único no qual a derivada
<math display="block">\frac{d}{dt} e(t/a)</math> se torna um [[vetor unitário]] com parte imaginária positiva em <math>t=0</math>. Este fato pode, por sua vez, ser usado para definir a constante <math>2\pi</math>.

===Definição via integração===
Outra maneira de definir as funções trigonométricas na análise é usando integração.<ref name="Hardy"/><ref>{{Citation|last=Bartle|year=1964|title=Elements of real analysis|publisher=|pages=315–316|language=en}}</ref> Para um número real <math>t</math>, coloque
<math display="block">\theta(t) = \int_0^t \frac{d\tau}{1+\tau^2}=\arctan t</math>
onde isso define esta função tangente inversa. Além disso, <math>\pi</math> é definido por
<math display="block">\frac12\pi = \int_0^\infty \frac{d\tau}{1+\tau^2}</math> uma definição que remonta a [[Karl Weierstrass]].<ref>{{Cite book |last=Weierstrass |first=Karl |author-link=Karl Weierstrass |chapter=''Darstellung einer analytischen Function einer complexen Veränderlichen, deren absoluter Betrag zwischen zwei gegebenen Grenzen liegt'' |trans-chapter=Representation of an analytical function of a complex variable, whose absolute value lies between two given limits |language=de |title=Mathematische Werke |volume=1 |publication-place=''Berlin'' |publisher=''Mayer & Müller'' |year=1841 |publication-date=1894 |pages=51–66 |chapter-url=https://archive.org/details/mathematischewer01weieuoft/page/51/ }}</ref>

No intervalo <math>-\pi/2<\theta<\pi/2</math>, as funções trigonométricas são definidas pela inversão da relação <math>\theta = \arctan t</math>. Assim, definimos as funções trigonométricas por
<math display="block">\tan\theta = t,\quad \cos\theta = (1+t^2)^{-1/2},\quad \sen\theta = t(1+t^2)^{-1/2}</math>
onde o ponto <math>(t,\theta)</math> está no gráfico de <math>\theta=\arctan t</math> e a raiz quadrada positiva é obtida.

Isso define as funções trigonométricas em <math>(-\pi/2,\pi/2)</math>. A definição pode ser estendida a todos os números reais observando primeiro que, como <math>\theta\to\pi/2</math>, <math>t\to\infty</math>, e então <math>\cos\theta = (1+t^2)^{-1/2}\to 0</math> e <math>\sen\theta = t(1+t^2)^{-1/2}\to 1</math>. Assim, <math>\cos\theta</math> e <math>\sen\theta</math> são estendidos continuamente de modo que <math>\cos(\pi/2)=0,\sen(\pi/2)=1</math>. Agora as condições <math>\cos(\theta+\pi)=-\cos(\theta)</math> e <math>\sen(\theta+\pi)=-\sen(\theta)</math> definem o seno e o cosseno como funções periódicas com período <math>2\pi</math>, para todos os números reais.

Comprovando as propriedades básicas do seno e do cosseno, incluindo o fato de que seno e cosseno são analíticos, pode-se primeiro estabelecer as fórmulas de adição. Primeiro,
<math display="block">\arctan s + \arctan t = \arctan \frac{s+t}{1-st}</math> vale, desde que <math>\arctan s+\arctan t\in(-\pi/2,\pi/2)</math>, já que
<math display="block">\arctan s + \arctan t= \int_{-s}^t\frac{d\tau}{1+\tau^2}=\int_0^{\frac{s+t}{1-st}}\frac{d\tau}{1+\tau^2}</math>
após a substituição <math>\tau \to \frac{s+\tau}{1-s\tau}</math>. Em particular, o caso limite como <math>s\to\infty</math> dá
<math display="block">\arctan t + \frac{\pi}{2} = \arctan(-1/t),\quad t\in (-\infty,0)</math>Assim, temos
<math display="block">\sen\left(\theta + \frac{\pi}{2}\right) = \frac{-1}{t\sqrt{1+(-1/t)^2}} = \frac{-1}{\sqrt{1+t^2}} = -\cos(\theta)</math>
e
<math display="block">\cos\left(\theta + \frac{\pi}{2}\right) = \frac{1}{\sqrt{1+(-1/t)^2}} = \frac{t}{\sqrt{1+t^2}} = \sen(\theta)</math>
Portanto, as funções seno e cosseno são relacionadas pela translação ao longo de um quarto de período <math>\pi/2</math>.

===Definições usando equações funcionais===
Também é possível definir as funções trigonométricas usando várias [[Equação funcional|equações funcionais]].

Por exemplo,<ref name="Kannappan_2009"/> o seno e o cosseno formam o par único de [[Função contínua|funções contínuas]] que satisfazem a fórmula da diferença
: <math>\cos(x- y) = \cos x\cos y + \sen x\sen y </math>
e a condição adicionada
: <math>0 < x\cos x < \sen x < x\quad\text{ para }\quad 0 < x < 1</math>

===No plano complexo===
O seno e o cosseno de um [[número complexo]] <math>z=x+iy</math> podem ser expressos em termos de [[Função hiperbólica|funções hiperbólicas]], cossenos, e senos reais da seguinte forma:
: <math>\begin{align}\sen z &= \sen x \cosh y + i \cos x \text{ senh } y\\[5pt]
\cos z &= \cos x \cosh y - i \sen x \text{ senh } y\end{align}</math>
Tirando vantagem da <!--[[:en:Domain coloring]]-->coloração de domínio, é possível representar graficamente as funções trigonométricas como funções de valor complexo. Vários recursos exclusivos das funções complexas podem ser vistos no gráfico; por exemplo, as funções seno e cosseno podem ser vistas como ilimitadas à medida que a parte imaginária de <math>z</math> se torna maior (já que a cor branca representa o infinito), e o fato de que as funções contêm <!--[[:en:Zeros and poles]]-->[[Polo (análise complexa)|zeros ou polos]] simples é aparente pelo fato de que o matiz circula em torno de cada zero ou polo exatamente uma vez. Comparar esses gráficos com aqueles das funções hiperbólicas correspondentes destaca as relações entre os dois.

{| style="text-align:center"
|+ '''Funções trigonométricas no plano complexo'''
|[[Imagem:Trig-sin.png|thumb]]
<math>
\sen z\,
</math>
[[Imagem:Trig-cos.png|thumb]]
<math>
\cos z\,
</math>
|[[Imagem:Trig-tan.png|thumb]]
<math>
\tan z\,
</math>
[[Imagem:Trig-cot.png|thumb]]
<math>
\cot z\,
</math>
|[[Imagem:Trig-sec.png|thumb]]
<math>
\sec z\,
</math>
[[Imagem:Trig-csc.png|thumb]]
<math>
\csc z\,
</math>
|}
|}


Linha 432: Linha 651:
<ref name=klein>{{Cite book |chapter=''Die goniometrischen Funktionen'' |at={{Nobr|Ch. 3.2}}, <!--{{-->pgs<!--|--> 175 ff.<!--}}--> |title=Elementarmathematik vom höheren Standpunkt aus: Arithmetik, Algebra, Analysis|volume=1|author-first=Felix |author-last=Klein |author-link=Felix Klein |date=1924 |orig-year=1902 |edition=''3rd'' |publisher=''J. Springer'' |location=''Berlin'' |language=de |chapter-url=https://books.google.com/books?id=5t8fAAAAIAAJ&pg=PA175 }} Traduzido como {{Cite book|title=Elementary Mathematics from an Advanced Standpoint: Arithmetic, Algebra, Analysis |author-first=Felix |author-last=Klein |author-link=Felix Klein |display-authors=0 |year=1932 |publisher=Macmillan |translator-first1=E. R. |translator-last1=Hedrick |translator-first2=C. A. |translator-last2=Noble |chapter-url=https://archive.org/details/geometryelementa0000feli/page/162/?q=%22ii.+the+goniometric+functions%22 |chapter=The Goniometric Functions |at=Ch. 3.2, <!--{{-->pgs<!--|--> 162 ff.<!--}}--> |language=en}}</ref>
<ref name=klein>{{Cite book |chapter=''Die goniometrischen Funktionen'' |at={{Nobr|Ch. 3.2}}, <!--{{-->pgs<!--|--> 175 ff.<!--}}--> |title=Elementarmathematik vom höheren Standpunkt aus: Arithmetik, Algebra, Analysis|volume=1|author-first=Felix |author-last=Klein |author-link=Felix Klein |date=1924 |orig-year=1902 |edition=''3rd'' |publisher=''J. Springer'' |location=''Berlin'' |language=de |chapter-url=https://books.google.com/books?id=5t8fAAAAIAAJ&pg=PA175 }} Traduzido como {{Cite book|title=Elementary Mathematics from an Advanced Standpoint: Arithmetic, Algebra, Analysis |author-first=Felix |author-last=Klein |author-link=Felix Klein |display-authors=0 |year=1932 |publisher=Macmillan |translator-first1=E. R. |translator-last1=Hedrick |translator-first2=C. A. |translator-last2=Noble |chapter-url=https://archive.org/details/geometryelementa0000feli/page/162/?q=%22ii.+the+goniometric+functions%22 |chapter=The Goniometric Functions |at=Ch. 3.2, <!--{{-->pgs<!--|--> 162 ff.<!--}}--> |language=en}}</ref>
<ref name="Larson_2013">{{Cite book |title=Trigonometry |edition=9th |first1=Ron |last1=Larson |publisher=''Cengage Learning'' |date=2013 |isbn=978-1-285-60718-4 |page=153 |url=https://books.google.com/books?id=zbgWAAAAQBAJ |url-status=live |archive-url=https://web.archive.org/web/20180215144848/https://books.google.com/books?id=zbgWAAAAQBAJ |archive-date=2018-02-15 }} [https://books.google.com/books?id=zbgWAAAAQBAJ&pg=PA153 Extrato da página 153] {{Webarchive|url=https://web.archive.org/web/20180215144848/https://books.google.com/books?id=zbgWAAAAQBAJ&pg=PA153 |date=2018-02-15 }}</ref>
<ref name="Larson_2013">{{Cite book |title=Trigonometry |edition=9th |first1=Ron |last1=Larson |publisher=''Cengage Learning'' |date=2013 |isbn=978-1-285-60718-4 |page=153 |url=https://books.google.com/books?id=zbgWAAAAQBAJ |url-status=live |archive-url=https://web.archive.org/web/20180215144848/https://books.google.com/books?id=zbgWAAAAQBAJ |archive-date=2018-02-15 }} [https://books.google.com/books?id=zbgWAAAAQBAJ&pg=PA153 Extrato da página 153] {{Webarchive|url=https://web.archive.org/web/20180215144848/https://books.google.com/books?id=zbgWAAAAQBAJ&pg=PA153 |date=2018-02-15 }}</ref>
<!--<ref name="Aigner_2000">{{Cite book |author-last1=Aigner |author-first1=Martin |author1-link=Martin Aigner |author-last2=Ziegler |author-first2=Günter M. |author-link2=Günter Ziegler |title=Proofs from THE BOOK |publisher=[[Springer-Verlag]] |edition=Second |date=2000 |isbn=978-3-642-00855-9 |page=149 |url=https://www.springer.com/mathematics/book/978-3-642-00855-9 |url-status=live |archive-url=https://web.archive.org/web/20140308034453/http://www.springer.com/mathematics/book/978-3-642-00855-9 |archive-date=8 March 2014 }}</ref>-->
<ref name="Aigner_2000">{{Cite book |author-last1=Aigner |author-first1=Martin |author1-link=Martin Aigner |author-last2=Ziegler |author-first2=Günter M. |author-link2=Günter Matthias Ziegler |title=Proofs from THE BOOK |publisher=''[[Springer-Verlag]]'' |edition=''2nd'' |date=2000 |isbn=978-3-642-00855-9 |page=149 |url=https://www.springer.com/mathematics/book/978-3-642-00855-9 |url-status=live |archive-url=https://web.archive.org/web/20140308034453/http://www.springer.com/mathematics/book/978-3-642-00855-9 |archive-date=2014-03-08 |language=en}}</ref>
<!--<ref name="Remmert_1991">{{Cite book |title=Theory of complex functions |author-first1=Reinhold |author-last1=Remmert |publisher=''Springer'; |date=1991 |isbn=978-0-387-97195-7 |page=327 |url=https://books.google.com/books?id=CC0dQxtYb6kC |url-status=live |archive-url=https://web.archive.org/web/20150320010718/http://books.google.com/books?id=CC0dQxtYb6kC |archive-date=2015-03-20 |language=en}} [https://books.google.com/books?id=CC0dQxtYb6kC&pg=PA327 Extrato da página 327] {{Webarchive|url=https://web.archive.org/web/20150320010448/http://books.google.com/books?id=CC0dQxtYb6kC&pg=PA327 |date=2015-03-20 }}</ref>-->
<ref name="Remmert_1991">{{Cite book |title=Theory of complex functions |author-first1=Reinhold |author-last1=Remmert |publisher=''Springer'' |date=1991 |isbn=978-0-387-97195-7 |page=327 |url=https://books.google.com/books?id=CC0dQxtYb6kC |url-status=live |archive-url=https://web.archive.org/web/20150320010718/http://books.google.com/books?id=CC0dQxtYb6kC |archive-date=2015-03-20 |language=en}} [https://books.google.com/books?id=CC0dQxtYb6kC&pg=PA327 Extrato da página 327] {{Webarchive|url=https://web.archive.org/web/20150320010448/http://books.google.com/books?id=CC0dQxtYb6kC&pg=PA327 |date=2015-03-20 }}</ref>
<!--<ref name="Kannappan_2009">{{Cite book |author-last=Kannappan |author-first=Palaniappan |title=Functional Equations and Inequalities with Applications |date=2009 |publisher=''Springer'' |isbn=978-0387894911 |language=en}}</ref>-->
<ref name="Kannappan_2009">{{Cite book |author-last=Kannappan |author-first=Palaniappan |title=Functional Equations and Inequalities with Applications |date=2009 |publisher=''Springer'' |isbn=978-0387894911 |language=en}}</ref>
<ref name="Allen_1976">';The Universal Encyclopaedia of Mathematics'', ''Pan Reference Books'', 1976, pp. 529–530. Versão em inglês George Allen e Unwin, 1964. Traduzido da versão alemã Meyers Rechenduden, 1960.</ref>
<ref name="Allen_1976">''The Universal Encyclopaedia of Mathematics'', ''Pan Reference Books'', 1976, pp. 529–530. Versão em inglês George Allen e Unwin, 1964. Traduzido da versão alemã Meyers Rechenduden, 1960.</ref>
<ref name="Farlow_1993">{{Cite book |title=Partial differential equations for scientists and engineers |url=https://books.google.com/books?id=DLUYeSb49eAC&pg=PA82 |author-first=Stanley J. |author-last=Farlow<!--|author-link=:en:Stanley Farlow--> |page=82 |isbn=978-0-486-67620-3 |publisher=''Courier Dover Publications'' |edition=''Reprint of Wiley 1982'' |date=1993 |url-status=live |archive-url=https://web.archive.org/web/20150320011420/http://books.google.com/books?id=DLUYeSb49eAC&pg=PA82 |archive-date=2015-03-20 |language=en }}</ref>
<ref name="Farlow_1993">{{Cite book |title=Partial differential equations for scientists and engineers |url=https://books.google.com/books?id=DLUYeSb49eAC&pg=PA82 |author-first=Stanley J. |author-last=Farlow<!--|author-link=:en:Stanley Farlow--> |page=82 |isbn=978-0-486-67620-3 |publisher=''Courier Dover Publications'' |edition=''Reprint of Wiley 1982'' |date=1993 |url-status=live |archive-url=https://web.archive.org/web/20150320011420/http://books.google.com/books?id=DLUYeSb49eAC&pg=PA82 |archive-date=2015-03-20 |language=en }}</ref>
<ref name="Folland_1992">Ver por exemplo, {{Cite book |author-first=Gerald B. |author-last=Folland |title=Fourier Analysis and its Applications |publisher=''American Mathematical Society'' |edition=''Reprint of Wadsworth & Brooks/Cole'' 1992 |chapter-url=https://books.google.com/books?id=idAomhpwI8MC&pg=PA77 |pages=77ff |chapter=''Convergence and completeness'' |date=2009 |isbn=978-0-8218-4790-9 |url-status=live |archive-url=https://web.archive.org/web/20150319230954/http://books.google.com/books?id=idAomhpwI8MC&pg=PA77 |archive-date=2015-03-19 |language=en}}</ref>
<ref name="Folland_1992">Ver por exemplo, {{Cite book |author-first=Gerald B. |author-last=Folland |title=Fourier Analysis and its Applications |publisher=''American Mathematical Society'' |edition=''Reprint of Wadsworth & Brooks/Cole'' 1992 |chapter-url=https://books.google.com/books?id=idAomhpwI8MC&pg=PA77 |pages=77ff |chapter=''Convergence and completeness'' |date=2009 |isbn=978-0-8218-4790-9 |url-status=live |archive-url=https://web.archive.org/web/20150319230954/http://books.google.com/books?id=idAomhpwI8MC&pg=PA77 |archive-date=2015-03-19 |language=en}}</ref>
Linha 444: Linha 663:
<ref name="Bourbaki_1994">{{Cite book |title=Elements of the History of Mathematics |url=https://archive.org/details/elementsofhistor0000bour |url-access=registro |author-first=Nicolás |author-last=Bourbaki |publisher=''Springer'' |date=1994|isbn=9783540647676 |language=en}}</ref>
<ref name="Bourbaki_1994">{{Cite book |title=Elements of the History of Mathematics |url=https://archive.org/details/elementsofhistor0000bour |url-access=registro |author-first=Nicolás |author-last=Bourbaki |publisher=''Springer'' |date=1994|isbn=9783540647676 |language=en}}</ref>
<ref name="Gunter_1620">{{Cite book |author-first=Edmund |author-last=Gunter |author-link=Edmund Gunter |title=Canon triangulorum |date=1620}}</ref>
<ref name="Gunter_1620">{{Cite book |author-first=Edmund |author-last=Gunter |author-link=Edmund Gunter |title=Canon triangulorum |date=1620}}</ref>
<ref name="Roegel_2010">{{Cite web |title=';A reconstruction of Gunter's Canon triangulorum (1620)'' |editor-first=Denis |editor-last=Roegel |type=Research report |publisher=HAL |date=06-12-2010 |id=inria-00543938 |url=https://hal.inria.fr/inria-00543938/document |access-date=28-07-2017 |url-status=live |archive-url=https://web.archive.org/web/20170728192238/https://hal.inria.fr/inria-00543938/document |archive-date=2017-07-28 |language=en}}</ref>
<ref name="Roegel_2010">{{Cite web |title=''A reconstruction of Gunter's Canon triangulorum (1620)'' |editor-first=Denis |editor-last=Roegel |type=Research report |publisher=HAL |date=06-12-2010 |id=inria-00543938 |url=https://hal.inria.fr/inria-00543938/document |access-date=28-07-2017 |url-status=live |archive-url=https://web.archive.org/web/20170728192238/https://hal.inria.fr/inria-00543938/document |archive-date=2017-07-28 |language=en}}</ref>
<ref name="Plofker_2009">Ver Plofker, <!--[[:en:Mathematics in India (book)|]]-->''Mathematics in India'' (em inglês), ''Princeton University Press'', 2009, p. 257<br>Ver {{Cite web |url=http://www.clarku.edu/~djoyce/trig/ |title=''Clark University'' |url-status=live |archive-url=https://web.archive.org/web/20080615133310/http://www.clarku.edu/~djoyce/trig/ |archive-date=2008-06-15 |language=en}}<br>Ver Maor (1998), capítulo 3, sobre a etimologia.</ref>
<ref name="Plofker_2009">Ver Plofker, <!--[[:en:Mathematics in India (book)|]]-->''Mathematics in India'' (em inglês), ''Princeton University Press'', 2009, p. 257<br>Ver {{Cite web |url=http://www.clarku.edu/~djoyce/trig/ |title=''Clark University'' |url-status=live |archive-url=https://web.archive.org/web/20080615133310/http://www.clarku.edu/~djoyce/trig/ |archive-date=2008-06-15 |language=en}}<br>Ver Maor (1998), capítulo 3, sobre a etimologia.</ref>
}}
}}

Revisão das 18h24min de 11 de dezembro de 2024

Base da trigonometria: se dois triângulos retângulos têm ângulos agudos iguais, eles são semelhantes, então os comprimentos dos seus lados correspondentes são proporcionais.

Na matemática, as funções trigonométricas (também chamadas de funções circulares, funções angulares ou funções goniométricas)[1] são funções reais que relacionam um ângulo de um triângulo retângulo a razões de dois comprimentos laterais. Elas são amplamente utilizadas em todas as ciências relacionadas à geometria, como navegação, mecânica dos sólidos, mecânica celeste, geodésia e muitas outras. Elas estão entre as funções periódicas mais simples e, como tal, também são amplamente utilizadas para estudar fenômenos periódicos por meio da análise de Fourier.

Trigonometria

História
Funções
Funções inversas
Aprofundamento

Referência

Lista de identidades
CORDIC

Teoria euclidiana

Lei dos senos
Lei dos cossenos
Lei das tangentes
Teorema de Pitágoras

Cálculo

Integração trigonométrica
Substituição trigonométrica
Integrais de funções
Diferenciação trigonométrica


As funções trigonométricas mais amplamente usadas na matemática moderna são as funções de seno, de cosseno e de tangente. Suas recíprocas são respectivamente as funções de cossecante, de secante, e de cotangente, que são menos usadas. Cada uma dessas seis funções trigonométricas tem uma função inversa correspondente, e uma análoga entre as funções hiperbólicas.

As definições mais antigas de funções trigonométricas, relacionadas a triângulos retângulos, as definem apenas para ângulos agudos. Para estender as funções de seno e de cosseno para funções cujo domínio é toda a reta real, definições geométricas usando o círculo unitário padrão (ou seja, um círculo com raio de 1 unidade) são frequentemente usadas; então o domínio das outras funções é a reta real com alguns pontos isolados removidos. Definições modernas expressam funções trigonométricas como séries infinitas ou como soluções de equações diferenciais. Isso permite estender o domínio das funções de seno e de cosseno para todo o plano complexo, e o domínio das outras funções trigonométricas para o plano complexo com alguns pontos isolados removidos.

Notação

Convencionalmente, uma abreviação do nome de cada função trigonométrica é usada como seu símbolo em fórmulas. Hoje, as versões mais comuns dessas abreviações são "sen" para seno, "cos" para cosseno, "tan" ou "tg" para tangente, "sec" para secante, "csc" ou "cosec" para cossecante e "cot" ou "ctg" para cotangente. Historicamente, essas abreviações foram usadas pela primeira vez em frases em prosa para indicar segmentos de linha específicos ou seus comprimentos relacionados a um arco de um círculo arbitrário e, mais tarde, para indicar proporções de comprimentos, mas à medida que o conceito de função se desenvolveu nos séculos XVII e XVIII, elas começaram a ser consideradas como funções de medidas de ângulos com valores numéricos reais e escritas com notação funcional, por exemplo, sen(x). Parênteses ainda são frequentemente omitidos para reduzir a desordem, mas às vezes são necessários; por exemplo, a expressão normalmente seria interpretada como então parênteses são necessários para expressar .

Um inteiro positivo aparecendo como um sobrescrito após o símbolo da função denota exponenciação, não composição de função. Por exemplo, e denotam , não . Isso difere da notação funcional geral (historicamente posterior) em que .

No entanto, o expoente é comumente usado para denotar a função inversa, não a recíproca. Por exemplo, e denotam a função trigonométrica inversa escrita alternativamente : A equação implica não . Neste caso, o sobrescrito pode ser considerado como denotando uma função iterada ou composta, mas sobrescritos negativos diferentes de não são de uso comum.

Definições de triângulo retângulo

Neste triângulo retângulo, denotando a medida do ângulo BAC como A: sen A = ac; cos A = bc; tan A = ab.
Gráfico (em inglês) das seis funções trigonométricas, o círculo unitário e uma reta para o ângulo θ = 0,7 radianos. Os pontos rotulados 1, Sec(θ), Csc(θ) representam o comprimento do segmento de reta da origem até aquele ponto. Sin(θ), Tan(θ), e 1 são as alturas da reta começando do eixo x, enquanto Cos(θ), 1, e Cot(θ) são comprimentos ao longo do eixo x começando da origem.

Se o ângulo agudo θ for dado, então quaisquer triângulos retângulos que tenham um ângulo de θ são semelhantes entre si. Isso significa que a razão de quaisquer dois comprimentos laterais depende apenas de θ. Assim, essas seis razões definem seis funções de θ, que são as funções trigonométricas. Nas definições a seguir, a hipotenusa é o comprimento do lado oposto ao ângulo reto, oposto representa o lado oposto ao ângulo θ dado, e adjacente representa o lado entre o ângulo θ e o ângulo reto.[2][3]

seno
cossecante
cosseno
secante
tangente
cotangente

Vários mnemônicos podem ser usados ​​para lembrar essas definições.

Em um triângulo retângulo, a soma dos dois ângulos agudos é um ângulo reto, ou seja, 90° ou ⁠π2 radianos. Portanto, e representam a mesma razão e, portanto, são iguais. Essa identidade e relações análogas entre as outras funções trigonométricas são resumidas na tabela a seguir.

Topo: Função trigonométrica sen θ para ângulos selecionados θ, πθ, π + θ, e 2πθ nos quatro quadrantes.
Embaixo: Gráfico de seno versus ângulo. Ângulos a partir do painel superior são identificados.
Resumo das relações entre funções trigonométricas[4]
Função Descrição Relação
usando radianos usando graus
seno opostohipotenusa
cosseno adjacentehipotenusa
tangente opostoadjacente
cotangente adjacenteoposto
secante hipotenusaadjacente
cossecante hipotenusaoposto

Radianos versus graus

Nas aplicações geométricas, o argumento de uma função trigonométrica é geralmente a medida de um ângulo. Para esse propósito, qualquer unidade angular é conveniente. Uma unidade comum é graus, em que um ângulo reto é 90° e uma volta completa é 360° (particularmente na matemática elementar).

No entanto, no cálculo e na análise matemática, as funções trigonométricas são geralmente consideradas mais abstratamente como funções de números reais ou complexos, em vez de ângulos. De fato, as funções sen e cos podem ser definidas para todos os números complexos em termos da função exponencial, via séries de potências,[5] ou como soluções para equações diferenciais dados valores iniciais particulares[6] (veja abaixo), sem referência a quaisquer noções geométricas. As outras quatro funções trigonométricas (tan, cot, sec, csc) podem ser definidas como quocientes e recíprocas de sen e cos, exceto onde zero ocorre no denominador. Pode ser provado, para argumentos reais, que essas definições coincidem com definições geométricas elementares se o argumento for considerado um ângulo em radianos.[5] Além disso, essas definições resultam em expressões simples para as derivadas e integrais indefinidas para as funções trigonométricas.[7] Assim, nos cenários além da geometria elementar, radianos são considerados a unidade matematicamente natural para descrever medidas de ângulos.

Quando radianos (rad) são empregados, o ângulo é dado como o comprimento do arco do círculo unitário subtendido por ele: o ângulo que subtende um arco de comprimento 1 no círculo unitário é 1 rad (≈ 57,3°), e uma volta completa (360°) é um ângulo de 2π (≈ 6,28) rad. Para o número real x, a notação sen x, cos x, etc. refere-se ao valor das funções trigonométricas avaliadas em um ângulo de x rad. Se unidades de graus forem pretendidas, o sinal de grau deve ser explicitamente mostrado (sen , cos , etc.). Usando essa notação padrão, o argumento x para as funções trigonométricas satisfaz a relação x = (180x/π)°, de modo que, por exemplo, sen π = sen 180° quando tomamos x = π. Dessa forma, o símbolo de grau pode ser considerado uma constante matemática tal que 1° = π/180 ≈ 0,0175.

Definições de círculo unitário

Todas as funções trigonométricas do ângulo θ (teta) podem ser construídas geometricamente em termos de um círculo unitário centrado em O.
Função de seno no círculo unitário (acima) e seu gráfico (abaixo)
Nesta ilustração, as seis funções trigonométricas de um ângulo arbitrário θ são representadas como coordenadas cartesianas de pontos relacionados ao círculo unitário. As ordenadas de A, B e D são sen θ, tan θ e csc θ, respectivamente, enquanto as abscissas de A, C e E são cos θ, cot θ and sec θ, respectivamente.
Sinais de funções trigonométricas em cada quadrante. Mnemônicos como "todos os alunos fazem cálculo" (a partir do inglês, "all students take calculus") indicam quando seno, cosseno e tangente são positivos dos quadrantes I a IV.[8]

As seis funções trigonométricas podem ser definidas como valores de coordenadas de pontos no plano euclidiano que estão relacionados ao círculo unitário, que é o círculo de raio um centrado na origem O deste sistema de coordenadas. Enquanto as definições de triângulo retângulo permitem a definição das funções trigonométricas para ângulos entre 0 e radianos (90°), as definições do círculo unitário permitem que o domínio das funções trigonométricas seja estendido a todos os números reais positivos e negativos.

Seja o raio obtido pela rotação de um ângulo θ da metade positiva do eixo x (rotação anti-horária para , e rotação horária para ). Este raio intercepta o círculo unitário no ponto . O raio , estendido para uma reta se necessário, intercepta a reta da equação no ponto , e a reta da equação no ponto . A reta tangente ao círculo unitário no ponto A, é perpendicular a , e intercepta os eixos y e x nos pontos e . As coordenadas desses pontos fornecem os valores de todas as funções trigonométricas para qualquer valor real arbitrário de θ da seguinte maneira.

As funções trigonométricas de cos e sen são definidas, respectivamente, como os valores das coordenadas x e y do ponto A. Ou seja,

e .[9]

No intervalo , esta definição coincide com a definição do triângulo retângulo, tomando o triângulo retângulo como tendo o raio unitário OA como hipotenusa. E como a equação vale para todos os pontos no círculo unitário, esta definição de cosseno e seno também satisfaz a identidade pitagórica.

As outras funções trigonométricas podem ser encontradas ao longo do círculo unitário como

e ,
e .

Ao aplicar os métodos de identidade pitagórica e de prova geométrica, essas definições podem ser facilmente demonstradas como coincidentes com as definições de tangente, cotangente, secante e cossecante em termos de seno e cosseno, ou seja:

.
Funções trigonométricas: Seno, Cosseno, Tangente, Cossecante (pontilhada), Secante (pontilhada), Cotangente (pontilhada)animação

Como uma rotação de um ângulo de não altera a posição ou o tamanho de uma forma, os pontos A, B, C, D, e E são os mesmos para dois ângulos cuja diferença é um múltiplo inteiro de . Assim, as funções trigonométricas são funções periódicas com período . Ou seja, as igualdades

e

valem para qualquer ângulo θ e qualquer inteiro k. O mesmo é verdade para as outras quatro funções trigonométricas. Observando o sinal e a monotonicidade das funções de seno, cosseno, cossecante e secante nos quatro quadrantes, pode-se mostrar que é o menor valor para o qual elas são periódicas (ou seja, é o período fundamental dessas funções). No entanto, após uma rotação de um ângulo , os pontos B e C já retornam à sua posição original, de modo que a função de tangente e a função de cotangente têm um período fundamental de . Isto é, as igualdades

e

valem para qualquer ângulo θ e qualquer inteiro k.

Valores algébricos

O círculo unitário, com alguns pontos rotulados com seus cossenos e senos (nesta ordem), e os ângulos correspondentes em radianos e graus.

As expressões algébricas para os ângulos mais importantes são as seguintes:

(ângulo zero/nulo)
(ângulo reto)

Escrever os numeradores como raízes quadradas de inteiros não negativos consecutivos, com um denominador de 2, fornece uma maneira fácil de lembrar os valores.[10]

Essas expressões simples geralmente não existem para outros ângulos que são múltiplos racionais de um ângulo reto.

Valores algébricos simples

A tabela a seguir lista os senos, cossenos e tangentes de múltiplos de 15 graus de 0 a 90 graus.

Ângulo, θ, em
radianos graus
[a]
Indefinido

Definições na análise

Gráficos de seno, cosseno e tangente
A função seno (azul) é aproximada por seu polinômio de Taylor de grau 7 (rosa) para um ciclo completo centrado na origem.
Animação para a aproximação do cosseno via polinômios de Taylor.
juntamente com os primeiros polinômios de Taylor

G. H. Hardy observou em seu trabalho de 1908, Um Curso de Matemática Pura, que a definição das funções trigonométricas em termos do círculo unitário não é satisfatória, porque depende implicitamente de uma noção de ângulo que pode ser medida por um número real.[11] Assim, na análise moderna, as funções trigonométricas são geralmente construídas sem referência à geometria.

Existem várias maneiras na literatura para definir as funções trigonométricas de uma maneira adequada para análise; elas incluem:

  • Usando a "geometria" do círculo unitário, que requer a formulação do comprimento do arco de um círculo (ou área de um setor) analiticamente.[11]
  • Por uma série de potências, que é particularmente adequada para variáveis ​​complexas.[11][12]
  • Usando uma expansão de produto infinito.[11]
  • Invertendo as funções trigonométricas inversas, que podem ser definidas como integrais de funções algébricas ou racionais.[11]
  • Como soluções de uma equação diferencial.

Definição por equações diferenciais

Seno e cosseno podem ser definidos como a solução única para o problema do valor inicial:[13]

Diferenciando novamente, e , então tanto seno quanto cosseno são soluções da mesma equação diferencial ordinária

Seno é a solução única com y(0) = 0 e y′(0) = 1; cosseno é a solução única com y(0) = 1 e y′(0) = 0.

Pode-se então provar, como um teorema, que as soluções são periódicas, tendo o mesmo período. Escrever esse período como é então uma definição do número real que é independente da geometria.

Aplicando a regra do quociente à tangente ,

então a função tangente satisfaz a equação diferencial ordinária

É a solução única com y(0) = 0.

Expansão da série de potências

As funções trigonométricas básicas podem ser definidas pelas seguintes expansões de séries de potências.[14] Essas séries também são conhecidas como série de Taylor ou série de Maclaurin dessas funções trigonométricas:

O raio de convergência dessas séries é infinito. Portanto, o seno e o cosseno podem ser estendidos para funções inteiras (também chamadas de "seno" e "cosseno"), que são (por definição) funções de valor complexo que são definidas e holomórficas em todo o plano complexo.

A diferenciação termo a termo mostra que o seno e o cosseno definidos pela série obedecem à equação diferencial discutida anteriormente e, inversamente, pode-se obter essas séries a partir de relações de recursão elementares derivadas da equação diferencial.

Sendo definidas como frações de funções inteiras, as outras funções trigonométricas podem ser estendidas para funções meromórficas, ou seja, funções que são holomórficas em todo o plano complexo, exceto alguns pontos isolados chamados polos. Aqui, os polos são os números da forma para a tangente e a secante, ou para a cotangente e a cossecante, onde k é um inteiro arbitrário.

As relações de recorrência também podem ser computadas para os coeficientes da série de Taylor das outras funções trigonométricas. Essas séries têm um raio de convergência finito. Seus coeficientes têm uma interpretação combinatória: eles enumeram permutações alternadas de conjuntos finitos.[15]

Mais precisamente, definindo

Un, o n-ésimo número para cima/baixo,
Bn, o n-ésimo número de Bernoulli, e
En, é o n-ésimo número de Euler,

temos as seguintes expansões de série: [16]

Expansão de fração contínua

As seguintes frações contínuas são válidas em todo o plano complexo:

A última foi usada na primeira prova histórica de que π é irracional.[17]

Expansão de fração parcial

Há uma representação de série como expansão de fração parcial onde funções recíprocas recém-transladadas são somadas, de modo que os polos da função cotangente e as funções recíprocas correspondem:[18]

Essa identidade pode ser provada com o truque de Herglotz.[19] Combinar o (–n)ésimo com o n-ésimo termo leva a séries absolutamente convergentes:

Da mesma forma, pode-se encontrar uma expansão de fração parcial para as funções secante, cossecante e tangente:

Expansão de produto infinita

O seguinte produto infinito para o seno é devido a Leonhard Euler, e é de grande importância na análise complexa:[20]

Isso pode ser obtido a partir da decomposição de fração parcial de dada acima, que é a derivada logarítmica de .[21] Disto, pode-se deduzir também que

Fórmula de Euler e a função exponencial

e são a parte real e imaginária de respectivamente.

A fórmula de Euler relaciona seno e cosseno à função exponencial:

Esta fórmula é comumente considerada para valores reais de x, mas permanece verdadeira para todos os valores complexos.

Prova: Seja , e . Temos d para j = 1, 2. A regra do quociente implica, portanto, que . Portanto, é uma função constante, que é igual a 1, pois . Isso prova a fórmula.

Temos

Resolvendo este sistema linear em seno e cosseno, pode-se expressá-los em termos da função exponencial:

Quando x é real, isso pode ser reescrito como

A maioria das identidades trigonométricas pode ser provada expressando funções trigonométricas em termos da função exponencial complexa usando as fórmulas acima e, em seguida, usando a identidade para simplificar o resultado.

A fórmula de Euler também pode ser usada para definir a função trigonométrica básica diretamente, como segue, usando a linguagem de grupos topológicos.[22] O conjunto de números complexos de módulo unitário é um grupo topológico compacto e conectado, que tem uma vizinhança da identidade que é homeomórfica à reta real. Portanto, é isomórfico como um grupo topológico ao grupo toro unidimensional , por meio de um isomorfismo Em termos pedestres , e esse isomorfismo é único até a obtenção de conjugados complexos.

Para um número real diferente de zero (a base), a função define um isomorfismo do grupo . As partes real e imaginária de são o cosseno e o seno, onde é usado como base para medir ângulos. Por exemplo, quando , obtemos a medida em radianos e as funções trigonométricas usuais. Quando , obtemos o seno e o cosseno de ângulos medidos em graus.

Note que é o valor único no qual a derivada se torna um vetor unitário com parte imaginária positiva em . Este fato pode, por sua vez, ser usado para definir a constante .

Definição via integração

Outra maneira de definir as funções trigonométricas na análise é usando integração.[11][23] Para um número real , coloque onde isso define esta função tangente inversa. Além disso, é definido por uma definição que remonta a Karl Weierstrass.[24]

No intervalo , as funções trigonométricas são definidas pela inversão da relação . Assim, definimos as funções trigonométricas por onde o ponto está no gráfico de e a raiz quadrada positiva é obtida.

Isso define as funções trigonométricas em . A definição pode ser estendida a todos os números reais observando primeiro que, como , , e então e . Assim, e são estendidos continuamente de modo que . Agora as condições e definem o seno e o cosseno como funções periódicas com período , para todos os números reais.

Comprovando as propriedades básicas do seno e do cosseno, incluindo o fato de que seno e cosseno são analíticos, pode-se primeiro estabelecer as fórmulas de adição. Primeiro, vale, desde que , já que após a substituição . Em particular, o caso limite como Assim, temos e Portanto, as funções seno e cosseno são relacionadas pela translação ao longo de um quarto de período .

Definições usando equações funcionais

Também é possível definir as funções trigonométricas usando várias equações funcionais.

Por exemplo,[25] o seno e o cosseno formam o par único de funções contínuas que satisfazem a fórmula da diferença

e a condição adicionada

No plano complexo

O seno e o cosseno de um número complexo podem ser expressos em termos de funções hiperbólicas, cossenos, e senos reais da seguinte forma:

Tirando vantagem da coloração de domínio, é possível representar graficamente as funções trigonométricas como funções de valor complexo. Vários recursos exclusivos das funções complexas podem ser vistos no gráfico; por exemplo, as funções seno e cosseno podem ser vistas como ilimitadas à medida que a parte imaginária de se torna maior (já que a cor branca representa o infinito), e o fato de que as funções contêm zeros ou polos simples é aparente pelo fato de que o matiz circula em torno de cada zero ou polo exatamente uma vez. Comparar esses gráficos com aqueles das funções hiperbólicas correspondentes destaca as relações entre os dois.

Funções trigonométricas no plano complexo

Periodicidade e assíntotas

As funções de cosseno e de seno são periódicas, com período , que é o menor período positivo: Consequentemente, a secante e a cossecante também têm como seu período. As funções de seno e de cosseno também têm semiperíodos , e: Segue-se, portanto, que bem como outras identidades, como Também temos: A função tem um zero único (em ) na faixa . A função tem o par de zeros no mesmo domínio. Devido à periodicidade, os zeros de seno são: Os zeros de cosseno são: Todos os zeros são zeros simples, e cada função tem derivada em cada um dos zeros.

A função de tangente tem um zero simples em e assíntotas verticais em , onde tem um polo simples de resíduo . Novamente, devido à periodicidade, os zeros são todos os múltiplos inteiros de e os polos são múltiplos ímpares de , todos tendo o mesmo resíduo. Os polos correspondem a assíntotas verticais A função de cotangente tem um polo simples de resíduo 1 nos múltiplos inteiros de e zeros simples nos múltiplos ímpares de . Os polos correspondem às assíntotas verticais

Identidades básicas

Muitas identidades inter-relacionam as funções trigonométricas. Esta seção contém as mais básicas; para mais identidades, veja Lista de identidades trigonométricas. Essas identidades podem ser provadas geometricamente a partir das definições de círculo unitário ou de triângulo retângulo (embora, para as últimas definições, deva-se tomar cuidado com ângulos que não estejam no intervalo [0, π/2], veja Provas de identidades trigonométricas). Para provas não geométricas usando apenas ferramentas de cálculo, pode-se usar diretamente as equações diferenciais, de uma forma semelhante à da prova acima da identidade de Euler. Também se pode usar a identidade de Euler para expressar todas as funções trigonométricas em termos de exponenciais complexos e usar propriedades da função exponencial.

Paridade

O cosseno e a secante são funções pares; as outras funções trigonométricas são funções ímpares. Isto é:

Períodos

Todas as funções trigonométricas são funções periódicas de período 2π. Este é o menor período, exceto para a tangente e a cotangente, que têm π como menor período. Isto significa que, para cada inteiro k, tem-se:

Identidade pitagórica

A identidade de Pitágoras é a expressão do teorema de Pitágoras em termos de funções trigonométricas. É

.

Dividindo por ou resulta

e

.

Fórmulas de soma e diferença

As fórmulas de soma e diferença permitem expandir o seno, o cosseno e a tangente de uma soma ou uma diferença de dois ângulos em termos de senos e cossenos e tangentes dos próprios ângulos. Elas podem ser derivadas geometricamente, usando argumentos que datam de Ptolomeu. Também é possível produzi-las algebricamente usando a fórmula de Euler.

Soma
Diferença

Quando os dois ângulos são iguais, as fórmulas de soma se reduzem a equações mais simples, conhecidas como fórmulas de ângulo duplo.

Essas identidades podem ser usadas para derivar as identidades de produto-soma.

Ao definir , todas as funções trigonométricas de podem ser expressas como frações racionais de :

Junto com

esta é a substituição de meio-ângulo tangente, que reduz o cálculo de integrais e antiderivadas de funções trigonométricas ao de frações racionais.

Derivadas e antiderivadas

As derivadas de funções trigonométricas resultam daquelas de seno e cosseno aplicando a regra do quociente. Os valores dados para as antiderivadas na tabela a seguir podem ser verificados diferenciando-as. O número C é uma constante de integração.

Nota: Para a integral de também pode ser escrita como , e para a integral de para como , onde é o seno hiperbólico inverso.

Alternativamente, as derivadas das 'cofunções' podem ser obtidas usando identidades trigonométricas e a regra de cadeia:

Funções inversas

As funções trigonométricas são periódicas e, portanto, não são injetivas, então, estritamente falando, elas não têm uma função inversa. No entanto, em cada intervalo em que uma função trigonométrica é monotônica, pode-se definir uma função inversa, e isso define funções trigonométricas inversas como funções multivaloradas. Para definir uma função inversa verdadeira, deve-se restringir o domínio a um intervalo em que a função é monotônica e, portanto, é bijetiva desse intervalo para sua imagem pela função. A escolha comum para esse intervalo, chamada de conjunto de valores principais, é dada na tabela a seguir. Como de costume, as funções trigonométricas inversas são denotadas com o prefixo "arc" antes do nome ou sua abreviação da função.

Função Definição Domínio Conjunto de valores principais

As notações sen−1, cos−1, etc. são frequentemente usadas para arcsen e arccos, etc. Quando essa notação é usada, funções inversas podem ser confundidas com inversos multiplicativos. A notação com o prefixo "arc" evita tal confusão, embora "arcsec" para arcossecante possa ser confundido com "arcossegundo" (em inglês).

Assim como o seno e o cosseno, as funções trigonométricas inversas também podem ser expressas em termos de séries infinitas. Elas também podem ser expressas em termos de logaritmos complexos.

Aplicações

Ângulos e lados de um triângulo

Nesta seção A, B, e C denotam os três ângulos (internos) de um triângulo, e a, b, e c denotam os comprimentos das respectivas arestas opostas. Eles são relacionados por várias fórmulas, que são nomeadas pelas funções trigonométricas que envolvem.

Lei dos senos

Ver artigo principal: Lei dos senos

A lei dos senos afirma que para um triângulo arbitrário com lados a, b, e c e ângulos opostos a esses lados A, B e C: onde Δ é a área do triângulo, ou, equivalentemente, onde R é o raio do círculo circunscrito do triângulo.

Pode ser provado dividindo o triângulo em dois retângulos e usando a definição de seno acima. A lei dos senos é útil para calcular os comprimentos dos lados desconhecidos em um triângulo se dois ângulos e um lado são conhecidos. Esta é uma situação comum que ocorre na triangulação, uma técnica para determinar distâncias desconhecidas medindo dois ângulos e uma distância fechada acessível.

Lei dos cossenos

Ver artigo principal: Lei dos cossenos

A lei dos cossenos (também conhecida como fórmula do cosseno ou regra do cosseno) é uma extensão do teorema de Pitágoras: ou equivalentemente, Nesta fórmula, o ângulo em C é oposto ao lado c. Este teorema pode ser provado dividindo o triângulo em dois retângulos e usando o teorema de Pitágoras.

A lei dos cossenos pode ser usada para determinar um lado de um triângulo se dois lados e o ângulo entre eles forem conhecidos. Ele também pode ser usado para encontrar os cossenos de um ângulo (e consequentemente os próprios ângulos) se os comprimentos de todos os lados forem conhecidos.

Lei das tangentes

Ver artigo principal: Lei das tangentes

A lei das tangentes diz que:

Lei das cotangentes

Se s é o semiperímetro do triângulo, (a + b + c)/2, e r é o raio do círculo inscrito do triângulo, então rs é a área do triângulo. Portanto, a fórmula de Heron implica que:

A lei das cotangentes diz que:[26]

Segue-se que

Funções periódicas

Uma curva de Lissajous, uma figura formada com uma função baseada em trigonometria.
Uma animação da síntese aditiva de uma onda quadrada com um número crescente de harmônicos
Funções de base sinusoidais (embaixo) podem formar uma onda dente de serra (em cima) quando adicionadas. Todas as funções de base têm nós nos nós do dente de serra, e todas, exceto a fundamental (k = 1), têm nós adicionais. A oscilação vista sobre o dente de serra quando k é grande é chamada de fenômeno de Gibbs. (em inglês)

As funções trigonométricas também são importantes na física. As funções seno e cosseno, por exemplo, são usadas para descrever o [pmovimento harmônico simples]], que modela muitos fenômenos naturais, como o movimento de uma massa presa a uma mola e, para ângulos pequenos, o movimento pendular de uma massa pendurada por uma corda. As funções seno e cosseno são projeções unidimensionais de movimento circular uniforme.

As funções trigonométricas também se mostram úteis no estudo de funções periódicas gerais. Os padrões de onda característicos de funções periódicas são úteis para modelar fenômenos recorrentes, como ondas sonoras ou luminosas.[27]

Sob condições bastante gerais, uma função periódica f (x) pode ser expressa como uma soma de ondas senoidais ou ondas cosseno em uma série de Fourier.[28] Denotando as funções de base seno ou cosseno por φk, a expansão da função periódica f (t) assume a forma: Por exemplo, a onda quadrada pode ser escrita como a série de Fourier Na animação de uma onda quadrada no canto superior direito, pode-se ver que apenas alguns termos já produzem uma aproximação razoavelmente boa. A superposição de vários termos na expansão de uma onda dente de serra é mostrada abaixo.

História

Ver artigo principal: História da trigonometria

Embora o estudo inicial da trigonometria possa ser rastreado até a antiguidade, as funções trigonométricas como são usadas hoje foram desenvolvidas no período medieval. A função corda foi descoberta por Hiparco de Niceia (180–125 AEC) e Ptolomeu do Egito Romano (90–165 EC). As funções de seno e seno verso (1 – cosseno) podem ser rastreadas até as funções jyā e koti-jyā usadas na astronomia indiana do período Gupta (Āryabhaṭīya, Sūrya Siddhānta), por meio da tradução do sânscrito para o árabe e depois do árabe para o latim.[29]

Todas as seis funções trigonométricas em uso atual eram conhecidas na matemática islâmica no século IX, assim como a lei dos senos, usada na resolução de triângulos.[30] Com exceção do seno (que foi adotado da matemática indiana), as outras cinco funções trigonométricas modernas foram descobertas por matemáticos persas e árabes, incluindo o cosseno, a tangente, a cotangente, a secante e a cossecante.[30] al-Khwārizmī (c. 780–850) produziu tabelas de senos, cossenos e tangentes. Por volta de 830, Habash al-Hasib al-Marwazi descobriu a cotangente e produziu tabelas de tangentes e cotangentes.[31][32] Muḥammad ibn Jābir al-Ḥarrānī al-Battānī (853–929) descobriu as funções recíprocas de secante e cossecante e produziu a primeira tabela de cossecantes para cada grau de 1° a 90°.[32] As funções trigonométricas foram posteriormente estudadas por matemáticos, incluindo Omar Caiam, Bhaskara II, Naceradim de Tus, Alcaxi (século XIV), Ulugue Begue (século XIV), Regiomontanus (1464), Rheticus e o aluno de Rheticus, Valentinus Otho.

Madhava de Sangamagrama (c. 1400) fez avanços iniciais na análise de funções trigonométricas em termos de séries infinitas.[33] (Veja tabela de senos de Mādhava.)

A função tangente foi trazida para a Europa por Giovanni Bianchini em 1467 em tabelas de trigonometria que ele criou para dar suporte ao cálculo de coordenadas estelares.[34]

Os termos tangente e secante foram introduzidos pela primeira vez pelo matemático dinamarquês Thomas Fincke em seu livro Geometria rotundi (1583).[35]

O matemático francês do século XVII Albert Girard fez o primeiro uso publicado das abreviações sen, cos e tan em seu livro Trigonométrie.[36]

Em um artigo publicado em 1682, Gottfried Leibniz provou que sen x não é uma função algébrica de x.[37] Embora introduzido como razões de lados de um triângulo retângulo, e assim parecendo ser funções racionais, o resultado de Leibniz estabeleceu que elas são na verdade funções transcendentais de seu argumento. A tarefa de assimilar funções circulares em expressões algébricas foi realizada por Euler em sua Introdução à Análise do Infinito (1748). Seu método era mostrar que as funções seno e cosseno são séries alternadas formadas a partir dos termos pares e ímpares, respectivamente, da série exponencial. Ele apresentou a "fórmula de Euler", bem como abreviações quase modernas (sen., cos., tang., cot., sec., e cosec.).[29]

Algumas funções eram comuns historicamente, mas agora são raramente usadas, como a corda, o seno verso (que apareceu nas primeiras tabelas[29]), o seno coverso, o seno semiverso,[38] a secante externa, a cossecante externa, o cosseno verso e o cosseno coverso. A lista de identidades trigonométricas mostra mais relações entre essas funções.

Historicamente, as funções trigonométricas eram frequentemente combinadas com logaritmos em funções compostas como o seno logarítmico, o cosseno logarítmico, a secante logarítmica, a cossecante logarítmica, a tangente logarítmica e a cotangente logarítmica.[39][40][41][42]

Etimologia

A palavra sine deriva[43] do latim sinus, que significa "curvatura; baía", e mais especificamente "a dobra pendurada da parte superior de uma toga", "o seio de uma vestimenta", que foi escolhida como a tradução do que foi interpretado como a palavra árabe jaib, que significa "bolso" ou "dobra" nas traduções do século XII das obras de al-Battānī e al-Khwārizmī para o latim medieval.[44] A escolha foi baseada em uma leitura errada da forma escrita árabe j-y-b (جيب), que se originou como uma transliteração do sânscrito jīvā, que junto com seu sinônimo jyā (o termo sânscrito padrão para o seno) se traduz como "corda de arco", sendo por sua vez adotado do grego antigo χορδή "corda".[45]

A palavra tangente vem do latim tangens que significa "tocar", já que a linha toca o círculo de raio unitário, enquanto secante deriva do latim secans — "cortar" — já que a linha corta o círculo.[46]

O prefixo "co-" (em "cosseno", "cotangente", "cossecante") é encontrado em Canon triangulorum de Edmund Gunter (1620), que define o cosinus como uma abreviação para sinus complementi (seno do ângulo complementar) e prossegue para definir cotangens de forma semelhante.[47][48]

Ver também

Nota

  1. Também igual a

Referências

  1. Klein, Felix (1924) [1902]. «Die goniometrischen Funktionen». Elementarmathematik vom höheren Standpunkt aus: Arithmetik, Algebra, Analysis (em alemão). 1 3rd ed. Berlin: J. Springer. Ch. 3.2, pgs 175 ff.  Traduzido como «The Goniometric Functions». Elementary Mathematics from an Advanced Standpoint: Arithmetic, Algebra, Analysis (em inglês). Traduzido por Hedrick, E. R.; Noble, C. A. [S.l.]: Macmillan. 1932. Ch. 3.2, pgs 162 ff. 
  2. Protter & Morrey (1970, pp. APP-2, APP-3)
  3. «Sine, Cosine, Tangent». www.mathsisfun.com (em inglês). Consultado em 29 de agosto de 2020 
  4. Protter & Morrey (1970, p. APP-7)
  5. a b Rudin, Walter, 1921–2010. Principles of mathematical analysis (em rundi) Third ed. New York: [s.n.] ISBN 0-07-054235-X. OCLC 1502474 
  6. Diamond, Harvey (2014). «Defining Exponential and Trigonometric Functions Using Differential Equations». Mathematics Magazine (em inglês). 87 (1): 37–42. ISSN 0025-570X. doi:10.4169/math.mag.87.1.37 
  7. Spivak, Michael (1967). «15». Calculus (em inglês). [S.l.]: Addison-Wesley. pp. 256–257. LCCN 67-20770 
  8. Stueben, Michael; Sandford, Diane (1998). Twenty years before the blackboard: the lessons and humor of a mathematics teacher. Col: Spectrum series. Washington, DC: Mathematical Association of America. p. 119. ISBN 978-0-88385-525-6 
  9. Bityutskov, V.I. (7 de fevereiro de 2011). «Trigonometric Functions». Encyclopedia of Mathematics (em inglês). Consultado em 29 de dezembro de 2017. Cópia arquivada em 29 de dezembro de 2017 
  10. Larson, Ron (2013). Trigonometry 9th ed. [S.l.]: Cengage Learning. p. 153. ISBN 978-1-285-60718-4. Cópia arquivada em 15 de fevereiro de 2018  Extrato da página 153 Arquivado em 2018-02-15 no Wayback Machine
  11. a b c d e f Hardy, G.H. (1950), A course of pure mathematics (em inglês) 8th ed. , pp. 432–438 
  12. Whittaker, E. T., & Watson, G. N. (1920). A course of modern analysis: an introduction to the general theory of infinite processes and of analytic functions; with an account of the principal transcendental functions (em inglês), University Press.
  13. Bartle & Sherbert 1999, p. 247.
  14. Whitaker & Watson, p. 584
  15. Stanley, Enumerative Combinatorics (em inglês), Volume I., p. 149
  16. Abramowitz; Weisstein.
  17. Lambert, Johann Heinrich (2004) [1768], «Mémoire sur quelques propriétés remarquables des quantités transcendantes circulaires et logarithmiques», in: Berggren, Lennart; Borwein, Jonathan M.; Borwein, Peter B., Pi, a source book, ISBN 0-387-20571-3 (em inglês) 3rd ed. , New York: Springer-Verlag, pp. 129–140 
  18. Aigner, Martin; Ziegler, Günter M. (2000). Proofs from THE BOOK (em inglês) 2nd ed. [S.l.]: Springer-Verlag. p. 149. ISBN 978-3-642-00855-9. Cópia arquivada em 8 de março de 2014 
  19. Remmert, Reinhold (1991). Theory of complex functions (em inglês). [S.l.]: Springer. p. 327. ISBN 978-0-387-97195-7. Cópia arquivada em 20 de março de 2015  Extrato da página 327 Arquivado em 2015-03-20 no Wayback Machine
  20. Whittaker e Watson, p. 137
  21. Ahlfors, p. 197
  22. Bourbaki, Nicolas (1981). Topologie generale (em inglês). [S.l.]: Springer. §VIII.2 
  23. Bartle (1964), Elements of real analysis (em inglês), pp. 315–316 
  24. Weierstrass, Karl (1841). «Darstellung einer analytischen Function einer complexen Veränderlichen, deren absoluter Betrag zwischen zwei gegebenen Grenzen liegt» [Representation of an analytical function of a complex variable, whose absolute value lies between two given limits]. Mathematische Werke (em alemão). 1. Berlin: Mayer & Müller (publicado em 1894). pp. 51–66 
  25. Kannappan, Palaniappan (2009). Functional Equations and Inequalities with Applications (em inglês). [S.l.]: Springer. ISBN 978-0387894911 
  26. The Universal Encyclopaedia of Mathematics, Pan Reference Books, 1976, pp. 529–530. Versão em inglês George Allen e Unwin, 1964. Traduzido da versão alemã Meyers Rechenduden, 1960.
  27. Farlow, Stanley J. (1993). Partial differential equations for scientists and engineers (em inglês) Reprint of Wiley 1982 ed. [S.l.]: Courier Dover Publications. p. 82. ISBN 978-0-486-67620-3. Cópia arquivada em 20 de março de 2015 
  28. Ver por exemplo, Folland, Gerald B. (2009). «Convergence and completeness». Fourier Analysis and its Applications (em inglês) Reprint of Wadsworth & Brooks/Cole 1992 ed. [S.l.]: American Mathematical Society. pp. 77ff. ISBN 978-0-8218-4790-9. Cópia arquivada em 19 de março de 2015 
  29. a b c Boyer, Carl B. (1991). A History of Mathematics (em inglês) (2nd ed.). John Wiley & Sons, Inc. ISBN 0-471-54397-7, p. 210.
  30. a b Gingerich, Owen (1986). «Islamic Astronomy». Scientific American (em inglês). 254. p. 74. Consultado em 13 de julho de 2010. Cópia arquivada em 19 de outubro de 2013 
  31. Jacques Sesiano, "Islamic mathematics", p. 157, em Selin, Helaine; D'Ambrosio, Ubiratan, eds. (2000). Mathematics Across Cultures: The History of Non-western Mathematics (em inglês). [S.l.]: Springer Science+Business Media. ISBN 978-1-4020-0260-1 
  32. a b «trigonometry» (em inglês). Encyclopedia Britannica. 17 de novembro de 2023 
  33. O'Connor, J. J.; Robertson, E. F. «Madhava of Sangamagrama» (em inglês). School of Mathematics and Statistics University of St Andrews, Scotland. Consultado em 8 de setembro de 2007. Arquivado do original em 14 de maio de 2006 
  34. Van Brummelen, Glen (2018). «The end of an error: Bianchini, Regiomontanus, and the tabulation of stellar coordinates». Archive for History of Exact Sciences (em inglês). 72 (5): 547–563. JSTOR 45211959. doi:10.1007/s00407-018-0214-2 
  35. «Fincke biography» (em inglês). Consultado em 15 de março de 2017. Cópia arquivada em 7 de janeiro de 2017 
  36. O'Connor, John J.; Robertson, Edmund F., «Função trigonométrica», MacTutor History of Mathematics archive (em inglês), Universidade de St. Andrews 
  37. Bourbaki, Nicolás (1994). Elements of the History of MathematicsRegisto grátis requerido (em inglês). [S.l.]: Springer. ISBN 9783540647676 
  38. Nielsen (1966, pp. xxiii–xxiv)
  39. von Hammer, Ernst Hermann Heinrich, ed. (1897). Lehrbuch der ebenen und sphärischen Trigonometrie. Zum Gebrauch bei Selbstunterricht und in Schulen, besonders als Vorbereitung auf Geodäsie und sphärische Astronomie (em alemão) 2 ed. Stuttgart, Germany: J. B. Metzlerscher Verlag. Consultado em 6 de fevereiro de 2024 
  40. Heß, Adolf (1926). Trigonometrie für Maschinenbauer und Elektrotechniker - Ein Lehr- und Aufgabenbuch für den Unterricht und zum Selbststudium (em alemão) 6 ed. Winterthur, Switzerland: Springer. ISBN 978-3-662-35755-2. doi:10.1007/978-3-662-36585-4  Parâmetro desconhecido |orig-date= ignorado (ajuda)
  41. Lötzbeyer, Philipp (1950). «§ 14. Erläuterungen u. Beispiele zu T. 13: lg sin X; lg cos X und T. 14: lg tg x; lg ctg X». Erläuterungen und Beispiele für den Gebrauch der vierstelligen Tafeln zum praktischen Rechnen (em alemão) 1 ed. Berlin, Germany: Walter de Gruyter & Co.. ISBN 978-3-11114038-4. doi:10.1515/9783111507545. Archive ID 541650. Consultado em 6 de fevereiro de 2024 
  42. Roegel, Denis, ed. (30 de agosto de 2016). A reconstruction of Peters's table of 7-place logarithms (volume 2, 1940) (em inglês). Vandoeuvre-lès-Nancy, France: Université de Lorraine. hal-01357842. Consultado em 6 de fevereiro de 2024. Cópia arquivada em 6 de fevereiro de 2024 
  43. A forma anglicizada foi registrada pela primeira vez em 1593 em Horologiographia, the Art of Dialling de Thomas Fale.
  44. Várias fontes atribuem o primeiro uso de sinus à:
    • tradução de Platão Tiburtino de 1116 de Astronomia de al-Battānī;
    • tradução de Gerardo de Cremona de Álgebra de al-Khwārizmī;
    • tradução de Robert de Chester de 1145 das tabelas de al-Khwārizmī.
    Ver Merlet, A Note on the History of the Trigonometric Functions (em inglês) em Ceccarelli (ed.), International Symposium on History of Machines and Mechanisms (em inglês), Springer, 2004
    Ver Maor (1998), capítulo 3, para uma etimologia anterior creditando Gerard.
    Ver Katx, Victor (julho de 2008). A history of mathematics (em inglês) 3rd ed. Boston: Pearson. p. 210 (barra lateral). ISBN 978-0321387004 
  45. Ver Plofker, Mathematics in India (em inglês), Princeton University Press, 2009, p. 257
    Ver «Clark University» (em inglês). Cópia arquivada em 15 de junho de 2008 
    Ver Maor (1998), capítulo 3, sobre a etimologia.
  46. Oxford English Dictionary
  47. Gunter, Edmund (1620). Canon triangulorum. [S.l.: s.n.] 
  48. Roegel, Denis, ed. (6 de dezembro de 2010). «A reconstruction of Gunter's Canon triangulorum (1620)» (Research report) (em inglês). HAL. inria-00543938. Consultado em 28 de julho de 2017. Cópia arquivada em 28 de julho de 2017 

Ligações externas

Wikilivros
Wikilivros
O Wikilivros tem um livro chamado Trigonometria