En matemáticas , 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 de triángulos , que son identidades que potencialmente involucran ángulos pero que también involucran longitudes de lados u otras longitudes de un triángulo .
Estas identidades son útiles cuando es 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.
14.1 Composiciones de funciones trigonométricas y trigonométricas inversas
15 Relación con la función exponencial compleja
16 fórmulas de productos infinitas
17 Identidades sin variables
17.1 Computación π
17.2 Un mnemónico útil para ciertos valores de senos y cosenos
17.3 Miscelánea
17.4 Una identidad de Euclides
18 Composición de funciones trigonométricas
19 Cálculo
19.1 Implicaciones
19.2 Algunas ecuaciones diferenciales satisfechas por la función seno
20 definiciones exponenciales
21 Identidades "condicionales" adicionales para el caso α + β + γ = 180 °
22 Varios
22.1 Núcleo de Dirichlet
22.2 Sustitución de medio ángulo tangente
23 Véase también
24 notas
25 referencias
26 Enlaces externos
Notación [ editar ]
Ángulos [ editar ]
Signos de funciones trigonométricas en cada cuadrante. Los mnemónicos " All S cience T eachers (son) C Razy" listas de las funciones básicas ( ' Todos' , s en, t an, c os) que son positivos de los cuadrantes I a IV. [1] Ésta es una variación del mnemónico " Todos los estudiantes toman cálculo ".
Este artículo utiliza letras griegas como alfa ( α ), beta ( β ), gamma ( γ ) y theta ( θ ) para representar ángulos . Varias unidades diferentes de medida de ángulos se utilizan ampliamente, incluidos grados , radianes y gradianos ( gons ):
Si no se anota específicamente con (°) para grado o ( ) para gradian, se supone que todos los valores de los ángulos en este artículo se dan en radianes.
La siguiente tabla muestra para algunos ángulos comunes sus conversiones y los valores de las funciones trigonométricas básicas:
Conversiones de ángulos comunes
Turno
La licenciatura
Radián
Gradian
seno
coseno
tangente
Indefinido
Indefinido
Los resultados para otros ángulos se pueden encontrar en Constantes trigonométricas expresadas en radicales reales . Según el teorema de Niven , son los únicos números racionales que, tomados en grados, dan como resultado un valor de seno racional para el ángulo correspondiente dentro del primer giro, lo que puede explicar su popularidad en los ejemplos. [2] [3] La condición análoga para la unidad de radianes requiere que el argumento dividido por π sea racional y produzca las soluciones 0, π / 6, π / 2, 5 π / 6, π , 7 π / 6, 3 π / 2, 11 π / 6 (, 2 π ).
Funciones trigonométricas [ editar ]
Representación gráfica de las seis funciones trigonométricas, el círculo unitario y una línea para el ángulo θ = 0,7 radianes. Los puntos etiquetados como 1 , Sec (θ) , Csc (θ) representan la longitud del segmento de línea desde el origen hasta ese punto. Sin (θ) , Tan (θ) y 1 son las alturas de la línea que comienza desde el eje x , mientras que Cos (θ) , 1 y Cot (θ) son longitudes a lo largo del eje x que comienzan desde el origen.
Las funciones seno , coseno y tangente de un ángulo a veces se denominan funciones trigonométricas primarias o básicas . Sus abreviaturas habituales son sin ( θ ) , cos ( θ ) y tan ( θ ) , respectivamente, donde θ denota el ángulo. Los paréntesis alrededor del argumento de las funciones a menudo se omiten, por ejemplo, sin θ y cos θ , si una interpretación es inequívocamente posible.
El seno de un ángulo se define, en el contexto de un triángulo rectángulo , como la razón de la longitud del lado opuesto al ángulo dividida por la longitud del lado más largo del triángulo (la hipotenusa ).
El coseno de un ángulo en este contexto es la razón de la longitud del lado adyacente al ángulo dividida por la longitud de la hipotenusa.
La tangente de un ángulo en este contexto es la razón de la longitud del lado opuesto al ángulo dividida por la longitud del lado adyacente al ángulo. Esta es la misma que la razón del seno al coseno de este ángulo, como se puede ver sustituyendo las definiciones de sin y cos de arriba:
Las funciones trigonométricas restantes secante ( sec ), cosecante ( csc ) y cotangente ( cot ) se definen como funciones recíprocas de coseno, seno y tangente, respectivamente. En raras ocasiones, se denominan funciones trigonométricas secundarias:
Estas definiciones a veces se denominan identidades de razón .
Las funciones trigonométricas inversas son funciones inversas parciales para las funciones trigonométricas. Por ejemplo, la función inversa del seno, conocida como seno inverso ( sen −1 ) o arcoseno ( arcsin o asin ), satisface
y
Este artículo utiliza la siguiente notación para funciones trigonométricas inversas:
Función
pecado
porque
broncearse
segundo
csc
cuna
Inverso
arcos
arccos
arctan
segundos de arco
arccsc
arccot
La siguiente tabla muestra cómo se pueden usar las funciones trigonométricas inversas para resolver las igualdades que involucran las seis funciones trigonométricas estándar. Se supone que r , s , x , y y todos se encuentran dentro del rango apropiado. Tenga en cuenta que "para algunos k ∈ ℤ " es solo otra forma de decir "para algunos k enteros ".
Igualdad
Solución
dónde...
pecado θ = y
⇔
θ =
(−1) k
arcsin ( y )
+
π k
para algunos k ∈ ℤ
cos θ = x
⇔
θ =
±
arccos ( x )
+
2
π k
para algunos k ∈ ℤ
tan θ = s
⇔
θ =
arctano ( s )
+
π k
para algunos k ∈ ℤ
csc θ = r
⇔
θ =
(−1) k
arccsc ( r )
+
π k
para algunos k ∈ ℤ
seg θ = r
⇔
θ =
±
segundos de arco ( r )
+
2
π k
para algunos k ∈ ℤ
cuna θ = r
⇔
θ =
arccot ( r )
+
π k
para algunos k ∈ ℤ
La siguiente tabla muestra cómo dos ángulos θ y φ deben estar relacionados si sus valores bajo una función trigonométrica dada son iguales o negativos entre sí.
En trigonometría, la relación básica entre el seno y el coseno viene dada por la identidad pitagórica:
donde sin 2 θ significa (sin θ ) 2 y cos 2 θ significa (cos θ ) 2 .
Esto puede verse como una versión del teorema de Pitágoras y se deduce de la ecuación x 2 + y 2 = 1 para el círculo unitario . Esta ecuación se puede resolver para el seno o el coseno:
donde el signo depende del cuadrante de θ .
Dividir esta identidad por sen 2 θ o cos 2 θ produce las otras dos identidades pitagóricas:
Usando estas identidades junto con las identidades de razón, es posible expresar cualquier función trigonométrica en términos de cualquier otra ( hasta un signo más o menos):
Cada función trigonométrica en términos de cada una de las otras cinco. [4]
en términos de
Abreviaturas históricas [ editar ]
Todas las funciones trigonométricas de un ángulo θ se pueden construir geométricamente en términos de una unidad de círculo con centro en O . Muchos de estos términos ya no son de uso común; sin embargo, este diagrama no es exhaustivo.
En la navegación se utilizaron versine , coversine , haversine y exsecant . Por ejemplo, se utilizó la fórmula de Haversine para calcular la distancia entre dos puntos en una esfera. Hoy en día rara vez se utilizan.
Nombre
Abreviatura
Valor [5] [6]
(derecha) ángulo complementario, co-ángulo
verso seno, verso
coseno versado, vercoseno
seno cubierto , coverine
coseno cubierto , coseno cubierto
seno medio versado, haversine
coseno medio versado, havercoseno
seno medio cubierto, hacoversine cohaversine
coseno medio cubierto, hacovercosine cohavercosine
secante exterior, exsecante
cosecante exterior, excosecante
acorde
Reflexiones, cambios y periodicidad [ editar ]
Reflejando θ en α = 0 (α = π )
Al examinar el círculo unitario, se pueden establecer las siguientes propiedades de las funciones trigonométricas.
Reflexiones [ editar ]
Cuando la dirección de un vector euclidiano está representada por un ángulo , este es el ángulo determinado por el vector libre (comenzando en el origen) y el vector de unidad x 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 x 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. También se conocen como fórmulas de reducción . [7]
Al cambiar los argumentos de las funciones trigonométricas en ciertos ángulos, cambiar el signo o aplicar funciones trigonométricas complementarias a veces puede expresar resultados particulares de manera más simple. Algunos ejemplos de turnos se muestran a continuación en la tabla.
Un giro completo , o 360 ° , o 2 π radianes deja el círculo unitario fijo y es el intervalo más pequeño para el cual las funciones trigonométricas sin, cos, sec y csc repiten sus valores y, por lo tanto, es su período. Cambiar los argumentos de cualquier función periódica por cualquier múltiplo entero de un período completo conserva el valor de la función del argumento no desplazado.
A su vez, un medio , o 180 ° , o π radianes es el período de tan ( x ) =pecado ( x )/cos ( x )y cuna ( x ) =cos ( x )/pecado ( x ), como puede verse en estas definiciones y el período de las funciones trigonométricas definitorias. Por lo tanto, cambiar los argumentos de tan ( x ) y cot ( x ) por cualquier múltiplo de π no cambia sus valores de función.
Para las funciones sin, cos, sec y csc con período 2 π , medio turno es la mitad de su período. Para este cambio, cambian el signo de sus valores, como se puede ver nuevamente en el círculo unitario. Este nuevo valor se repite después de cualquier desplazamiento adicional de 2 π , por lo que todos juntos cambian el signo de un desplazamiento por cualquier múltiplo impar de π , es decir, por (2 k + 1) ⋅ π , con k un entero arbitrario. Cualquier múltiplo par de π es, por supuesto, solo un período completo, y un desplazamiento hacia atrás en medio período es lo mismo que un desplazamiento hacia atrás en un período completo más un desplazamiento hacia adelante en medio período.
Un cuarto de vuelta , o 90 ° , oπ/2radián es un desplazamiento de medio período para tan ( x ) y cot ( x ) con período π ( 180 ° ), lo que produce el valor de la función de aplicar la función complementaria al argumento no desplazado. Según el argumento anterior, esto también es válido para un cambio de cualquier múltiplo impar (2 k + 1) ⋅π/2 del medio período.
Para las otras cuatro funciones trigonométricas, un cuarto de vuelta también representa un cuarto de período. Un cambio por un múltiplo arbitrario de un período de un cuarto que no está cubierto por un múltiplo de períodos medios se puede descomponer en un múltiplo entero de períodos, más o menos un período de un cuarto. Los términos que expresan estos múltiplos son (4 k ± 1) ⋅π/2. Los cambios hacia adelante / hacia atrás por un período de un trimestre se reflejan en la siguiente tabla. Nuevamente, estos cambios producen valores de función, empleando la función complementaria respectiva aplicada al argumento no desplazado.
Desplazando los argumentos de tan ( x ) y cot ( x ) por su período de cuarto (π/4) no produce resultados tan simples.
Cambio por un período de un trimestre
Desplazamiento por medio período [9]
Cambio por períodos completos [10]
Período
Identidades de suma y diferencia de ángulos [ editar ]
Ilustración de fórmulas de suma de ángulos para el seno y el coseno. El segmento enfatizado tiene una longitud unitaria.
Ver también: § Identidades de producto a suma y suma a producto , y Aproximación de ángulo pequeño § Suma y diferencia de ángulo
Estos también se conocen como teoremas (o fórmulas ) de suma y resta de ángulos . Las identidades se pueden derivar combinando triángulos rectángulos como en el diagrama adyacente, o considerando la invariancia de la longitud de una cuerda en un círculo unitario dado un ángulo central particular. La derivación más intuitiva utiliza matrices de rotación (ver más abajo).
Ilustración de la fórmula de suma de ángulos para la tangente. Los segmentos enfatizados son de longitud unitaria.
Para ángulos agudos α y β , cuya suma no es obtusa, un diagrama conciso (mostrado) ilustra las fórmulas de suma de ángulos para seno y coseno: El segmento en negrita etiquetado como "1" tiene una unidad de longitud y sirve como hipotenusa de un triángulo rectángulo con ángulo β ; los lados opuestos y adyacentes para este ángulo tienen longitudes respectivas sen β y cos β . El cateto cos β es en sí mismo la hipotenusa de un triángulo rectángulo con ángulo α ; los catetos de ese triángulo, por lo tanto, tienen longitudes dadas por sen α y cos α , multiplicadas por cos β . Lasin β leg, como hipotenusa de otro triángulo rectángulo con ángulo α , conduce igualmente a segmentos de longitud cos α sin β y sin α sin β . Ahora, observamos que el segmento "1" es también la hipotenusa de un triángulo rectángulo con ángulo α + β ; el lado opuesto a este ángulo tiene necesariamente una longitud sin ( α + β ) , mientras que el lado adyacente tiene una longitud cos ( α + β ) . En consecuencia, como los lados opuestos del rectángulo exterior del diagrama son iguales, deducimos
La reubicación de uno de los ángulos nombrados produce una variante del diagrama que demuestra las fórmulas de diferencia de ángulos para el seno y el coseno. [11] (El diagrama admite más variantes para acomodar ángulos y sumas mayores que un ángulo recto.) Dividir todos los elementos del diagrama por cos α cos β proporciona otra variante (mostrada) que ilustra la fórmula de suma de ángulos para la tangente.
Estas identidades tienen aplicaciones, por ejemplo, en componentes en fase y en cuadratura .
Ilustración de la fórmula de suma de ángulos para la cotangente. El segmento superior derecho tiene una longitud unitaria.
Seno
[12] [13]
Coseno
[13] [14]
Tangente
[13] [15]
Cosecante
[dieciséis]
Secante
[dieciséis]
Cotangente
[13] [17]
Arcsine
[18]
Arccosine
[19]
Arctangent
[20]
Arccotangente
Forma de matriz [ editar ]
Ver también: Multiplicación de matrices
Las fórmulas de suma y diferencia para el seno y el coseno se derivan del hecho de que una rotación del plano por el ángulo α , después de una rotación por β , es igual a una rotación por α + β . En términos de matrices de rotación :
La matriz inversa para una rotación es la rotación con el negativo del ángulo
que es también la matriz de transposición .
Estas fórmulas muestran que estas matrices forman una representación del grupo de rotación en el plano (técnicamente, el grupo ortogonal especial SO (2) ), ya que la ley de composición se cumple y existen las inversas. Además, la multiplicación de la matriz de rotación para un ángulo α con un vector de columna rotará el vector de columna en sentido antihorario en el ángulo α .
Dado que la multiplicación por un número complejo de unidades de longitud rota el plano complejo por el argumento del número, la multiplicación anterior de matrices de rotación es equivalente a una multiplicación de números complejos:
En términos de la fórmula de Euler , esto simplemente dice , mostrando que es una representación compleja unidimensional de .
Senos y cosenos de sumas de infinitos ángulos [ editar ]
Cuando la serie converge absolutamente entonces
Debido a que la serie converge absolutamente, es necesariamente el caso de que , y . En particular, en estas dos identidades aparece una asimetría que no se ve en el caso de sumas de un número finito de ángulos: en cada producto, solo hay un número finito de factores sinusoidales pero cofinitivamente muchos factores coseno. Los términos con infinitos factores sinusoidales serían necesariamente iguales a cero.
Cuando solo un número finito de los ángulos θ i son distintos de cero, entonces solo un número finito de los términos del lado derecho son distintos de cero porque todos, excepto un número finito de factores sinusoidales, desaparecen. Además, en cada término todos los factores del coseno, excepto un número finito, son unidad.
Tangentes y cotangentes de sumas [ editar ]
Sea e k (para k = 0, 1, 2, 3, ...) el polinomio simétrico elemental de k -ésimo grado en las variables
para i = 0, 1, 2, 3, ..., es decir,
Luego
usando las fórmulas de suma de seno y coseno anteriores.
El número de términos del lado derecho depende del número de términos del lado izquierdo.
Por ejemplo:
y así. El caso de sólo un número finito de términos puede demostrarse mediante inducción matemática . [21]
Secantes y cosecantes de sumas [ editar ]
donde e k es el polinomio simétrico elemental de k -ésimo grado en las n variables x i = tan θ i , i = 1, ..., n , y el número de términos en el denominador y el número de factores en el producto en el numerador depende del número de términos en la suma de la izquierda. [22] El caso de sólo un número finito de términos puede demostrarse mediante inducción matemática sobre el número de dichos términos.
Por ejemplo,
Fórmulas de múltiples ángulos [ editar ]
T n es el n- ésimo polinomio de Chebyshev
[23]
fórmula de Moivre , i es la unidad imaginaria
[24]
Fórmulas de ángulo doble, triple ángulo y medio ángulo [ editar ]
Fórmulas de doble ángulo [ editar ]
Fórmulas para el doble de ángulo. [25]
Fórmulas de triple ángulo [ editar ]
Fórmulas para ángulos triples. [25]
Fórmulas de medio ángulo [ editar ]
[26] [27]
También
Mesa [ editar ]
Ver también: Fórmula de medio ángulo tangente
Estos se pueden mostrar utilizando las identidades de suma y diferencia o las fórmulas de múltiples ángulos.
Seno
Coseno
Tangente
Cotangente
Fórmulas de doble ángulo [28] [29]
Fórmulas de triple ángulo [23] [30]
Fórmulas de medio ángulo [26] [27]
El hecho de que la fórmula de triple ángulo para seno y coseno solo involucre potencias de una sola función permite relacionar el problema geométrico de una construcción de compás y regla no graduada de trisección de ángulo con el problema algebraico de resolver una ecuación cúbica , lo que permite demostrar que la trisección es en general imposible usando las herramientas dadas, por la teoría de campo .
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 x es el valor de la función coseno en el tercio ángulo 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 se puede reducir a una expresión algebraica real, ya que usan números complejos intermedios debajo de las raíces cúbicas..
Seno, coseno y tangente de múltiples ángulos [ editar ]
Para múltiplos específicos, estos se derivan de las fórmulas de suma de ángulos, mientras que la fórmula general fue dada por el matemático francés del siglo XVI François Viète . [ cita requerida ]
para valores no negativos de k hasta n . [ cita requerida ]
En cada una de estas dos ecuaciones, el primer término entre paréntesis es un coeficiente binomial y la función trigonométrica final es igual a uno, menos uno o cero, de modo que se eliminan la mitad de las entradas en cada una de las sumas. La proporción de estas fórmulas da
[ cita requerida ]
Método Chebyshev [ editar ]
El método de Chebyshev es un algoritmo recursivo para encontrar la n ésima fórmula de ángulos múltiples conociendo los valores ( n - 1) ésimo y ( n - 2) ésimo. [31]
cos ( nx ) se puede calcular a partir de cos (( n - 1) x ) , cos (( n - 2) x ) y cos ( x ) con
cos ( nx ) = 2 · cos x · cos (( n - 1) x ) - cos (( n - 2) x ) .
Esto se puede demostrar sumando las fórmulas
cos (( n - 1) x + x ) = cos (( n - 1) x ) cos x - sin (( n - 1) x ) sin x
cos (( n - 1) x - x ) = cos (( n - 1) x ) cos x + sin (( n - 1) x ) sin x .
Se deduce por inducción que cos ( nx ) es un polinomio de cos x , el llamado polinomio de Chebyshev del primer tipo, ver polinomios de Chebyshev # Definición trigonométrica .
De manera similar, sin ( nx ) se puede calcular a partir de sin (( n - 1) x ) , sin (( n - 2) x ) y cos ( x ) con
sin ( nx ) = 2 · cos x · sin (( n - 1) x ) - sin (( n - 2) x ) .
Esto se puede demostrar agregando fórmulas para sin (( n - 1) x + x ) y sin (( n - 1) x - x ) .
Con un propósito similar al del método Chebyshev, para la tangente podemos escribir:
Tangente de un promedio [ editar ]
Al establecer α o β en 0 se obtienen las fórmulas habituales de medio ángulo de tangente.
El producto infinito de Viète [ editar ]
(Consulte la función sinc .)
Fórmulas de reducción de potencia [ editar ]
Se obtiene resolviendo la segunda y tercera versiones de la fórmula del coseno de doble ángulo.
Seno
Coseno
Otro
y en términos generales de potencias de pecado θ o cos theta lo siguiente es verdadero, y se puede deducir usando la fórmula de De Moivre , la fórmula de Euler y el teorema del binomio [ citación necesaria ] .
Coseno
Seno
Identidades de producto a suma y suma a producto [ editar ]
Las identidades producto-a-suma o las fórmulas de prosthaféresis pueden probarse expandiendo sus lados derechos usando los teoremas de la suma de ángulos . Consulte la modulación de amplitud para obtener una aplicación de las fórmulas de suma a suma y el detector de latidos (acústica) y de fase para las aplicaciones de las fórmulas de suma a producto.
Producto a suma [32]
Suma al producto [33]
Otras identidades relacionadas [ editar ]
[34]
Si x + y + z = π (semicírculo), entonces
Identidad triple tangente: Si x + y + z = π (semicírculo), entonces
En particular, la fórmula se cumple cuando x , y y z son los tres ángulos de cualquier triángulo.
(Si cualquiera de x , y , z es un ángulo recto, uno debe tomar ambos lados como ∞ . Esto no es ni + ∞ ni −∞ ; para los propósitos actuales, tiene sentido agregar un solo punto en el infinito a la línea real , que se aproxima por tan θ cuando tan θ aumenta a través de valores positivos o disminuye a través de valores negativos. Esta es una compactación de un punto de la línea real.)
Identidad triple cotangente: Si x + y + z =π/2 (ángulo recto o cuarto de círculo), luego
Identidad cotangente de Hermite [ editar ]
Artículo principal: identidad cotangente de Hermite
Charles Hermite demostró la siguiente identidad. [35] Suponga que a 1 , ..., a n son números complejos , ninguno de los cuales difiere en un múltiplo entero de π . Dejar
(en particular, A 1,1 , siendo un producto vacío , es 1). Luego
El ejemplo no trivial más simple es el caso n = 2 :
Teorema de Ptolomeo [ editar ]
Artículo principal: teorema de Ptolomeo
El teorema de Ptolomeo se puede expresar en el lenguaje de la trigonometría moderna como:
Si w + x + y + z = π , entonces:
(Las primeras tres igualdades son reordenamientos triviales; la cuarta es la sustancia de esta identidad).
Productos finitos de funciones trigonométricas [ editar ]
Para enteros coprimos n , m
donde T n es el polinomio de Chebyshev .
La siguiente relación es válida para la función seno
Más en general [36]
Combinaciones lineales [ editar ]
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 sinusoide apropiado de datos , porque los datos medidos u observados están relacionadas linealmente a los unos y b incógnitas del componentes en fase y en cuadratura base por debajo, resultando en una simple jacobiano , en comparación a la de c y φ .
Seno y coseno [ editar ]
La combinación lineal, o suma armónica, de ondas seno y coseno es equivalente a una sola onda senoidal con un desplazamiento de fase y amplitud escalada, [37] [38]
donde c y φ se definen así:
dado eso .
Cambio de fase arbitrario [ editar ]
De manera más general, para cambios de fase arbitrarios, tenemos
donde c y varphi satisfacer:
Más de dos sinusoides [ editar ]
El caso general dice [38]
dónde
y
Véase también Adición fasorial .
Identidades trigonométricas de Lagrange [ editar ]
Estas identidades, que llevan el nombre de Joseph Louis Lagrange , son: [39] [40]
Una función relacionada es la siguiente función de x , llamada kernel de Dirichlet .
ver prueba .
Otras sumas de funciones trigonométricas [ editar ]
Suma de senos y cosenos con argumentos en progresión aritmética: [41] si α ≠ 0 , entonces
La identidad anterior a veces es conveniente de conocer cuando se piensa en la función de Gudermann , que relaciona las funciones trigonométricas circulares e hiperbólicas sin recurrir a números complejos .
Si x , y y z son los tres ángulos de cualquier triángulo, es decir, si x + y + z = π , entonces
Si f ( x ) está dada por la transformación fraccional lineal
y de manera similar
luego
Dicho más concisamente, si para todo α dejamos que f α sea lo que llamamos f anteriormente, entonces
Si x es la pendiente de una línea, entonces f ( x ) es la pendiente de su rotación en un ángulo de - α .
Funciones trigonométricas inversas [ editar ]
[42]
Composiciones de funciones trigonométricas y trigonométricas inversas [ editar ]
Relación con la función exponencial compleja [ editar ]
Con el número imaginario unitario i que satisface i 2 = −1 ,
[43] ( fórmula de Euler ),
( Identidad de Euler ),
[44]
[45]
Estas fórmulas son útiles para probar 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 φ ) .
Que la parte real del lado izquierdo sea igual a 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.
Fórmulas de productos infinitas [ editar ]
Para aplicaciones a funciones especiales , las siguientes fórmulas de productos infinitos para funciones trigonométricas son útiles: [46] [47]
Identidades sin variables [ editar ]
En términos de la función arcangente tenemos [42]
La curiosa identidad conocida como ley de Morrie ,
es un caso especial de una identidad que contiene una variable:
La misma identidad de coseno en radianes es
Similar,
es un caso especial de una identidad con x = 20 °:
Para el caso x = 15 °,
Para el caso x = 10 °,
La misma identidad coseno es
Similar,
Similar,
Lo siguiente quizás no se generalice tan fácilmente a una identidad que contiene variables (pero vea la explicación a continuación):
La medida en grados deja de ser más feliz 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 enteros menores que 21/2que son primos relativos a (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 irreductibles : 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 arriba. Las dos identidades que preceden a esta última surgen de la misma manera con 21 reemplazadas por 10 y 15, respectivamente.
Otras identidades de coseno incluyen: [48]
y así sucesivamente para todos los números impares, y por lo tanto
Muchas de esas curiosas identidades provienen de hechos más generales como los siguientes: [49]
y
Combinar estos nos da
Si n es un número impar ( n = 2 m + 1 ) 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 polinomio y polos. Al establecer la frecuencia como frecuencia de corte, se puede demostrar la siguiente identidad:
Computación π [ editar ]
Una forma eficiente de calcular π se basa en la siguiente identidad sin variables, debido a Machin :
o, alternativamente, utilizando una identidad de Leonhard Euler :
o usando triples pitagóricos :
Otros incluyen
[50] [42]
[50]
[42]
Generalmente, para los 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 usando 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, el t n calculado será racional siempre que todos los valores de t 1 , ..., t n −1 sean racionales. Con estos valores,
donde en todas menos la primera expresión, hemos usado fórmulas de medio ángulo tangente. Las dos primeras fórmulas funcionan incluso si uno o más de los valores de t k no están dentro de (−1, 1) . Tenga en cuenta que cuando 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 de Pitágoras (2 pq , q 2 - p 2 , q 2 + p 2 ) .
Por ejemplo, para n = 3 términos,
para cualquier a , b , c , d > 0 .
Un mnemónico útil para ciertos valores de senos y cosenos [ editar ]
Para ciertos ángulos simples, los senos y cosenos toman la forma √ n/2para 0 ≤ n ≤ 4 , lo que los hace fáciles de recordar.
Miscelánea [ editar ]
Con la proporción áurea φ :
Consulte también las constantes trigonométricas expresadas en radicales reales .
Una identidad de Euclides [ editar ]
Euclides mostró en el Libro XIII, Proposición 10 de sus Elementos que el área del cuadrado en el lado de un pentágono regular inscrito en un círculo es igual a la suma de las áreas de los cuadrados en los lados del hexágono regular y el decágono regular. inscrito en el mismo círculo. En el lenguaje de la trigonometría moderna, esto dice:
Ptolomeo usó esta proposición para calcular algunos ángulos en su tabla de acordes .
Composición de funciones trigonométricas [ editar ]
Esta identidad implica una función trigonométrica de una función trigonométrica: [51]
donde J i son funciones de Bessel .
Cálculo [ editar ]
En cálculo, las relaciones indicadas a continuación requieren que los ángulos se midan en radianes ; las relaciones se volverían más complicadas si los ángulos se midieran en otra unidad, como grados. Si las funciones trigonométricas se definen en términos de geometría, junto con las definiciones de longitud y área del arco , sus derivadas se pueden encontrar verificando dos límites. El primero es:
verificado usando el círculo unitario y el teorema de apretar . El segundo límite es:
verificado usando la identidad tanX/2 = 1 - cos x/pecado x. Habiendo establecido estos dos límites, se puede usar la definición de límite de la derivada y los teoremas de la suma para demostrar que (sen x ) ′ = cos x y (cos x ) ′ = −sin x . Si las funciones seno y coseno están definidas por su serie de Taylor , entonces las derivadas se pueden encontrar diferenciando la serie de potencias término por término.
El resto de las funciones trigonométricas se pueden diferenciar utilizando las identidades anteriores y las reglas de diferenciación : [52] [53] [54]
Las identidades integrales se pueden encontrar en Lista de integrales de funciones trigonométricas . Algunas formas genéricas se enumeran a continuación.
Implicaciones [ editar ]
El hecho de que la diferenciación de funciones trigonométricas (seno y coseno) dé como resultado combinaciones lineales de las mismas dos funciones es de fundamental importancia para muchos campos de las matemáticas, incluidas las ecuaciones diferenciales y las transformadas de Fourier .
Algunas ecuaciones diferenciales satisfechas por la función seno [ editar ]
Sea i = √ −1 la unidad imaginaria y sea ∘ la composición de los operadores diferenciales. Entonces, para cada entero positivo impar n ,
(Cuando k = 0, entonces el número de operadores diferenciales que se componen es 0, por lo que el término correspondiente en la suma anterior es solo (sen x ) n .) Esta identidad se descubrió como un subproducto de la investigación en imágenes médicas . [55]
Definiciones exponenciales [ editar ]
Ver también: funciones hiperbólicas y funciones hiperbólicas inversas
Función
Función inversa [56]
cis θ = e i θ {\displaystyle \operatorname {cis} \theta =e^{i\theta }}
Otras identidades "condicionales" para el caso α + β + γ = 180 ° [ editar ]
Las siguientes fórmulas se aplican a triángulos planos arbitrarios y se derivan de α + β + γ = 180 °, siempre que las funciones que aparecen en las fórmulas estén bien definidas (esta última se aplica solo a las fórmulas en las que ocurren tangentes y cotangentes).
Varios [ editar ]
Núcleo de Dirichlet [ editar ]
Artículo principal: núcleo de Dirichlet
El kernel de Dirichlet D n ( x ) es la función que ocurre en ambos lados de la siguiente identidad:
La convolución de cualquier función integrable del período 2 π con el núcleo de Dirichlet coincide con la aproximación de Fourier de n -ésimo grado de la función. Lo mismo vale para cualquier medida o función generalizada .
Sustitución de medio ángulo tangente [ editar ]
Artículo principal: Sustitución de medio ángulo tangente
Si ponemos
luego [57]
donde e ix = cos x + i sen x , a veces abreviado como cis x .
Cuando esta sustitución de t por tanX/2se usa en cálculo , se sigue que sen x se reemplaza por2 t/1 + t 2, cos x se reemplaza por1 - t 2/1 + t 2y el diferencial d x se reemplaza por2 d t/1 + t 2. De este modo, se convierten funciones racionales de sen x y cos x en funciones racionales de t para encontrar sus antiderivadas .
Ver también [ editar ]
La desigualdad de Aristarco
Derivadas de funciones trigonométricas
Constantes trigonométricas exactas (valores de seno y coseno expresados en surds)
Exsecante
Fórmula de medio lado
Función hiperbólica
Leyes para la solución de triángulos:
Ley de los cosenos
Ley esférica de los cosenos
Ley de los senos
Ley de las tangentes
Ley de los cotangentes
Fórmula de Mollweide
Lista de integrales de funciones trigonométricas
Mnemónicos en trigonometría
Pentagramma mirificum
Pruebas de identidades trigonométricas
Prostaphaeresis
Teorema de pitágoras
Fórmula de medio ángulo tangente
Número trigonométrico
Trigonometría
Constantes trigonométricas expresadas en radicales reales
Usos de la trigonometría
Versine y haversine
Notas [ editar ]
^ Heng, Cheng y Talbert, "Matemáticas adicionales" , página 228
^ Schaumberger, N. (1974). "Un teorema de aula sobre irracionalidades trigonométricas". Matemáticas universitarias de dos años. J . 5 (1): 73–76. doi : 10.2307 / 3026991 . JSTOR 3026991 .
^ Weisstein, Eric W. "Teorema de Niven" . MathWorld .
^ Abramowitz y Stegun, p. 73, 4.3.45
^ Abramowitz y Stegun, p. 78, 4.3.147
^ Nielsen (1966 , págs. Xxiii – xxiv)
^ Selby 1970 , p. 188
^ Abramowitz y Stegun, p. 72, 4.3.13–15
^ Abramowitz y Stegun, p. 72, 4.3.9
^ Abramowitz y Stegun, p. 72, 4.3.7–8
^ The Trigonographer (28 de septiembre de 2015). "Suma y diferencia de ángulos para seno y coseno" . Trigonography.com . Consultado el 28 de mayo de 2017 .
^ Abramowitz y Stegun, p. 72, 4.3.16
^ a b c d Weisstein, Eric W. "Fórmulas de adición trigonométricas" . MathWorld .
^ Abramowitz y Stegun, p. 72, 4.3.17
^ Abramowitz y Stegun, p. 72, 4.3.18
^ a b "Identidades de suma y diferencia de ángulos" . www.milefoot.com . Consultado el 12 de octubre de 2019 .
^ Abramowitz y Stegun, p. 72, 4.3.19
^ Abramowitz y Stegun, p. 80, 4.4.32
^ Abramowitz y Stegun, p. 80, 4.4.33
^ Abramowitz y Stegun, p. 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 . págs. 207–211. doi : 10.1145 / 74540.74566 . ISBN 0-89791-325-6.
^ Michael Hardy (agosto-septiembre de 2016). "Sobre tangentes y secantes de sumas infinitas" . American Mathematical Monthly . 123 (7): 701–703. doi : 10.4169 / amer.math.monthly.123.7.701 .
^ a b Weisstein, Eric W. "Fórmulas de múltiples ángulos" . MathWorld .
^ Abramowitz y Stegun, p. 74, 4.3.48
↑ a b Selby 1970 , pág. 190
↑ a b Abramowitz y Stegun, p. 72, 4.3.20–22
^ a b Weisstein, Eric W. "Fórmulas de medio ángulo" . MathWorld .
^ Abramowitz y Stegun, p. 72, 4.3.24–26
^ Weisstein, Eric W. "Fórmulas de doble ángulo" . MathWorld .
^ Abramowitz y Stegun, p. 72, 4.3.27–28
^ Ward, Ken. "Fórmula recursiva de múltiples ángulos" . Páginas de matemáticas de Ken Ward .
^ Abramowitz y Stegun, p. 72, 4.3.31–33
^ Abramowitz y Stegun, p. 72, 4.3.34–39
^ Nelson, Roger. "Matemáticas sin palabras", The College Mathematics Journal 33 (2), marzo de 2002, p. 130.
^ Johnson, Warren P. (abril de 2010). "Identidades trigonométricas a la Hermite". American Mathematical Monthly . 117 (4): 311–327. doi : 10.4169 / 000298910x480784 .
^ "Ángulo múltiple de identidad del producto" .
^ Apostol, TM (1967) Cálculo. 2ª edición. Nueva York, NY, Wiley. Pp 334-335.
^ a b Weisstein, Eric W. "Teorema de la adición armónica" . MathWorld .
^ Ortiz Muñiz, Eddie (febrero de 1953). "Un método para derivar diversas fórmulas en electrostática y electromagnetismo utilizando identidades trigonométricas de Lagrange". Revista estadounidense de física . 21 (2): 140. Código Bibliográfico : 1953AmJPh..21..140M . doi : 10.1119 / 1.1933371 .
^ Jeffrey, Alan; Dai, Hui-hui (2008). "Sección 2.4.1.6". Manual de fórmulas e integrales matemáticas (4ª ed.). Prensa académica. ISBN 978-0-12-374288-9.
^ Knapp, Michael P. "Senos y cosenos de ángulos en progresión aritmética" (PDF) .
^ a b c d Wu, Rex H. "Prueba sin palabras: Identidad de Arctangent de Euler", Revista de Matemáticas 77 (3), junio de 2004, p. 189.
^ Abramowitz y Stegun, p. 74, 4.3.47
^ Abramowitz y Stegun, p. 71, 4.3.2
^ Abramowitz y Stegun, p. 71, 4.3.1
^ Abramowitz y Stegun, p. 75, 4.3.89–90
^ Abramowitz y Stegun, p. 85, 4.5.68–69
^ Humilde, Steve (noviembre de 2004). "Identidad de la abuela". Gaceta matemática . 88 : 524-525. doi : 10.1017 / s0025557200176223 .
^ Weisstein, Eric W. "Sine" . MathWorld .
↑ a b Harris, Edward M. "Sums of Arctangents", en Roger B. Nelson, Pruebas sin palabras (1993, Asociación Matemática de América), p. 39.
^ Milton Abramowitz e Irene Stegun, Manual de funciones matemáticas con fórmulas, gráficos y tablas matemáticas , Publicaciones de Dover , Nueva York, 1972, fórmulas 9.1.42–9.1.45
^ Abramowitz y Stegun, p. 77, 4.3.105–110
^ Abramowitz y Stegun, p. 82, 4.4.52–57
^ Finney, Ross (2003). Cálculo: gráfico, numérico, algebraico . Glenview, Illinois: Prentice Hall. págs. 159-161 . ISBN 0-13-063131-0.
^ Kuchment, Peter; Lvin, Sergey (agosto de 2013). "Identidades para sen x que provienen de imágenes médicas". American Mathematical Monthly . 120 : 609–621. arXiv : 1110.6109 . doi : 10.4169 / amer.math.monthly.120.07.609 .
^ Abramowitz y Stegun, p. 80, 4.4.26–31
^ Abramowitz y Stegun, p. 72, 4.3.23
Referencias [ editar ]
Abramowitz, Milton ; Stegun, Irene A. , eds. (1972). Manual de funciones matemáticas con fórmulas, gráficos y tablas matemáticas . Nueva York: Publicaciones de Dover . ISBN 978-0-486-61272-0.
Nielsen, Kaj L. (1966), Tablas logarítmicas y trigonométricas a cinco lugares (2a ed.), Nueva York: Barnes & Noble , LCCN 61-9103
Selby, Samuel M., ed. (1970), Tablas matemáticas estándar (18a ed.), The Chemical Rubber Co.
Enlaces externos [ editar ]
Valores de sin y cos, expresados en surds, para múltiplos enteros de 3 ° y de 5+5/8° , y para los mismos ángulos csc y sec y tan