De Wikipedia, la enciclopedia libre
Ir a navegaciónSaltar a buscar
Cosenos y senos alrededor del círculo unitario

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.

Notación

Ángulos

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 alpha (), beta (), gamma () y theta () para representar ángulos . Varias unidades diferentes de medida de ángulos se utilizan ampliamente, incluidos grados , radianes y gradianos ( gons ):

1 rotación completa ( vuelta )

Si no se anota específicamente con () por 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:

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] [4] La condición análoga para la unidad radián requiere que el argumento dividido por es racional y da las soluciones

Funciones trigonométricas

Gráfica de las seis funciones trigonométricas, el círculo unitario y una línea para el ángulo 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, mientras que Cos (θ) , 1 y Cot (θ) son longitudes a lo largo del-eje a partir del 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 y respectivamente, donde denota el ángulo. Los paréntesis alrededor del argumento de las funciones a menudo se omiten, por ejemplo, y 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 y desde arriba:

Las funciones trigonométricas restantes secantes (), cosecante () y cotangente () se definen como las 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 .

Otras funciones

indica la función de signo , que se define como:

Funciones inversas

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 () o arcsine ( arcsin o asin ), satisface

y

Este artículo denotará la inversa de una función trigonométrica anteponiendo su nombre con "". La notación se muestra en la tabla siguiente.

La siguiente tabla muestra los nombres y dominios de las funciones trigonométricas inversas junto con el rango de sus valores principales habituales en radianes .

El símbolo denota el conjunto de todos los números reales ydenota el conjunto de todos los números enteros . El conjunto de todos los múltiplos enteros de se denota por

La notación de suma de Minkowski medio
donde denota la resta de conjuntos . En otras palabras, el dominio de y es el set de todos los números reales que no son de la forma por algún entero

Del mismo modo, el dominio de y es el set

donde es el conjunto de todos los números reales que no pertenecen al conjunto
dicho de otra manera, el dominio de y es el conjunto de todos los números reales que no tienen la forma por algún entero

Estas funciones trigonométricas inversas están relacionadas entre sí por las fórmulas:

que se mantienen siempre que estén bien definidos (es decir, siempre que están en los dominios de las funciones relevantes).

Soluciones a ecuaciones trigonométricas elementales

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 los valores dados y todos se encuentran dentro de los rangos apropiados para que las expresiones relevantes a continuación estén bien definidas . En la siguiente tabla, "para algunos"es solo otra forma de decir" para algún número entero "

Por ejemplo, si luego para algunos Mientras que si luego para algunos donde es incluso si ; extraño si Las ecuaciones y tienen las mismas soluciones que y respectivamente. En todas las ecuaciones anteriores, excepto en las que se acaban de resolver (es decir, excepto para/ y /), para fijo y el entero en la fórmula de la solución está determinada únicamente por

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í.

Identidades pitagóricas

En trigonometría, la relación básica entre el seno y el coseno viene dada por la identidad pitagórica:

donde medio y medio

Esto puede verse como una versión del teorema de Pitágoras , y se sigue de la ecuaciónpara el círculo unitario . Esta ecuación se puede resolver para el seno o el coseno:

donde el signo depende del cuadrante de

Dividiendo esta identidad por o 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):

Abreviaturas históricas

Todas las funciones trigonométricas de un ángulo. se puede 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. [ aclaración necesaria ]

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. Rara vez se utilizan hoy en día.

Reflexiones, cambios y periodicidad

Reflexionando en ().

Al examinar el círculo unitario, se pueden establecer las siguientes propiedades de las funciones trigonométricas.

Reflexiones

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 positivo -vector unitario. El mismo concepto también se puede aplicar a las líneas en un espacio euclidiano, donde el ángulo es el determinado por un paralelo a la línea dada a través del origen y el positivo-eje. Si una línea (vector) con dirección se refleja sobre 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 . [8]

Turnos y periodicidad

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.

  • Una vuelta completa , o o radián 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.
  • Una media vuelta , o o radián es el período de y como puede verse en estas definiciones y el período de las funciones trigonométricas definitorias. Por lo tanto, cambiando los argumentos de y por cualquier múltiplo de no cambia sus valores de función.
Para las funciones sin, cos, sec y csc con períodomedio 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 cambio adicional de así que todos juntos cambian el signo de un cambio por cualquier múltiplo impar de es decir, por con k un entero arbitrario. Cualquiera incluso múltiplo 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 o radianes es un cambio de medio período para y con punto (), obteniendo 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 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 sonLos 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.
Cambiando los argumentos de y por su trimestre de período) no produce resultados tan simples.

Identidades de suma y diferencia de ángulos

Ilustración de fórmulas de suma de ángulos para el seno y el coseno. El segmento enfatizado tiene una longitud unitaria.

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 ; las patas opuestas y adyacentes para este ángulo tienen longitudes respectivas y El pierna es en sí misma la hipotenusa de un triángulo rectángulo con ángulo ; los catetos de ese triángulo, por tanto, tienen longitudes dadas por y multiplicado por El pierna, como hipotenusa de otro triángulo rectángulo con ángulo igualmente conduce a segmentos de longitud y Ahora, observamos que el segmento "1" también es la hipotenusa de un triángulo rectángulo con ángulo ; el cateto opuesto a este ángulo tiene necesariamente una longitud mientras que la pierna adyacente tiene longitud 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. [12] (El diagrama admite más variantes para acomodar ángulos y sumas mayores que un ángulo recto.) Dividir todos los elementos del diagrama por proporciona otra variante (mostrada) que ilustra la fórmula de la 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.

Forma de matriz

Las fórmulas de suma y diferencia para seno y coseno se derivan del hecho de que una rotación del plano por ángulo siguiendo 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 matricial de la matriz de rotación para un ángulo con un vector de columna rotará el vector de columna en sentido antihorario por 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

Cuando la serie converge absolutamente entonces

Porque 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 son distintos de cero, entonces sólo 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

Dejar (por ) ser el polinomio simétrico elemental de k -ésimo grado en las variables

por eso es,

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:

etcétera. El caso de sólo un número finito de términos puede demostrarse mediante inducción matemática . [22]

Secantes y cosecantes de sumas

donde es el polinomio simétrico elemental de k -ésimo grado 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. [23] 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

Fórmulas de ángulo doble, triple ángulo y medio ángulo

Fórmulas de doble ángulo

Fórmulas para el doble de ángulo. [26]

Fórmulas de triple ángulo

Fórmulas para ángulos triples. [26]

Fórmulas de medio ángulo

[27] [28]

También

Mesa

Estos se pueden mostrar utilizando las identidades de suma y diferencia o las fórmulas de múltiples ángulos.

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 , dondees 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 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

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 a traves de [ 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

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. [32]

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 deel 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

Establecer ya sea o a 0 da las fórmulas habituales de medio ángulo tangente.

El producto infinito de Viète

(Consulte la fórmula de Viète y la función sinc .)

Fórmulas de reducción de potencia

Se obtiene resolviendo la segunda y tercera versiones de la fórmula del coseno de doble ángulo.

y en términos generales de poderes de o La siguiente es cierto, y puede deducirse usando la fórmula de De Moivre , la fórmula de Euler y el teorema del binomio [ citación necesaria ] .

Identidades de producto a suma y suma a producto

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.

Otras identidades relacionadas

  • [35]
  • Si (semicírculo), luego
  • Identidad triple tangente: Si (semicírculo), luego
En particular, la fórmula se cumple cuando son los tres ángulos de cualquier triángulo.
(Si alguno de 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 es abordado por como aumenta a través de valores positivos o disminuye a través de valores negativos. Esta es una compactificación de un punto de la línea real).
  • Identidad triple cotangente: Si (ángulo recto o un cuarto de círculo), luego

Identidad cotangente de Hermite

Charles Hermite demostró la siguiente identidad. [36] Supongamosson números complejos , ninguno de los cuales difiere en un múltiplo entero de  π . Dejar

(en particular, siendo un producto vacío , es 1). Luego

El ejemplo no trivial más simple es el caso  n  = 2 :

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

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 [37]

Combinaciones lineales

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 con la de y .

Seno y coseno

La combinación lineal, o suma armónica, de ondas seno y coseno es equivalente a una sola onda senoidal con un cambio de fase y amplitud escalada, [38] [39]

donde y se definen así:

Dado que

Cambio de fase arbitrario

De manera más general, para cambios de fase arbitrarios, tenemos

donde y satisfacer:

Más de dos sinusoides

El caso general dice [39]

donde

y

Identidades trigonométricas de Lagrange

Estas identidades, que llevan el nombre de Joseph Louis Lagrange , son: [40] [41] [42]

Una función relacionada es la siguiente función de llamado el kernel de Dirichlet .

ver prueba .

Otras sumas de funciones trigonométricas

Suma de senos y cosenos con argumentos en progresión aritmética: [43] si luego

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 son los tres ángulos de cualquier triángulo, es decir, si luego

Ciertas transformaciones fraccionarias lineales

Si viene dada por la transformación fraccional lineal

y de manera similar

luego

Dicho de manera más concisa, si para todos dejamos ser lo que llamamos arriba, entonces

Si es la pendiente de una línea, entonces es la pendiente de su rotación en un ángulo de

Funciones trigonométricas inversas

[44]

Composiciones de funciones trigonométricas y trigonométricas inversas

Relación con la función exponencial compleja

Con el número imaginario de la unidad satisfactorio

[45] ( fórmula de Euler ),
( Identidad de Euler ),
[46]
[47]

Estas fórmulas son útiles para probar muchas otras identidades trigonométricas. Por ejemplo, que e i ( θ + φ ) = e e 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

Para aplicaciones a funciones especiales , las siguientes fórmulas de productos infinitos para funciones trigonométricas son útiles: [48] [49]

Identidades sin variables

En términos de la función arcangente tenemos [44]

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  = 20 °:

Para el caso  = 15 °,

Para el caso  = 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 (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 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: [50]

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:

[51]

y

Combinar 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 polinomio y polos. Al establecer la frecuencia como frecuencia de corte, se puede demostrar la siguiente identidad:

Computación π

Una forma eficiente de calcular π a una gran cantidad de dígitos se basa en la siguiente identidad sin variables, debido a Machin . Esto se conoce como fórmula similar a Machin :

o, alternativamente, utilizando una identidad de Leonhard Euler :

o usando triples pitagóricos :

Otros incluyen:

[52] [44]
[52]
[44]

Generalmente, para los números t 1 , ..., t n −1 ∈ (−1, 1) para los cuales θ n = ∑n −1
k = 1
arctan 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 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 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

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

Con la proporción áurea :

Una identidad de Euclides

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

Esta identidad involucra una función trigonométrica de una función trigonométrica: [53]

donde J i son funciones de Bessel .

Cálculo

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 : [54] [55] [56]

Las identidades integrales se pueden encontrar en Lista de integrales de funciones trigonométricas . Algunas formas genéricas se enumeran a continuación.

Implicaciones

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

Dejar sea ​​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 . [57]

Definiciones exponenciales

Otras identidades "condicionales" para el caso α + β + γ = 180 °

Las siguientes fórmulas se aplican a triángulos planos arbitrarios y se siguen de 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 ocurren tangentes y cotangentes).

Varios

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 de período con el kernel de Dirichlet coincide con la función Aproximación de Fourier de th-grado. Lo mismo vale para cualquier medida o función generalizada .

Sustitución de medio ángulo tangente

Si ponemos

luego [59]

donde a veces abreviado como  cis x .

Cuando esta sustitución de para broncearseX/2se utiliza en cálculo , se sigue que es reemplazado por 2 t/1 + t 2, es reemplazado por 1 - t 2/1 + t 2y el diferencial d x se reemplaza por2 d t/1 + t 2. De este modo, uno convierte funciones racionales de y a funciones racionales de para encontrar sus antiderivadas .

Ver también

  • La desigualdad de Aristarco
  • Derivadas de funciones trigonométricas
  • Constantes trigonométricas exactas (valores de seno y coseno expresados ​​en surds)
  • Existente
  • 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

  1. ^ Heng, Cheng y Talbert, "Matemáticas adicionales" , página 228
  2. ^ 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 .
  3. ^ Garibaldi, Skip (junio de 2008). "Algo más de lo que los gobernadores necesitan saber sobre trigonometría" . Revista de Matemáticas . 81 (3): 191–200. doi : 10.1080 / 0025570X.2008.11953548 . ISSN 0025-570X . 
  4. ^ Weisstein, Eric W. "Teorema de Niven" . MathWorld .
  5. ^ Abramowitz y Stegun, p. 73, 4.3.45
  6. ^ Abramowitz y Stegun, p. 78, 4.3.147
  7. ^ Nielsen (1966 , págs. Xxiii – xxiv)
  8. ^ Selby 1970 , p. 188
  9. ^ Abramowitz y Stegun, p. 72, 4.3.13–15
  10. ^ Abramowitz y Stegun, p. 72, 4.3.9
  11. ^ Abramowitz y Stegun, p. 72, 4.3.7–8
  12. ^ 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 .
  13. ^ Abramowitz y Stegun, p. 72, 4.3.16
  14. ^ a b c d Weisstein, Eric W. "Fórmulas de adición trigonométricas" . MathWorld .
  15. ^ Abramowitz y Stegun, p. 72, 4.3.17
  16. ^ Abramowitz y Stegun, p. 72, 4.3.18
  17. ^ a b "Identidades de suma y diferencia de ángulos" . www.milefoot.com . Consultado el 12 de octubre de 2019 .
  18. ^ Abramowitz y Stegun, p. 72, 4.3.19
  19. ^ Abramowitz y Stegun, p. 80, 4.4.32
  20. ^ Abramowitz y Stegun, p. 80, 4.4.33
  21. ^ Abramowitz y Stegun, p. 80, 4.4.34
  22. ^ 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.
  23. ^ 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 .
  24. ^ a b Weisstein, Eric W. "Fórmulas de múltiples ángulos" . MathWorld .
  25. ^ Abramowitz y Stegun, p. 74, 4.3.48
  26. ↑ a b Selby 1970 , pág. 190
  27. ↑ a b Abramowitz y Stegun, p. 72, 4.3.20–22
  28. ^ a b Weisstein, Eric W. "Fórmulas de medio ángulo" . MathWorld .
  29. ^ Abramowitz y Stegun, p. 72, 4.3.24–26
  30. ^ Weisstein, Eric W. "Fórmulas de doble ángulo" . MathWorld .
  31. ^ Abramowitz y Stegun, p. 72, 4.3.27–28
  32. ^ Ward, Ken. "Fórmula recursiva de múltiples ángulos" . Páginas de matemáticas de Ken Ward .
  33. ^ Abramowitz y Stegun, p. 72, 4.3.31–33
  34. ^ Abramowitz y Stegun, p. 72, 4.3.34–39
  35. ^ Nelson, Roger. "Matemáticas sin palabras", The College Mathematics Journal 33 (2), marzo de 2002, p. 130.
  36. ^ Johnson, Warren P. (abril de 2010). "Identidades trigonométricas a la Hermite". American Mathematical Monthly . 117 (4): 311–327. doi : 10.4169 / 000298910x480784 .
  37. ^ "Ángulo múltiple de identidad del producto" .
  38. ^ Apostol, TM (1967) Cálculo. 2ª edición. Nueva York, NY, Wiley. Pp 334-335.
  39. ^ a b Weisstein, Eric W. "Teorema de la adición armónica" . MathWorld .
  40. ^ 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 .
  41. ^ 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. pag. 185. ISBN 9780387791463. Extracto de la página 185
  42. ^ 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.
  43. ^ Knapp, Michael P. "Senos y cosenos de ángulos en progresión aritmética" (PDF) .
  44. ^ 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.
  45. ^ Abramowitz y Stegun, p. 74, 4.3.47
  46. ^ Abramowitz y Stegun, p. 71, 4.3.2
  47. ^ Abramowitz y Stegun, p. 71, 4.3.1
  48. ^ Abramowitz y Stegun, p. 75, 4.3.89–90
  49. ^ Abramowitz y Stegun, p. 85, 4.5.68–69
  50. ^ Humilde, Steve (noviembre de 2004). "Identidad de la abuela". Gaceta matemática . 88 : 524-525. doi : 10.1017 / s0025557200176223 .
  51. ^ Weisstein, Eric W. "Sine" . MathWorld .
  52. ↑ 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.
  53. ^ 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
  54. ^ Abramowitz y Stegun, p. 77, 4.3.105–110
  55. ^ Abramowitz y Stegun, p. 82, 4.4.52–57
  56. ^ Finney, Ross (2003). Cálculo: gráfico, numérico, algebraico . Glenview, Illinois: Prentice Hall. págs.  159-161 . ISBN 0-13-063131-0.
  57. ^ Kuchment, Peter; Lvin, Sergey (agosto de 2013). "Identidades para sen  x que provienen de imágenes médicas". American Mathematical Monthly . 120 (7): 609–621. arXiv : 1110.6109 . doi : 10.4169 / amer.math.monthly.120.07.609 .
  58. ^ Abramowitz y Stegun, p. 80, 4.4.26–31
  59. ^ Abramowitz y Stegun, p. 72, 4.3.23

Referencias

  • 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

  • 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
  • Lista completa de fórmulas trigonométricas