Saltar ao contido

Funcións trigonométricas inversas

Na Galipedia, a Wikipedia en galego.

En matemáticas, as funcións trigonométricas inversas (tamén chamadas funcións arco[1]) son as funcións inversas das funcións trigonométricas, baixo dominios debidamente restrinxidos. Concretamente, son as inversas das funcións seno, coseno, tanxente, cotanxente, secante e cosecante,[2] e úsanse para obter un ángulo a partir de calquera das razóns trigonométricas do ángulo. As funcións trigonométricas inversas úsanse amplamente en enxeñaría, navegación, física e xeometría.

Notación

[editar | editar a fonte]
Para unha circunferencia de raio 1, arcsin e arccos son as lonxitudes dos arcos reais determinadas polas cantidades en cuestión.
Véxase tamén: Funcións trigonométricas.

Existen varias notacións para as funcións trigonométricas inversas. A convención máis común é nomear as funcións trigonométricas inversas mediante un prefixo de arco (arc): arcsin(x), arccos(x), arctan(x), etc.[3] (Esta convención úsase ao longo deste artigo).

Esta notación xorde das seguintes relacións xeométricas: ao medir en radiáns, un ángulo de θ radiáns corresponderá a un arco cuxa lonxitude é , onde r é o raio da circunferencia. Así, na función da circunferencia goniométrica, o coseno de x é tanto o arco como o ángulo, porque o arco dunha circunferencia de raio 1 é o mesmo que o ángulo. Ou, "o arco cuxo coseno é x" é o mesmo que "o ángulo cuxo coseno é x", porque a lonxitude do arco da circunferencia en raios é a mesma que a medida do ángulo en radiáns.[4]

Nas linguaxes de programación de ordenadores, as funcións trigonométricas inversas denomínanse frecuentemente polas formas abreviadas .[5]

As notacións , etc., introducidas por John Herschel en 1813, [6][7]utilízanse a miúdo,[3] que é útil (por exemplo) para definir o multivalor de cada función trigonométrica:

Isto pode parecer entrar en conflito loxicamente coa semántica común para expresións como sin2(x) ou sin2 x, que se refiren á potencia numérica e non á composición de funcións e, polo tanto, pode producir confusión entre a notación para o recíproco (inverso multiplicativo) e a función inversa.

Polo tanto, desde 2009, o estándar ISO 80000-2 especificou unicamente o prefixo "arc" para as funcións inversas.

Conceptos básicos

[editar | editar a fonte]
Os puntos etiquetados como 1, Sec(θ), Csc(θ) representan a lonxitude do segmento de liña desde a orixe ata ese punto. Sin(θ), Tan(θ) e 1 son as alturas da liña que comeza no eixo x, mentres que Cos(θ), 1 e Cot(θ) son lonxitudes ao longo do eixo x que comezan desde a orixe.

Valores principais

[editar | editar a fonte]

Dado que ningunha das seis funcións trigonométricas é un a un, deben estar restrinxidas para ter funcións inversas. Polo tanto, o rango de resultados das funcións inversas son subconxuntos dos dominios das funcións orixinais.

Por exemplo, empregando función no sentido de funcións multivaloradas, do mesmo xeito que a función raíz cadrada podería definirse a partir de , a función defínese de xeito que

Para un número real dado con hai múltiples (de feito, infinitos numerábeis moitos) números tal que ; por exemplo, mais tamén etc. Cando só se desexa un valor, a función pode restrinxirse á súa rama principal. Con esta restrición, para cada do dominio, a expresión hase avaliar só a un único valor, chamado valor principal. Estas propiedades aplícanse a todas as funcións trigonométricas inversas.

As principais inversas están listadas na seguinte táboa.

Nome Notación habitual Definición Dominio de x para un resultado real Intervalo do valor principal habitual
(radiáns)
Intervalo do valor principal habitual
(graos)
arco seno y = arcsin(x) x = sin(y) −1 ≤ x ≤ 1 π/2yπ/2 −90° ≤ y ≤ 90°
arco coseno y = arccos(x) x = cos(y) −1 ≤ x ≤ 1 0 ≤ y ≤ π 0° ≤ y ≤ 180°
arco tanxente y = arctan(x) x = tan(y) todos os números reais π/2 < y < π/2 −90° < y < 90°
arco cotanxente y = arccot(x) x = cot(y) todos os números reais 0 < y < π 0° < y < 180°
arco secante y = arcsec(x) x = sec(y) |x| ≥ 1 0 ≤ y < π/2 ou π/2 < y ≤ π 0° ≤ y < 90° ou 90° < y ≤ 180°
arco cosecante y = arccsc(x) x = csc(y) |x| ≥ 1 π/2y < 0 ou 0 < yπ/2 −90° ≤ y < 0 ou 0° < y ≤ 90°

Se se permite que x sexa un número complexo, entón o intervalo de y aplícase só á súa parte real.

Solucións de ecuacións trigonométricas elementais

[editar | editar a fonte]

Cada unha das funcións trigonométricas é periódica na parte real do seu argumento, percorrendo todos os seus valores dúas veces en cada intervalo de :

  • O seno e a cosecante comezan o seu período en (onde é un número enteiro), rematan en e teñen os opostos entre a
  • O coseno e a secante comezan o seu período en rematan en E teñen os opostos en ata
  • A tanxente comeza o seu período en remata en e despois repíteo entre ata
  • A cotanxente comeza o seu período en remata en e despois repíteo entre e

Esta periodicidade reflítese nos inversos en xeral, onde é algún número enteiro.

A seguinte táboa mostra como se poden usar as funcións trigonométricas inversas para resolver igualdades que inclúen as seis funcións trigonométricas estándar. Suponse que os valores dados e atópanse todos dentro de intervalos apropiados para que as expresións relevantes a continuación estean ben definidas. Teña en conta que "para algúns " é só outra forma de dicir "para algúns números enteiros ".

O símbolo é a igualdade lógica e indica que se o lado esquerdo é verdadeiro, entón tamén o é o lado dereito e, pola contra, se o lado dereito é verdadeiro, o lado esquerdo tamén o é.

Ecuación se e só se Solución
for some
for some
for some
for some
for some
for some


Por exemplo, se entón para algúns Mentres que se entón para algúns onde será par se e será impar se As ecuacións e teñen as mesmas solucións que e respectivamente.

En todas as ecuacións anteriores agás as que se acaban de resolver (é dicir, agás / e /), o enteiro na fórmula está únicamente determinado por (para e fixos).

Transformando ecuacións

[editar | editar a fonte]

As ecuacións anteriores pódense transformar usando as identidades de reflexión e desprazamento:[8]

Transforming equations by shifts and reflections
Argument:

Estas fórmulas implican, en particular, que se cumpre o seguinte:

onde trocando trocando e trocando dá as ecuacións análogas para respectivamente.

Así, por exemplo, usando a igualdade a ecuación pódese transformar en o que permite usar a solución da ecuación (onde ); esa solución é: que pasa a ser:

onde úsase o feito de que e substituíndo demostra que outra solución a é:

A substitución pódese usar expresando o lado dereito da fórmula anterior en termos de en lugar de

Relacións entre funcións trigonométricas e funcións trigonométricas inversas

[editar | editar a fonte]

As funcións trigonométricas das funcións trigonométricas inversas están tabuladas a continuación. Unha forma rápida de derivalas é considerando a xeometría dun triángulo rectángulo, cun lado de lonxitude 1 e outro lado de lonxitude , despois aplicando o Teorema de Pitágoras e as definicións das razóns trigonométricas.

Paga a pena notar que para arco secante e arco cosecante, o diagrama asume que é positivo e, polo tanto, o resultado ten que ser corrixido mediante o uso de valor absoluto e a operación signo (sgn).

Diagrama

Relacións entre as funcións trigonométricas inversas

[editar | editar a fonte]
Os valores principais habituais das funcións arcsin(x) (vermello) e arccos(x) (azul) representados no plano cartesiano.
Os valores principais habituais das funcións arctan(x) e arccot(x) representadas gráficamente no plano cartesiano.
Valores principais das funcións arcsec(x) e arccsc(x) representadas gráficamente no plano cartesiano.

Ángulos complementarios:

Argumentos negativos:

Argumentos recíprocos:

As identidades anteriores pódense usar polo feito de e seren recíprocas (é dicir, ), como o son e e e .

Identidades útiles se só se ten un fragmento dunha táboa seno:

Sempre que aquí se usa a raíz cadrada dun número complexo, escollemos a raíz coa parte real positiva (ou a parte imaxinaria positiva se o cadrado fose real negativo).

Unha forma útil que se desprende directamente da táboa anterior é

.

Obtense ao recoñecer que .


Da fórmula do ángulo metade, , obtemos:

.

Fórmula de adición arctanxente

[editar | editar a fonte]

Isto derívase da fórmula da suma de ángulos da tanxente

sendo

En cálculo

[editar | editar a fonte]

Derivadas de funcións trigonométricas inversas

[editar | editar a fonte]

As derivadas para valores complexos de z son as seguintes:

Só para valores reais de x:

Só para valores reais de x:

Estas fórmulas pódense obter en función das derivadas das funcións trigonométricas. Por exemplo, se , logo e por tanto

Expresión como integrais definidas

[editar | editar a fonte]

Integrando a derivada e fixando o valor nun punto dáse unha expresión para a función trigonométrica inversa como unha integral definida:

Cando x é igual a 1, as integrais con dominios non limitados son integrais impropias, mais aínda así están ben definidas.

Serie infinita

[editar | editar a fonte]

Similar ás funcións seno e coseno, as funcións trigonométricas inversas tamén se poden calcular usando series de potencias, como se indica a continuación.

Para o arcoseno, a serie pódese obter expandindo a súa derivada, , como serie binomial, e integrando termo por termo (usando a definición integral como se indica arriba). A serie para arcotanxente pódese obter de xeito similar expandindo a súa derivada nunha serie xeométrica, e aplicando a definición integral anterior (ver series de Leibniz).

As series para as outras funcións trigonométricas inversas pódense dar en función destas segundo as relacións indicadas anteriormente. Por exemplo, , , etc. Outra serie vén dada por:Erro na cita: Falta a etiqueta </ref> para a etiqueta <ref> correspondente (O termo da suma para n = 0 é o produto vacío, polo que é 1).

Alternativamente, isto pódese expresar como

Outra serie para a función arcotanxente vén dada por

onde é a unidade imaxinaria.[9]

Fraccións continuadas para arcotanxente

[editar | editar a fonte]

Dúas alternativas á serie de potencias para arcotanxente son estas fraccións continuas xeneralizadas:

A segunda delas é válida no corte do plano complexo. Hai dous cortes, de −i ata o punto do infinito, baixando polo eixo imaxinario, e desde i ata o punto do infinito, subindo no mesmo eixo. Funciona mellor para números reais que van de −1 a 1. Os denominadores parciais son os números naturais impares e os numeradores parciais (despois do primeiro) son só (nz)2, e cada cadrado perfecto aparece unha vez.

A primeira foi desenvolvida por Leonhard Euler; a segunda por Carl Friedrich Gauss utilizando a serie hiperxeométrica de Gauss.

Integrais indefinidas de funcións trigonométricas inversas

[editar | editar a fonte]

Para valores reais e complexos de z:

Para x real ≥ 1:

Para todos os x reais non comprendidos entre -1 e 1:

O valor absoluto é necesario para compensar os valores tanto negativos como positivos das funcións arcosecante e arcocosecante. A función signo tamén é necesaria debido aos valores absolutos nas derivadas das dúas funcións, que crean dúas solucións diferentes para valores positivos e negativos de x.

Estas poden simplificarse aínda máis usando as definicións logarítmicas das funcións hiperbólicas inversas:

O valor absoluto no argumento da función arcosh crea unha metade negativa da súa gráfica, facéndoa idéntica á función logarítmica con signo mostrada anteriormente.

Todas estas antiderivadas pódense derivar usando integración por partes e as formas derivadas simples mostradas arriba.

Usando (é dicir, integración por partes), facemos

Daquela

que pola simple substitución dá o resultado final:

.

Extensión ao plano complexo

[editar | editar a fonte]
A Superficie de riemann para o argumento da relación tan z = x. A folla laranxa do medio é a folla principal que representa arctan x. A folla azul de arriba e a folla verde de abaixo están desprazadas por 2π e −2π respectivamente.

Dado que as funcións trigonométricas inversas son funcións analíticas, pódense estender desde a recta real ata o plano complexo. Isto resulta en funcións con varias follas e puntos de ramificación. Unha forma posíbel de definir a extensión é:

onde a parte do eixo imaxinario que non se atopa estritamente entre os puntos de ramificación (−i e +i) é o corte de rama entre a folla principal e outras follas.

O camiño da integral non debe cruzar un corte de rama. Para un z que non está nun corte de rama, un camiño en liña recta de 0 a z é ese camiño. Para un z que esta nun corte de rama, o camiño debe achegarse desde Re[x] > 0 para o corte da rama superior e desde Re[x] < 0 para o corte da rama inferior.

A función arcoseno pódese definir como:

onde (a función de raíz cadrada ten o seu corte ao longo do eixo real negativo e) a parte do eixo real que non se atopa estritamente entre −1 e +1 é a rama de corte entre a folla principal de e outras follas;

que ten o mesmo corte que ;

que ten o mesmo corte que ;

onde a parte do eixo real entre −1 e +1 inclusive é o corte entre a folla principal de e outras follas;

que ten o mesmo corte que .

Formas logarítmicas

[editar | editar a fonte]

Estas funcións tamén se poden expresar usando o logaritmo complexo. Isto estende o seu dominios ata o plano complexo dun xeito natural. As seguintes identidades para os valores principais das funcións cúmprense en todas as partes que se definen, mesmo nos seus cortes de rama.

Xeneralización

[editar | editar a fonte]

Dado que todas as funcións trigonométricas inversas producen un ángulo dun triángulo rectángulo, pódense xeneralizar usando a fórmula de Euler para formar un triángulo rectángulo no plano complexo. Alxebricamente, isto dános:

ou

onde é o lado adxacente, é o lado oposto e é a hipotenusa. A partir de aquí, podemos resolver para .

ou


Proba exemplo

[editar | editar a fonte]

Usando a definición exponencial de seno e sendo

(escóllese a rama positiva)

Gráficos de roda de cores de funcións trigonométricas inversas no plano complexo
Arcoseno de z no plano complexo. Arcoseno de z no plano complexo. Arctanxente de z no plano complexo.
Arcosecante de z no plano complexo. Arcosecante de z no plano complexo. Arcotanxente de z no plano complexo.

Aplicacións

[editar | editar a fonte]

Atopar o ángulo dun triángulo rectángulo

[editar | editar a fonte]
A triángulo rectángulo con lados relativos a un ángulo no punto .

As funcións trigonométricas inversas son útiles cando se intenta determinar os dous ángulos restantes dun triángulo rectángulo cando se coñecen as lonxitudes dos lados do triángulo. Lembrando as definicións de triángulo rectángulo de seno e coseno, despréndese que

Moitas veces, a hipotenusa é descoñecida e habería que calculala antes de usar o arcoseno ou arcocoseno usando o teorema de Pitágoras: onde é a lonxitude da hipotenusa. O arcotanxente é útil nesta situación, xa que non se precisa a lonxitude da hipotenusa.

.

Por exemplo, supoña que un tellado baixa 8 metros mentres avanza 20 metros. O tellado forma un ángulo θ coa horizontal, onde θ pódese calcular do seguinte xeito:


Función arcotanxente con parámetro de localización

[editar | editar a fonte]

En moitas aplicacións a solución da ecuación é aproximarse o máis posíbel a un valor dado . A solución adecuada prodúcese pola función arcotanxente modificada por un parámetro

A función redondea ao enteiro máis próximo.

  1. Hazewinkel, Michiel (1994) [1987]. Encyclopaedia of Mathematics (unabridged reprint ed.). Kluwer Academic Publishers / Springer Science & Business Media. ISBN 978-155608010-4.  Bronshtein, I. N.; Semendyayev, K. A.; Musiol, Gerhard; Mühlig, Heiner. "Cyclometric or Inverse Trigonometric Functions". Handbook of Mathematics (6th ed.). Berlin: Springer. doi:10.1007/978-3-663-46221-8 (inactivo 1 November 2024). .
  2. Weisstein, Eric W. "Inverse Trigonometric Functions". mathworld.wolfram.com. Consultado o 2020-08-29. 
  3. 3,0 3,1 Hall, Arthur Graham; Frink, Fred Goodrich (January 1909). "Chapter II. The Acute Angle [14] Inverse trigonometric functions". Escrito en Ann Arbor, Michigan, USA. Trigonometry. Part I: Plane Trigonometry. New York, USA: Henry Holt and Company / Norwood Press / J. S. Cushing Co. - Berwick & Smith Co., Norwood, Massachusetts, USA. p. 15. Consultado o 2017-08-12. 
  4. Beach, Frederick Converse; Rines, George Edwin, eds. (1912). "Inverse trigonometric functions". The Americana: a universal reference library 21. 
  5. Cook, John D. (2021-02-11). "Trig functions across programming languages". johndcook.com (blog). Consultado o 2021-03-10. 
  6. Cajori, Florian (1919). A History of Mathematics (2 ed.). New York, NY: The Macmillan Company. p. 272. 
  7. Herschel, John Frederick William (1813). "On a remarkable Application of Cotes's Theorem". Philosophical Transactions (Royal Society, London) 103 (1): 8. doi:10.1098/rstl.1813.0005. 
  8. Abramowitz & Stegun 1972, p. 73, 4.3.44
  9. S. M. Abrarov and B. M. Quine (2018). A formula for pi involving nested radicals. The Ramanujan Journal 46. pp. 657–665. arXiv:1610.07713. doi:10.1007/s11139-018-9996-8. 

Véxase tamén

[editar | editar a fonte]

Bibliografía

[editar | editar a fonte]

Outros artigos

[editar | editar a fonte]

Ligazóns externas

[editar | editar a fonte]