W trójkącie prostokątnym o bokach długości a, bc, gdzie c to długość przeciwprostokątnej, zależność między długościami boków ma postać równości:

c2=a2+b2

Powstaje naturalne pytanie o to, czy w trójkącie, który nie jest prostokątny, jest podobna zależność.

Weźmy na przykład trójkąt ostrokątnytrójkąt ostrokątnytrójkąt ostrokątny.

Poprowadźmy wysokość opuszczoną z wierzchołka A i oznaczmy h=ADx=BD.

R1C0xtbqa9jEY

Z twierdzenia Pitagorasa w trójkącie ABD wynika, że c2=x2+h2.

Ponieważ a>xb>h, więc a2>x2b2>h2.

Zatem w tym przypadku c2<a2+b2.

Moglibyśmy zatem zapisać c2=a2+b2p, gdzie p jest pewną liczbą.

Podobne rozumowanie moglibyśmy przeprowadzić dla trójkąta rozwartokątnegotrójkąt rozwartokątnytrójkąta rozwartokątnego, dochodząc do analogicznej równości.

Wyznaczymy tę liczbę p w zależności od boków ab oraz kąta między tymi bokami.

W ten sposób udowodnimy następujące twierdzenie.

Twierdzenie cosinusów
Twierdzenie: Twierdzenie cosinusów

W dowolnym trójkącie kwadrat długości boku jest równy sumie kwadratów długości dwóch pozostałych boków tego trójkąta pomniejszonej o podwojony iloczyn długości tych boków i cosinusa kąta między tymi bokami.

Przy standardowych oznaczeniach trójkąta, takich jak na rysunku,

R15KfIMwWC3Qw

tezę twierdzenia możemy zapisać w postaci:

a2=b2+c2-2·b·c·cosα
b2=a2+c2-2·a·c·cosβ
c2=a2+b2-2·a·b·cosγ
Dowód

Wystarczy wykazać prawdziwość jednej z tych równości.

Dowód przeprowadzimy w trzech przypadkach: gdy kąt α jest ostry, gdy jest prosty oraz gdy jest rozwarty.

  1. Gdy kąt α jest ostry, to co najmniej jeden z pozostałych dwóch kątów tego trójkąta też jest ostry.

    Bez straty ogólności rozumowania możemy założyć, że kąt γ jest ostry.

    Wtedy spodek D wysokości trójkąta ABC opuszczonej z wierzchołka B leży na boku AC.

    Niech AD=x oraz BD=h, jak na rysunku.

    R1I1rWEWDAa3Z

    Wtedy CD=b-x.

    Z twierdzenia Pitagorasa zastosowanego dla trójkątów ABDBCD otrzymujemy c2=x2+h2 oraz a2=b-x2+h2.

    Drugą z tych równości możemy zapisać w postaci a2=b2-2bx+x2+h2, więc stąd i z pierwszej równości otrzymujemy a2=b2-2bx+c2.

    Z definicji funkcji cosinus kąta ostrego α w trójkącie prostokątnym ABD wynika, że cosα=xc, skąd x=ccosα.

    Zatem a2=b2-2bccosα+c2, czyli a2=b2+c22bccosα, co kończy dowód w tym przypadku.

  2. Gdy kąt α jest prosty.

    ReE3pnUa6CBHt

    Wtedy z twierdzenia Pitagorasa otrzymujemy a2=b2+c2.

    Ponieważ cosα=cos90°=0, więc równość tę możemy zapisać w postaci a2=b2+c2-2bc·0=b2+c2-2bccosα.

    Zatem w tym przypadku również jest ona prawdziwa.

  3. Gdy kąt α jest rozwarty.

    Wtedy spodek D wysokości trójkąta ABC opuszczonej z wierzchołka B leży na prostej AC tak, że punkt A leży między punktami CD.

    Niech AD=x oraz BD=h, jak na rysunku.

    Wtedy CD=b+x.

    R1QioxvXbEgq6

    Z twierdzenia Pitagorasa zastosowanego dla trójkątów ABDBCD otrzymujemy c2=x2+h2 oraz a2=b+x2+h2.

    Drugą z tych równości możemy zapisać w postaci a2=b2+2bx+x2+h2, więc stąd i z pierwszej równości otrzymujemy a2=b2+2bx+c2.

    Kąty BACDAB są przyległe, więc DAB=180°-α.

    Ponieważ kąt α jest rozwarty, więc kąt 180°-α jest ostry.

    Z definicji funkcji cosinus kąta ostrego 180°-α w trójkącie prostokątnym ABD wynika, że cos180°-α=xc, skąd x=ccos180°-α.

    Ze wzoru redukcyjnego wynika, że cos180°-α=-cosα, więc x=ccos180°-α=-ccosα.

    Zatem a2=b2+2bx+c2=b2+2b(ccosα)+c2=b2+c22bccosα, a więc w tym przypadku równość także jest prawdziwa.

To kończy dowód.

Twierdzenie cosinusów nazywamy też twierdzeniem Carnota. Często też zależność między długościami boków trójkąta i cosinusem jednego z kątów tego trójkąta nazywa się wzorem cosinusów lub wzorem Carnota. Twierdzenie cosinusów jest uogólnieniem twierdzenia Pitagorasa. Stosujemy je dla dowolnego trójkąta, choć w przypadku trójkąta prostokątnego sprowadza się ono do twierdzenia Pitagorasa, co zresztą pokazaliśmy w dowodzie twierdzenia cosinusów.

W kolejnych dwóch przykładach zapoznasz się z podstawowymi zastosowaniami twierdzenia cosinusów.

Przykład 1

Dwa boki trójkąta mają długości 45, a kąt między tymi bokami jest równy 35°. Obliczymy długość trzeciego boku. Wynik zaokrąglimy do części setnych.

Rozwiązanie:

Z twierdzenia cosinusów otrzymujemy a2=42+52-2·4·5·cos35°=41-40·cos35°, gdzie a oznacza długość trzeciego boku trójkąta.

Zatem a=41-40·cos35°.

Z tablic wartości funkcji trygonometrycznych odczytujemy przybliżoną wartość cos35°0,8192.

Zatem a2,87.

Przykład 2

Boki trójkąta mają długości 7, 89. Obliczymy marę największego kąta tego trójkąta. Wynik zaokrąglimy do 1°.

Rozwiązanie:

Największy kąt trójkąta, oznaczmy go przez α, leży naprzeciw najdłuższego boku.

Z twierdzenia cosinusów możemy zapisać 92=72+82-2·7·8·cosα.

Stąd cosα=72+82-922·7·8=270,2857.

Z tablic wartości funkcji trygonometrycznych odczytujemy przybliżoną wartość kąta α73°.

Słownik

trójkąt ostrokątny
trójkąt ostrokątny

to trójkąt, którego każdy kąt wewnętrzny jest ostry, a więc większy od 0° i mniejszy od 90°

trójkąt rozwartokątny
trójkąt rozwartokątny

to trójkąt, którego jeden kąt wewnętrzny jest rozwarty, a więc większy od 90° i mniejszy od 180° (dwa pozostałe kąty tego trójkąta są ostre)