Forhold mellem ortogonale linjer
I analytisk plangeometri findes der en sætning der beskriver forholdet mellem ortogonale (vinkelrette) linjer.
Sætning
To linjer og , med hældningskoefficienterne henholdsvis og , er ortogonale netop, hvis produktet af deres hældninger er :
Bevis
Vi betragter tegningen. Kan vi se at;
Vi benytter os af Pythagoras' læresætning. Og ovenstående må således medføre følgende, da vi må kunne danne en retvinklet trekant (ABC).
Vi ser på tegningen. Længden kan vi se er hældningskoefficienten af ligningen . Dette må være sandt, da vi går længden én ud af abscisseaksen (x-aksen) må vi gå opad ordinataksen (y-aksen). Dette gælder også for , med den undtagelse at denne er negativ i sig selv. Derfor skriver vi det negative fortegn, således at længden |DC| bliver positiv (da negative længder ingen mening giver). F.eks. .
Længderne |AB| og |AC| er hypotenuser i de to mindre retvinklet trekanter der er indtegnet. Så Pythagoras benyttes også til at beskrive disse. (Meget uformelt sagt, benytter vi nu Pythagoras inden i Pythagoras) Overstående udtryk medfører derfor:
Dette udtryk reduceres nu bare med elementært algebra:
Vi ser således at første linje, , medfører den sidste linje, .
Sætningen er dermed bevist.
Medier brugt på denne side
(c) Dingler at the Danish language Wikipedia, CC BY-SA 3.0
Forholdet mellem ortogonale linjer