me gustaria probar esomiz1miz2=miz1−z2
. Obviamente, esto es cierto para los números reales, pero aquí,z1=X1+ yoy1
yz2=X2+ yoy2
, por lo que debe probarse.
miz1miz2=miX1( porque(y1) + yo peco(y1) )miX2( porque(y2) + yo peco(y2) )=miX1miX2∗( porque(y1) + yo peco(y1) )( porque(y2) + yo peco(y2) )
puedo ignorarmiX1miX2
por ahora y tratar de demostrar que
( porque(y1) + yo peco(y1) )( porque(y2) + yo peco(y2) )= cos ( _ _y1−y2) + yo peco(y1−y2)
Entonces, porquemiX1miX2=miX1−X2
(X1
yX2
son reales), sabría quemiX1−X2= porque(y1−y2) + yo peco(y1−y2)
cual esmiz1−z2
.
Creo que este paso intermedio que no sé cómo hacer se puede hacer con las identidades trigonométricas,porque( α - β) = porqueporque _β+ pecadoα pecadoβ
ypecado( α - β) = pecadoporque _β− porqueα pecadoβ
. Simplemente no veo cómo hacer que eso funcione.
saulspatz
$\sin\alpha\sin\beta$
imprime comosaulspatz