Citat:
Ursprungligen postat av
Rodah
Visa att cos(s-t) = cos(s)*cos(t)+sin(s)*sin(t)
Hur ska jag börja?
Hur gör jag om jag vill visa additionssatsen och subtraktionssatsen för sinus, och även additionssatsen för cosinus?
Låt s och t beteckna två vinklar i enhetscirkeln. Beteckna Q = (cos(s),sin(s)) och P = (cos(t),sin(t)). Dra ett linjesegment PQ. Tillämpa avståndsformeln så får vi:
(PQ)^2 = (cos(s)-cos(t))^2 + (sin(s) - sin(t))^2
Utveckla kvadraterna i HL så erhålls:
(PQ)^2 = cos^2(s)-2cos(s)cos(t) + cos^2(t) + sin^2(s)-2sin(s)sin(t) + sin^2(t) = cos^2(s) + sin^2(s) + cos^2(t) + sin^2(t) - 2cos(s)cos(t) - 2sin(s)sin(t) = 2-2(cos(s)cos(t)+sin(s)sin(t).
Cosinussatsen på triangeln PQO, där O är origo, ger:
(PQ)^2 = 1^2 + 1^2 - 2*1*1cos(u-v) = 2 -2cos(u-v)
Sätt de båda uttrycken lika med varandra:
2-2(cos(s)cos(t)+sin(s)sin(t) = 2 -2cos(u-v) <=> cos(u-v) = cos(s)cos(t)+sin(s)sin(t)