Bevis for cosinusrelationerne
Cosinusrelationerne
Bevis
Vi lader trekant ABC være en vilkårlig trekant.
Trekanten er enten spidsvinklet, stumpvinklet eller retvinklet. Vi beviser cosinusrelationerne for hvert af de tre tilfælde.
Trekanten er spidsvinklet
Hvis trekant ABC er spidsvinklet, så falder alle højderne inde i trekanten.
Vi tegner højden h fra C:
Vi lader punkt D være skæringspunktet mellem højden h og siden c.
Da højden h fra vinkel C står vinkelret på siden c, så er trekant ACD og trekant BCD vinkelrette.
Ifølge Pythagoras' sætning er
Vi omskriver ligningen ved at benytte en kvadratsætning:
= | ||
= |
For at kunne omskrive ligningen yderligere, så skal vi erstatte x og h med nogle udtryk, hvor hverken x eller h indgår.
Vi benytter, at trekant ACD også er retvinklet, dvs. at
Dermed kan vi omskrive ligningen a2 = c2 + x2 - 2cx + h2 yderligere:
= | ||
= | ||
= |
Vi mangler nu kun at udtrykke x ved b o...