Igualdades que involucran funciones trigonométricas
En trigonometría , las identidades trigonométricas son igualdades que involucran funciones trigonométricas y son verdaderas para cada valor de las variables que ocurren para las cuales ambos lados de la igualdad están definidos. Geométricamente, estas son identidades que involucran ciertas funciones de uno o más ángulos . Son distintas de las identidades triangulares , que son identidades que potencialmente involucran ángulos pero también involucran longitudes de lados u otras longitudes de un triángulo .
Estas identidades son útiles siempre que sea necesario simplificar expresiones que involucran funciones trigonométricas. Una aplicación importante es la integración de funciones no trigonométricas: una técnica común implica primero usar la regla de sustitución con una función trigonométrica y luego simplificar la integral resultante con una identidad trigonométrica.
Identidades pitagóricas
La relación básica entre el seno y el coseno viene dada por la identidad pitagórica:
donde significa y significa
Esto puede considerarse como una versión del teorema de Pitágoras y se desprende de la ecuación del círculo unitario . Esta ecuación puede resolverse tanto para el seno como para el coseno:
Dividiendo esta identidad por , o ambas se obtienen las siguientes identidades:
Utilizando estas identidades, es posible expresar cualquier función trigonométrica en términos de cualquier otra ( hasta un signo más o menos):
Reflexiones, cambios y periodicidad
Examinando el círculo unitario, se pueden establecer las siguientes propiedades de las funciones trigonométricas.
Reflexiones
Cuando la dirección de un vector euclidiano se representa mediante un ángulo, este es el ángulo determinado por el vector libre (que comienza en el origen) y el vector unitario positivo. El mismo concepto también se puede aplicar a las líneas en un espacio euclidiano, donde el ángulo es el determinado por una paralela a la línea dada que pasa por el origen y el eje positivo. Si una línea (vector) con dirección se refleja alrededor de una línea con dirección , entonces el ángulo de dirección de esta línea reflejada (vector) tiene el valor
Los valores de las funciones trigonométricas de estos ángulos para ángulos específicos satisfacen identidades simples: o son iguales, o tienen signos opuestos, o emplean la función trigonométrica complementaria. Estas también se conocen como fórmulas de reducción . [2]
Turnos y periodicidad
Señales
El signo de las funciones trigonométricas depende del cuadrante del ángulo. Si y sgn es la función de signo ,
Las funciones trigonométricas son periódicas con período común, por lo que para valores de θ fuera del intervalo toman valores repetidos (ver § Desplazamientos y periodicidad más arriba).
Identidades de suma y diferencia de ángulos
Estos también se conocen como teoremas (o fórmulas ) de suma y resta de ángulos .
Las identidades de diferencia de ángulos para y se pueden derivar de las versiones de suma de ángulos sustituyendo y utilizando los hechos de que y . También se pueden derivar utilizando una versión ligeramente modificada de la figura para las identidades de suma de ángulos, ambas que se muestran aquí.
Estas identidades se resumen en las dos primeras filas de la siguiente tabla, que también incluye identidades de suma y diferencia para las demás funciones trigonométricas.
Como la serie converge de manera absoluta, es necesario que y En particular, en estas dos identidades aparece una asimetría que no se observa en el caso de sumas de un número finito de ángulos: en cada producto, sólo hay un número finito de factores seno, pero hay un número cofinito de factores coseno. Los términos con un número infinito de factores seno serían necesariamente iguales a cero.
Cuando sólo un número finito de ángulos son distintos de cero, entonces sólo un número finito de términos del lado derecho son distintos de cero porque todos los factores seno, excepto un número finito, se anulan. Además, en cada término, todos los factores coseno, excepto un número finito, son la unidad.
utilizando las fórmulas de suma de seno y coseno anteriores.
El número de términos en el lado derecho depende del número de términos en el lado izquierdo.
Por ejemplo:
y así sucesivamente. El caso de que sólo haya un número finito de términos se puede demostrar por inducción matemática . [14] El caso de que haya un número infinito de términos se puede demostrar utilizando algunas desigualdades elementales. [15]
Secantes y cosecantes de sumas
donde es el polinomio simétrico elemental de grado k en las n variables y el número de términos en el denominador y el número de factores en el producto en el numerador dependen del número de términos en la suma de la izquierda. [16] El caso de sólo un número finito de términos se puede demostrar por inducción matemática sobre el número de tales términos.
Por ejemplo,
Teorema de Ptolomeo
El teorema de Ptolomeo es importante en la historia de las identidades trigonométricas, ya que es la forma en que se demostraron por primera vez los resultados equivalentes a las fórmulas de suma y diferencia para el seno y el coseno. Afirma que en un cuadrilátero cíclico , como se muestra en la figura adjunta, la suma de los productos de las longitudes de los lados opuestos es igual al producto de las longitudes de las diagonales. En los casos especiales de que una de las diagonales o lados sea un diámetro del círculo, este teorema da lugar directamente a las identidades trigonométricas de suma y diferencia de ángulos. [17] La relación se deduce más fácilmente cuando el círculo se construye para que tenga un diámetro de longitud uno, como se muestra aquí.
Por el teorema de Tales , y son ambos ángulos rectos. Los triángulos rectángulos y comparten la hipotenusa de longitud 1. Por lo tanto, el lado , y .
Por el teorema del ángulo inscrito , el ángulo central subtendido por la cuerda en el centro del círculo es el doble del ángulo , es decir . Por lo tanto, el par simétrico de triángulos rojos tiene cada uno el ángulo en el centro. Cada uno de estos triángulos tiene una hipotenusa de longitud , por lo que la longitud de es , es decir, simplemente . La otra diagonal del cuadrilátero es el diámetro de longitud 1, por lo que el producto de las longitudes de las diagonales también es .
Cuando estos valores se sustituyen en el enunciado del teorema de Ptolomeo de que , se obtiene la identidad trigonométrica de suma de ángulos para el seno: . La fórmula de diferencia de ángulos para se puede derivar de manera similar dejando que el lado sirva como diámetro en lugar de . [17]
Fórmulas de ángulos múltiples y medios ángulos
Fórmulas de ángulos múltiples
Fórmulas de doble ángulo
Fórmulas para el doble de un ángulo. [20]
Fórmulas del triple ángulo
Fórmulas para ángulos triples. [20]
Fórmulas de ángulos múltiples
Fórmulas para ángulos múltiples. [21]
El método de Chebyshev
El método de Chebyshev es un algoritmo recursivo para encontrar la fórmula del ángulo múltiplo n conociendo los valores th y th. [22]
Existe una fórmula para calcular las identidades trigonométricas para el ángulo de un tercio, pero requiere encontrar los ceros de la ecuación cúbica 4 x 3 − 3 x + d = 0 , donde es el valor de la función coseno en el ángulo de un tercio y d es el valor conocido de la función coseno en el ángulo completo. Sin embargo, el discriminante de esta ecuación es positivo, por lo que esta ecuación tiene tres raíces reales (de las cuales solo una es la solución para el coseno del ángulo de un tercio). Ninguna de estas soluciones es reducible a una expresión algebraica real , ya que utilizan números complejos intermedios bajo las raíces cúbicas .
Fórmulas de reducción de potencia
Se obtiene resolviendo la segunda y tercera versión de la fórmula del coseno del doble ángulo.
Las identidades de producto a suma [28] o fórmulas de prostaféresis se pueden demostrar expandiendo sus lados derechos utilizando los teoremas de adición de ángulos. Históricamente, las primeras cuatro de estas se conocían como fórmulas de Werner , en honor a Johannes Werner, quien las utilizó para cálculos astronómicos. [29] Véase modulación de amplitud para una aplicación de las fórmulas de producto a suma, y beat (acústica) y detector de fase para aplicaciones de las fórmulas de suma a producto.
Identidades producto-suma
Identidades de suma y producto
Las identidades de suma a producto son las siguientes: [30]
Identidad cotangente de Hermite
Charles Hermite demostró la siguiente identidad. [31] Supongamos que hay números complejos , ninguno de los cuales difiere en un múltiplo entero de π . Sea
(en particular, al ser un producto vacío , es 1). Entonces
El ejemplo no trivial más simple es el caso n = 2 :
Para algunos propósitos es importante saber que cualquier combinación lineal de ondas sinusoidales del mismo período o frecuencia pero con diferentes cambios de fase también es una onda sinusoidal con el mismo período o frecuencia, pero con un cambio de fase diferente. Esto es útil en el ajuste de datos sinusoidales , porque los datos medidos u observados están relacionados linealmente con las incógnitas a y b de los componentes en fase y en cuadratura base a continuación, lo que da como resultado un jacobiano más simple , en comparación con el de y .
Seno y coseno
La combinación lineal, o adición armónica, de ondas seno y coseno es equivalente a una única onda seno con un desplazamiento de fase y una amplitud escalada, [33] [34]
donde y se definen así:
dado que
Desplazamiento de fase arbitrario
De manera más general, para cambios de fase arbitrarios, tenemos
donde y satisfacen:
Más de dos sinusoides
El caso general dice [34]
donde
y
Identidades trigonométricas de Lagrange
Estas identidades, que llevan el nombre de Joseph Louis Lagrange , son: [35] [36] [37]
para
Dicho de manera más concisa, si por todo dejamos que sea lo que llamamos arriba, entonces
Si es la pendiente de una línea, entonces es la pendiente de su rotación a través de un ángulo de
Relación con la función exponencial compleja
La fórmula de Euler establece que, para cualquier número real x : [39]
donde i es la unidad imaginaria . Sustituyendo − x por x obtenemos:
Estas dos ecuaciones se pueden utilizar para calcular el coseno y el seno en términos de la función exponencial . Específicamente, [40] [41]
Estas fórmulas son útiles para demostrar muchas otras identidades trigonométricas. Por ejemplo, que e i ( θ + φ ) = e iθ e iφ significa que
cos( θ + φ ) + i sin( θ + φ ) = (cos θ + i sin θ ) (cos φ + i sin φ ) = (cos θ cos φ − sin θ sin φ ) + i (cos θ sin φ + pecado θ cos φ ) .
La igualdad de la parte real del lado izquierdo con la parte real del lado derecho es una fórmula de suma de ángulos para el coseno. La igualdad de las partes imaginarias da una fórmula de suma de ángulos para el seno.
La siguiente tabla expresa las funciones trigonométricas y sus inversas en términos de la función exponencial y el logaritmo complejo .
Expansión de la serie
Al utilizar una expansión de series de potencias para definir funciones trigonométricas, se obtienen las siguientes identidades: [43]
Las siguientes identidades dan el resultado de componer una función trigonométrica con una función trigonométrica inversa. [46]
Al tomar el inverso multiplicativo de ambos lados de cada ecuación anterior, se obtienen las ecuaciones para
El lado derecho de la fórmula anterior siempre estará invertido. Por ejemplo, la ecuación para es:
mientras que las ecuaciones para y son:
Las identidades siguientes están implícitas en las identidades de reflexión y se cumplen siempre que se encuentren en los dominios de las funciones pertinentes.
Además, [47]
La función arcotangente se puede desarrollar como una serie: [48]
Identidades sin variables
En términos de la función arcotangente tenemos [47]
es un caso especial de una identidad que contiene una variable:
De manera similar,
es un caso especial de una identidad con :
Para el caso ,
Para el caso ,
La misma identidad del coseno es
Similarmente,
Similarmente,
Lo siguiente quizás no sea tan fácil de generalizar a una identidad que contenga variables (pero vea la explicación a continuación):
La medida en grados deja de ser más acertada que la medida en radianes cuando consideramos esta identidad con 21 en los denominadores:
Los factores 1, 2, 4, 5, 8, 10 pueden empezar a aclarar el patrón: son aquellos números enteros menores que 21/2 que son primos entre sí (o no tienen factores primos en común con) 21. Los últimos ejemplos son corolarios de un hecho básico sobre los polinomios ciclotómicos irreducibles : los cosenos son las partes reales de los ceros de esos polinomios; la suma de los ceros es la función de Möbius evaluada en (en el último caso anterior) 21; solo la mitad de los ceros están presentes anteriormente. Las dos identidades que preceden a esta última surgen de la misma manera con 21 reemplazado por 10 y 15, respectivamente.
Otras identidades de coseno incluyen: [49]
y así sucesivamente para todos los números impares, y por lo tanto
Muchas de esas curiosas identidades se derivan de hechos más generales como los siguientes: [50]
y
Combinando estos nos da
Si n es un número impar ( ) podemos hacer uso de las simetrías para obtener
La función de transferencia del filtro de paso bajo Butterworth se puede expresar en términos de polinomios y polos. Al establecer la frecuencia como frecuencia de corte, se puede demostrar la siguiente identidad:
En general, para números t 1 , ..., t n −1 ∈ (−1, 1) para los cuales θ n = Σn −1 k = 1arctan t k ∈ ( π /4, 3 π /4) , sea t n = tan( π /2 − θ n ) = cot θ n . Esta última expresión se puede calcular directamente utilizando la fórmula para la cotangente de una suma de ángulos cuyas tangentes son t 1 , ..., t n −1 y su valor estará en (−1, 1) . En particular, la t n calculada será racional siempre que todos los valores de t 1 , ..., t n −1 sean racionales. Con estos valores,
donde en todas las expresiones excepto en la primera, hemos usado fórmulas de semiángulo tangente. Las dos primeras fórmulas funcionan incluso si uno o más de los valores t k no están dentro de (−1, 1) . Tenga en cuenta que si t = p / q es racional, entonces los valores (2 t , 1 − t 2 , 1 + t 2 ) en las fórmulas anteriores son proporcionales al triple pitagórico (2 pq , q 2 − p 2 , q 2 + p 2 ) .
Por ejemplo, para n = 3 términos,
para cualquier a , b , c , d > 0 .
Una identidad de Euclides
Euclides demostró en el Libro XIII, Proposición 10 de sus Elementos , que el área del cuadrado de un lado de un pentágono regular inscrito en un círculo es igual a la suma de las áreas de los cuadrados de los lados del hexágono regular y del decágono regular inscritos en el mismo círculo. En el lenguaje de la trigonometría moderna, esto dice:
Otras identidades "condicionales" para el casoalfa+β+gamma= 180°
Una identidad trigonométrica condicional es una identidad trigonométrica que se cumple si se cumplen las condiciones especificadas en los argumentos de las funciones trigonométricas. [53] Las siguientes fórmulas se aplican a triángulos planos arbitrarios y se deducen siempre que las funciones que aparecen en las fórmulas estén bien definidas (esto último se aplica solo a las fórmulas en las que aparecen tangentes y cotangentes).
El núcleo de Dirichlet D n ( x ) es la función que aparece en ambos lados de la siguiente identidad:
La convolución de cualquier función integrable de período con el núcleo de Dirichlet coincide con la aproximación de Fourier de grado n.° de la función . Lo mismo se aplica a cualquier función de medida o generalizada .
Sustitución de la mitad del ángulo tangente
Si establecemos entonces [54]
donde a veces se abrevia como cis x .
Cuando esta sustitución de por tan incógnita/2 se utiliza en cálculo , se deduce quese reemplaza por 2 toneladas/1 + t2 ,se reemplaza por 1 − t2/1 + t2 y el diferencial d x se reemplaza por 2 días/1 + t2 . De este modo, se convierten funciones racionales deyen funciones racionales depara encontrar sus antiderivadas .
^ Abramowitz, Milton ; Stegun, Irene Ann , eds. (1983) [junio de 1964]. "Capítulo 4, ecuación 4.3.45". Manual de funciones matemáticas con fórmulas, gráficos y tablas matemáticas . Serie de Matemáticas Aplicadas. Vol. 55 (Novena reimpresión con correcciones adicionales de la décima impresión original con correcciones (diciembre de 1972); primera ed.). Washington DC; Nueva York: Departamento de Comercio de los Estados Unidos, Oficina Nacional de Normas; Dover Publications. pág. 73. ISBN 978-0-486-61272-0. LCCN 64-60036. MR 0167642. LCCN 65-12253.
^ ab "Identidades de suma y diferencia de ángulos". www.milefoot.com . Consultado el 12 de octubre de 2019 .
^ Abramowitz y Stegun, pag. 72, 4.3.19
^ Abramowitz y Stegun, pag. 80, 4.4.32
^ Abramowitz y Stegun, pag. 80, 4.4.33
^ Abramowitz y Stegun, pag. 80, 4.4.34
^ Bronstein, Manuel (1989). "Simplificación de funciones elementales reales". En Gonnet, GH (ed.). Actas del Simposio Internacional ACM- SIGSAM 1989 sobre Computación Simbólica y Algebraica . ISSAC '89 (Portland US-OR, 1989-07). Nueva York: ACM . pp. 207–211. doi :10.1145/74540.74566. ISBN .0-89791-325-6.
^ Michael Hardy. (2016). "Sobre tangentes y secantes de sumas infinitas". The American Mathematical Monthly , volumen 123, número 7, 701–703. https://doi.org/10.4169/amer.math.monthly.123.7.701
^ Hardy, Michael (2016). "Sobre tangentes y secantes de sumas infinitas". American Mathematical Monthly . 123 (7): 701–703. doi :10.4169/amer.math.monthly.123.7.701.
^ Weisstein, Eric W. "Fórmulas de ángulos múltiples". mathworld.wolfram.com . Consultado el 6 de febrero de 2022 .
^ Ward, Ken. "Fórmula recursiva de ángulos múltiples". Páginas de matemáticas de Ken Ward .
^ ab Abramowitz, Milton ; Stegun, Irene Ann , eds. (1983) [junio de 1964]. "Capítulo 4, ecuación 4.3.20-22". Manual de funciones matemáticas con fórmulas, gráficos y tablas matemáticas . Serie de Matemáticas Aplicadas. Vol. 55 (Novena reimpresión con correcciones adicionales de la décima impresión original con correcciones (diciembre de 1972); primera ed.). Washington DC; Nueva York: Departamento de Comercio de los Estados Unidos, Oficina Nacional de Normas; Dover Publications. pág. 72. ISBN978-0-486-61272-0. LCCN 64-60036. MR 0167642. LCCN 65-12253.
^ Eves, Howard (1990). Introducción a la historia de las matemáticas (6.ª ed.). Filadelfia: Saunders College Pub. pág. 309. ISBN0-03-029558-0.OCLC 20842510 .
^ Abramowitz y Stegun, pag. 72, 4.3.34–39
^ Johnson, Warren P. (abril de 2010). "Identidades trigonométricas al estilo de Hermite". American Mathematical Monthly . 117 (4): 311–327. doi :10.4169/000298910x480784. S2CID 29690311.
^ "Identidad del producto: ángulos múltiples".
^ Apostol, TM (1967) Cálculo. 2.ª edición. Nueva York, NY, Wiley. Pp 334-335.
^ Ortiz Muñiz, Eddie (febrero de 1953). "Un método para derivar varias fórmulas en electrostática y electromagnetismo utilizando las identidades trigonométricas de Lagrange". American Journal of Physics . 21 (2): 140. Bibcode :1953AmJPh..21..140M. doi :10.1119/1.1933371.
^ Agarwal, Ravi P.; O'Regan, Donal (2008). Ecuaciones diferenciales ordinarias y parciales: con funciones especiales, series de Fourier y problemas de valores en la frontera (edición ilustrada). Springer Science & Business Media. pág. 185. ISBN978-0-387-79146-3.Extracto de la página 185
^ Jeffrey, Alan; Dai, Hui-hui (2008). "Sección 2.4.1.6". Manual de fórmulas matemáticas e integrales (4.ª ed.). Academic Press. ISBN978-0-12-374288-9.
^ Fay, Temple H.; Kloppers, P. Hendrik (2001). "El fenómeno de Gibbs". Revista Internacional de Educación Matemática en Ciencia y Tecnología . 32 (1): 73–89. doi :10.1080/00207390117151.
^ Abramowitz y Stegun, pag. 74, 4.3.47
^ Abramowitz y Stegun, pag. 71, 4.3.2
^ Abramowitz y Stegun, pag. 71, 4.3.1
^ Abramowitz y Stegun, pag. 80, 4.4.26–31
^ Abramowitz y Stegun, pag. 74, 4.3.65–66
^ Abramowitz y Stegun, pag. 75, 4.3.89–90
^ Abramowitz y Stegun, pag. 85, 4.5.68–69
^ Abramowitz y Stegun 1972, pág. 73, 4.3.45
^ abc Wu, Rex H. "Prueba sin palabras: la identidad arcotangente de Euler", Mathematics Magazine 77(3), junio de 2004, pág. 189.
^ SM Abrarov, RK Jagpal, R. Siddiqui y BM Quine (2021), "Determinación algorítmica de un entero grande en la fórmula de Machin de dos términos para π", Mathematics , 9 (17), 2162, arXiv : 2107.01027 , doi : 10.3390/math9172162{{citation}}: CS1 maint: multiple names: authors list (link)
^ Humble, Steve (noviembre de 2004). "La identidad de la abuela". Mathematical Gazette . 88 : 524–525. doi :10.1017/s0025557200176223. S2CID 125105552.