Perpendicularitet (fra lat. perpendicularis - bogstaveligt talt lod) [1] - et binært forhold mellem forskellige objekter ( vektorer , linjer , underrum osv.).
Der er et generelt accepteret symbol for vinkelrethed: ⊥, foreslået i 1634 af den franske matematiker Pierre Erigon . For eksempel er vinkelret på linjer og skrevet som .
To rette linjer i en plan kaldes vinkelrette, hvis de danner 4 rette vinkler , når de skærer hinanden .
Om en linje vinkelret på en linje trukket gennem et punkt uden for linjen siger de, at der er en vinkelret faldet fra til . Hvis punktet ligger på linjen , så siger de, at der er en vinkelret på gendannet fra til (det forældede udtryk gendannet [2] ).
I koordinaterI et analytisk udtryk, rette linjer givet af lineære funktioner
og
vil være vinkelret, hvis følgende betingelse på deres skråninger er opfyldt
Trin 1: Brug et kompas til at tegne en halvcirkel centreret i punktet P , og få punkterne A og B.
Trin 2: Uden at ændre radius, konstruer to halvcirkler centreret i henholdsvis punkt A og B , der går gennem punkt P. Ud over punktet P er der et andet skæringspunkt for disse halvcirkler, lad os kalde det Q .
Trin 3: Forbind punkterne P og Q. PQ er vinkelret på linje AB .
Lad linjen være givet af punkterne og . En vinkelret går ned fra punktet til linjen . Så kan bunden af vinkelret findes som følger.
Hvis (lodret), så og . Hvis (vandret), så og .
I alle andre tilfælde:
; .To linjer i rummet er vinkelrette på hinanden, hvis de er henholdsvis parallelle med nogle andre to indbyrdes vinkelrette linjer, der ligger i samme plan. To linjer, der ligger i samme plan, kaldes vinkelrette (eller indbyrdes vinkelrette), hvis de danner fire rette vinkler.
Definition : En linje kaldes vinkelret på en plan, hvis den er vinkelret på alle linjer, der ligger i denne plan.
Tegn : Hvis en linje er vinkelret på to skærende linjer i en plan, så er den vinkelret på denne plan.
Et plan vinkelret på en af to parallelle linjer er også vinkelret på den anden. Gennem ethvert punkt i rummet går der en lige linje vinkelret på et givet plan, og desuden kun én.
To planer siges at være vinkelrette, hvis den dihedriske vinkel mellem dem er 90°.
Perpendikulæriteten af planer i det firedimensionale rum har to betydninger: Planer kan være vinkelrette i 3-dimensionel forstand, hvis de skærer hinanden i en ret linje (og derfor ligger i samme hyperplan ), og den dihedrale vinkel mellem dem er 90°.
Planer kan også være vinkelrette i 4-dimensionel forstand, hvis de skærer hinanden i et punkt (og derfor ikke ligger i samme hyperplan), og eventuelle 2 linjer tegnet i disse planer gennem deres skæringspunkt (hver linje i sit eget plan) er vinkelret.
I 4-dimensionelt rum kan nøjagtigt 2 indbyrdes vinkelrette planer i 4-dimensional forstand trækkes gennem et givet punkt (derfor kan 4-dimensionelt euklidisk rum repræsenteres som et kartesisk produkt af to planer). Hvis vi kombinerer begge typer vinkelret, så gennem dette punkt er det muligt at tegne 6 indbyrdes vinkelrette planer (vinkelret i enhver af de to ovennævnte værdier).
Eksistensen af seks indbyrdes vinkelrette planer kan forklares med følgende eksempel. Lad systemet af kartesiske koordinater x yzt være givet . For hvert par koordinatlinjer er der et plan, der inkluderer disse to linjer. Antallet af sådanne par er : xy , xz , xt , yz , yt , zt , og de svarer til 6 planer. De af disse planer, der inkluderer aksen af samme navn, er vinkelrette i den 3-dimensionelle betydning og skærer i en ret linje (f.eks. xy og xz , yz og zt ), og dem, der ikke inkluderer akserne af samme navn er vinkelrette i 4-dimensional betydning og skærer hinanden i punkt (for eksempel xy og zt , yz og xt ).
Lad et n-dimensionelt euklidisk rum (n>2) og det dertil knyttede vektorrum være givet , og linjen l med det vejledende vektorrum og hyperplanet med det vejledende vektorrum (hvor , ) hører til rummet .
Linjen l kaldes vinkelret på hyperplanet , hvis underrummet er ortogonalt i forhold til underrummet , dvs.