{{ toc.name }}
{{ toc.signature }}
{{ toc.name }} {{ 'ml-btn-view-details' | message }}
{{ stepNode.name }}
{{ 'ml-toc-proceed' | message }}
Lektion
Övningar
Rekommenderade
Tester
Ett fel uppstod, försök igen senare!
Kapitel {{ article.chapter.number }}
{{ article.number }}. 

{{ article.displayTitle }}

{{ article.intro.summary }}
{{ 'ml-btn-show-less' | message }} {{ 'ml-btn-show-more' | message }} expand_more
{{ 'ml-heading-abilities-covered' | message }}
{{ ability.description }} {{ ability.displayTitle }}

{{ 'ml-heading-lesson-settings' | message }}

{{ 'ml-lesson-show-solutions' | message }}
{{ 'ml-lesson-show-hints' | message }}
{{ 'ml-lesson-number-slides' | message : article.intro.bblockCount}}
{{ 'ml-lesson-number-exercises' | message : article.intro.exerciseCount}}
{{ 'ml-lesson-time-estimation' | message }}

Bevis

Subtraktionsformeln för cosinus

För att beräkna cosinus av en differens använder man sinus och cosinus för båda vinklar i differensen.

För att bevisa sambandet kan man utgå från två godtyckliga vinklar, och i enhetscirkeln. Genom att dra vinkelstreck från origo till cirkeln hamnar man på punkter som kan kallas och Koordinaterna för dessa punkter anges med vinklarnas sinus- och cosinusvärden.

Avståndet, mellan punkterna och kan bestämmas med hjälp av avståndsformeln.

Genom att sätta in koordinaterna och använda andra kvadreringsregeln får man ett uttryck för
Medelpunktsvinkeln mellan och är skillnaden mellan och dvs.

Tänk nu att man roterar hela triangeln så att hörnet i hamnar på -axeln. Medelpunktsvinkeln kommer inte att ändras och avståndet är fortfarande samma. Låt och beteckna de punkter där hörnen ligger efter rotationen.

Nu kan man beräkna med hjälp av avståndsformeln igen, men med koordinaterna för och
De två uttrycken för längden kan man nu sätta lika med varandra eftersom det är samma avstånd.
Cosinusvärdet av en differens är alltså
Q.E.D.