Du forventes å kunne dette beviset til eksamen
For en vilkårlig trekant med sider a,b,c og motstående vinkler A,B,C gjelder sinAa=sinBb=sinCc.
Forutsetninger:
- Definisjonen av sinus i en rettvinklet trekant: sinv=hypotenusmotsta˚ende.
- Lurer du på hva som egentlig gjør noe til et gyldig matematisk bevis (i motsetning til bare et eksempel)? Se «Matematiske bevis» for en generell innføring – ikke nødvendig for å følge utledningen under, men nyttig bakgrunn.
- Fell høyden h fra hjørnet C ned på siden c (motsatt C). Høyden deler trekanten i to rettvinklede trekanter.
- I den ene rettvinklede trekanten, med vinkel A, er h motstående katet og b hypotenus:
sinA=bh⇒h=bsinA - I den andre rettvinklede trekanten, med vinkel B, er h motstående katet og a hypotenus:
sinB=ah⇒h=asinB - Begge uttrykkene er lik samme høyde h, så de er lik hverandre:
bsinA=asinB - Del begge sider på sinA⋅sinB:
sinAa=sinBb - Feller du i stedet høyden fra et annet hjørne, f.eks. fra A ned på a, gir nøyaktig samme argument sinBb=sinCc. Alle tre forholdene er derfor like.
sinAa=sinBb=sinCc ∎
Du forventes å kunne dette beviset til eksamen
For en vilkårlig trekant med sider a,b,c og vinkel A mellom sidene b og c gjelder a2=b2+c2−2bccosA.
Forutsetninger:
- Pytagoras' setning for rettvinklede trekanter.
- Den trigonometriske ettéren sin2A+cos2A=1 – følger direkte av definisjonene fra «Sinus, cosinus og tangens i rettvinklede trekanter» og Pytagoras: er motstående m, hosliggende n og hypotenus h, er sinA=hm og cosA=hn, så sin2A+cos2A=h2m2+n2=h2h2=1 (siden m2+n2=h2 per Pytagoras).
- Fell høyden h fra hjørnet C ned på siden c. Høyden treffer c i et punkt som deler den i to biter: én bit nærmest A (fra den rettvinklede trekanten ved A), og resten:
h=bsinA,biten nærmest A=bcosA,resten=c−bcosA - Bruk Pytagoras i den rettvinklede trekanten som inneholder siden a, høyden h og resten av c:
a2=h2+(c−bcosA)2 - Sett inn h=bsinA og gang ut parentesen:
a2=b2sin2A+c2−2bccosA+b2cos2A - Grupper de to leddene med b2, og bruk sin2A+cos2A=1:
a2=b2(sin2A+cos2A)+c2−2bccosA=b2+c2−2bccosA
a2=b2+c2−2bccosA ∎