Este artículo es una colaboración enviada por fede
Introducción
Haciendo uso del hecho de que a cada punto del plano le corresponde un vector y de que los vectores se suman según la regla del paralelogramo, vamos a demostrar las fórmulas para el seno y el coseno de la suma de dos ángulos en función de los senos y cosenos de cada uno de ellos. Concretamente vamos a demostrar las siguientes igualdades:
Demostración

La recta por el origen que hace un ángulo con el eje
corta al círculo con centro en el origen y radio unidad en un punto de coordenadas
, por definición de seno y coseno.
Si rotamos los puntos del plano alrededor del origen un ángulo , el punto
se mueve a la posición
, y el punto
se mueve a la posición
(ver figura).
Por lo tanto un punto cualquiera se mueve a la posición
.
En particular el punto se mueve a la posición
que al multiplicar nos queda:
.
Pero el punto se mueve claramente con la rotación a la posición
. De donde, igualando coordenadas, resultan las dos fórmulas:
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉



Una de las demostraciones que más me gusta de este hecho consiste en darse cuenta que la composición de 2 giros en el plano es un giro de ángulo la suma, y que algebraicamente esto se corresponde con el producto de matrices:
Como dice Tito Eliatron, y haciendo referencia a la célebre frase de Hadamard, ambas identidades se resumen en:
Necesito ayuda. Como se cual es la identidad del coseno teóricamente
Como decíais que queríais demostraciones que no entraran en el campo complejo…. 😉
Aunque aquí vemos el enorme poder de simplificación que suponen los avances matemáticos, debemos apreciar el enorme poder formativo de la demostración puramente geométrica (a base exclusivamente de triángulos y relaciones entre ellos) que se enseña (o se enseñaba) en la educación secundaria.
Está muy bien ese enfoque, similar al que tradicionalmente se explica en 1º de Bachillerato:
http://www.xente.mundo-r.com/ilarrosa/GeoGebra/seno_coseno_suma.html
pero mejor motivado y con la ventaja añadida de que vale para ángulos cualesquiera. El tradicional, sin razonamientoas suplementarios, solo es válido cuando los sumansos y la suma son menores que pi/2. Una alternativa realmete simple, que solo requiere el conocimiento previo del teorema del seno, es esta otra:
http://www.xente.mundo-r.com/ilarrosa/GeoGebra/seno_suma.html
y que es válida siempre que la suma sea menor que pi.
Actualizando enlaces, que mundo-r canceló el alojamiento web …
https://ilarrosa.github.io/GeoGebra/seno_coseno_suma.html
https://ilarrosa.github.io/GeoGebra/seno_suma.html
Y aprovecho para incluir otras:
https://ilarrosa.github.io/GeoGebra/seno_suma_areas.html
https://ilarrosa.github.io/GeoGebra/seno_suma_Ptolomeo.html
https://ilarrosa.github.io/GeoGebra/seno_diferencia_areas.html
Más trigonometría:
https://ilarrosa.github.io/GeoGebra/index_trigonometria.html
Página principal:
https://ilarrosa.github.io/GeoGebra
[…] Gaussianos ya publicamos una demostración de este hecho (una colaboración de Fede) hace un tiempo (¡¡casi seis años!!). Os recomiendo que le echéis un […]
A ver, ¿dònde puedo encontrar una demostración que abarque todos los casos?
Me gusta mucho esta clase