Função trigonométrica
Na matemática, as funções trigonométricas 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.
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 sen x + y {\displaystyle \operatorname {sen} x+y} normalmente seria interpretada como ( sen x ) + y , {\displaystyle (\operatorname {sen} x)+y,} então parênteses são necessários para expressar sen ( x + y ) {\displaystyle \operatorname {sen}(x+y)} .
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. 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, sen ( θ ) {\displaystyle \operatorname {sen}(\theta )} e cos ( 90 ∘ − θ ) {\displaystyle \cos(90^{\circ }-\theta )} 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.
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, ou como soluções para equações diferenciais dados valores iniciais particulares (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. Além disso, essas definições resultam em expressões simples para as derivadas e integrais indefinidas para as funções trigonométricas. Assim, nos cenários além da geometria elementar, radianos são considerados a unidade matematicamente natural para descrever medidas de ângulos.
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 π 2 {\textstyle {\frac {\pi }{2}}} 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 L {\displaystyle {\mathcal {L}}} o raio obtido pela rotação de um ângulo θ da metade positiva do eixo x (rotação anti-horária para θ > 0 {\displaystyle \theta >0} , e rotação horária para θ < 0 {\displaystyle \theta <0} ). Este raio intercepta o círculo unitário no ponto A = ( x A , y A ) {\displaystyle \mathrm {A} =(x_{\mathrm {A} },y_{\mathrm {A} })} . O raio L {\displaystyle {\mathcal {L}}} , estendido para uma reta se necessário, intercepta a reta da equação x = 1 {\displaystyle x=1} no ponto B = ( 1 , y B ) {\displaystyle \mathrm {B} =(1,y_{\mathrm {B} })} , e a reta da equação y = 1 {\displaystyle y=1} no ponto C = ( x C , 1 ) {\displaystyle \mathrm {C} =(x_{\mathrm {C} },1)} . A reta tangente ao círculo unitário no ponto A, é perpendicular a L {\displaystyle {\mathcal {L}}} , e intercepta os eixos y e x nos pontos D = ( 0 , y D ) {\displaystyle \mathrm {D} =(0,y_{\mathrm {D} })} e E = ( x E , 0 ) {\displaystyle \mathrm {E} =(x_{\mathrm {E} },0)} . 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 expressões algébricas para os ângulos mais importantes são as seguintes: 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. 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.
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. 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: Outra maneira de definir as funções trigonométricas na análise é usando integração. Para um número real t {\displaystyle t} , coloque θ ( t ) = ∫ 0 t d τ 1 + τ 2 = arctan t {\displaystyle \theta (t)=\int _{0}^{t}{\frac {d\tau }{1+\tau ^{2}}}=\arctan t} onde isso define esta função tangente inversa. Além disso, π {\displaystyle \pi } é definido por 1 2 π = ∫ 0 ∞ d τ 1 + τ 2 {\displaystyle {\frac {1}{2}}\pi =\int _{0}^{\infty }{\frac {d\tau }{1+\tau ^{2}}}} uma definição que remonta a Karl Weierstrass.
Definição por equações diferenciais
Seno e cosseno podem ser definidos como a solução única para o problema do valor inicial: Diferenciando novamente, d 2 d x 2 sen x = d d x cos x = − sen x {\textstyle {\frac {d^{2}}{dx^{2}}}\operatorname {sen} x={\frac {d}{dx}}\cos x=-\operatorname {sen} x} e d 2 d x 2 cos x = − d d x sen x = − cos x {\textstyle {\frac {d^{2}}{dx^{2}}}\cos x=-{\frac {d}{dx}}\operatorname {sen} x=-\cos x} , 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 cos , sen {\displaystyle \cos ,\operatorname {sen} } são periódicas, tendo o mesmo período. Escrever esse período como 2 π {\displaystyle 2\pi } é então uma definição do número real π {\displaystyle \pi } que é independente da geometria.
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. 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.
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.
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: Essa identidade pode ser provada com o truque de Herglotz. 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: Isso pode ser obtido a partir da decomposição de fração parcial de cot z {\displaystyle \cot z} dada acima, que é a derivada logarítmica de sen z {\displaystyle \operatorname {sen} z} . Disto, pode-se deduzir também que
Fórmula de Euler e a função exponencial
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 f 1 ( x ) = cos x + i sen x {\displaystyle f_{1}(x)=\cos x+i\operatorname {sen} x} , e f 2 ( x ) = e i x {\displaystyle f_{2}(x)=e^{ix}} . Temos d d f j ( x ) / d x = i f j ( x ) {\displaystyle df_{j}(x)/dx=if_{j}(x)} para j = 1, 2. A regra do quociente implica, portanto, que d / d x ( f 1 ( x ) / f 2 ( x ) ) = 0 {\displaystyle d/dx\,(f_{1}(x)/f_{2}(x))=0} . Portanto, f 1 ( x ) / f 2 ( x ) {\displaystyle f_{1}(x)/f_{2}(x)} é uma função constante, que é igual a 1, pois f 1 ( 0 ) = f 2 ( 0 ) = 1 {\displaystyle f_{1}(0)=f_{2}(0)=1} . Isso prova a fórmula.
As funções de seno e de cosseno são periódicas, com período 2 π {\displaystyle 2\pi } , que é o menor período positivo: sen ( z + 2 π ) = sen ( z ) , cos ( z + 2 π ) = cos ( z ) {\displaystyle \operatorname {sen}(z+2\pi )=\operatorname {sen}(z),\quad \cos(z+2\pi )=\cos(z)} Consequentemente, a secante e a cossecante também têm 2 π {\displaystyle 2\pi } como seu período. As funções de seno e de cosseno também têm semiperíodos π {\displaystyle \pi } , e: sen ( z + π ) = − sen ( z ) , cos ( z + π ) = − cos ( z ) {\displaystyle \operatorname {sen}(z+\pi )=-\operatorname {sen}(z),\quad \cos(z+\pi )=-\cos(z)} e consequentemente tan ( z + π ) = tan ( z ) , cot ( z + π ) = cot ( z ) {\displaystyle \tan(z+\pi )=\tan(z),\quad \cot(z+\pi )=\cot(z)} Além disso, sen ( x + π / 2 ) = cos ( x ) , cos ( x + π / 2 ) = − sen ( x ) {\displaystyle \operatorname {sen}(x+\pi /2)=\cos(x),\quad \cos(x+\pi /2)=-\operatorname {sen}(x)} A função sen ( z ) {\displaystyle \operatorname {sen}(z)} tem um zero único (em z = 0 {\displaystyle z=0} ) na faixa − π < ℜ ( z ) < π {\displaystyle -\pi <\Re (z)<\pi } . A função cos ( z ) {\displaystyle \cos(z)} tem o par de zeros z = ± π / 2 {\displaystyle z=\pm \pi /2} na mesma faixa. Devido à periodicidade, os zeros de seno são: π Z = { … , − 2 π , − π , 0 , π , 2 π , … } ⊂ C {\displaystyle \pi \mathbb {Z} =\left\{\dots ,-2\pi ,-\pi ,0,\pi ,2\pi ,\dots \right\}\subset \mathbb {C} } Os zeros de cosseno são: π 2 + π Z = { … , − 3 π 2 , − π 2 , π 2 , 3 π 2 , … } ⊂ C {\displaystyle {\frac {\pi }{2}}+\pi \mathbb {Z} =\left\{\dots ,-{\frac {3\pi }{2}},-{\frac {\pi }{2}},{\frac {\pi }{2}},{\frac {3\pi }{2}},\dots \right\}\subset \mathbb {C} } Todos os zeros são zeros simples, e ambas as funções têm derivada ± 1 {\displaystyle \pm 1} em cada um dos zeros.
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.
O cosseno e a secante são funções pares; as outras funções trigonométricas são funções ímpares. Isto é:
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 cos 2 x {\displaystyle \cos ^{2}x} ou sen 2 x {\displaystyle \operatorname {sen} ^{2}x} resulta
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. 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 t = tan 1 2 θ {\displaystyle t=\tan {\tfrac {1}{2}}\theta } (ver fórmulas de meio-ângulo), todas as funções trigonométricas de θ {\displaystyle \theta } podem ser expressas como frações racionais de t {\displaystyle t} :
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 0 < x < π {\displaystyle 0<x<\pi } a integral de csc x {\displaystyle \csc x} também pode ser escrita como − arsenh ( cot x ) {\displaystyle -\operatorname {arsenh} (\cot x)} , e a integral de sec x {\displaystyle \sec x} para − π / 2 < x < π / 2 {\displaystyle -\pi /2<x<\pi /2} como arsenh ( tan x ) {\displaystyle \operatorname {arsenh} (\tan x)} , onde arsenh {\displaystyle \operatorname {arsenh} } é o seno hiperbólico inverso.


