Perpendikulaarisuus ( lat. perpendicularis - kirjaimellisesti luoti) [1] - binäärisuhde eri objektien välillä ( vektorit , viivat , aliavaruudet jne.).
Pystysuoralle on yleisesti hyväksytty symboli: ⊥, jonka ranskalainen matemaatikko Pierre Erigon ehdotti vuonna 1634 . Esimerkiksi rivien ja kohtisuora kirjoitetaan muodossa .
Kahta tasossa olevaa suoraa kutsutaan kohtisuoraksi, jos ne muodostavat 4 suoraa kulmaa leikkaaessaan .
Suuntaviivasta, joka on kohtisuorassa viivan ulkopuolisen pisteen kautta vedettyä linjaa vastaan , sanotaan, että on kohtisuora , joka on pudonnut kohdasta . Jos piste on suoralla , he sanovat, että on olemassa kohtisuora palautettuun kohtaan (vanhentunut termi palautettu [ 2] ).
KoordinaateissaAnalyyttisessä lausekkeessa lineaaristen funktioiden antamat suorat
ja
on kohtisuorassa, jos seuraava ehto täyttyy niiden rinteissä
Vaihe 1: Piirrä kompassin avulla puoliympyrä , jonka keskipiste on piste P , jolloin saat pisteet A ja B.
Vaihe 2: Muuttamatta sädettä, rakenna kaksi puoliympyrää , joiden keskipiste on pisteissä A ja B ja jotka kulkevat pisteen P kautta. Pisteen P lisäksi näillä puoliympyröillä on toinen leikkauspiste, kutsutaan sitä Q :ksi .
Vaihe 3: Yhdistä pisteet P ja Q. PQ on kohtisuora suoraa AB vastaan .
Olkoon linja on annettu pisteitä ja . Pystysuora laskeutuu pisteestä suoralle . Sitten kohtisuoran kanta löytyy seuraavasti.
Jos (pysty), niin ja . Jos (vaaka), sitten ja .
Kaikissa muissa tapauksissa:
; .Kaksi avaruudessa olevaa suoraa ovat kohtisuorassa toisiaan vastaan, jos ne ovat vastaavasti samansuuntaisia kahden muun samassa tasossa olevan keskenään kohtisuoran suoran kanssa. Kahta samassa tasossa olevaa suoraa kutsutaan kohtisuoraksi (tai keskenään kohtisuoraksi), jos ne muodostavat neljä suoraa kulmaa.
Määritelmä : Suoraa kutsutaan kohtisuoraksi tasoon nähden, jos se on kohtisuorassa kaikkiin tässä tasossa oleviin suoriin nähden.
Merkki : Jos suora on kohtisuorassa tason kahta leikkaavaa suoraa vastaan, se on kohtisuorassa tähän tasoon nähden.
Taso , joka on kohtisuorassa toiseen kahdesta yhdensuuntaisesta suorasta, on myös kohtisuorassa toiseen. Minkä tahansa avaruuden pisteen läpi kulkee suora viiva, joka on kohtisuorassa tiettyyn tasoon nähden, ja lisäksi vain yksi.
Kahden tason sanotaan olevan kohtisuorassa, jos niiden välinen dihedraalikulma on 90°.
Tasojen kohtisuoralla neliulotteisessa avaruudessa on kaksi merkitystä: tasot voivat olla kohtisuorassa 3-ulotteisessa mielessä, jos ne leikkaavat suorassa linjassa (ja ovat siksi samassa hypertasossa ), ja niiden välinen dihedraalinen kulma on 90°.
Tasot voivat olla myös kohtisuorassa 4-ulotteisessa mielessä, jos ne leikkaavat pisteessä (eivätkä siksi ole samassa hypertasossa), ja mitkä tahansa 2 suoraa, jotka on piirretty näille tasoille niiden leikkauspisteen kautta (jokainen suora omassa tasossa) on kohtisuorassa.
4-ulotteisessa avaruudessa tietyn pisteen läpi voidaan vetää täsmälleen 2 4-ulotteisessa mielessä keskenään kohtisuoraa tasoa (täten 4-ulotteinen euklidinen avaruus voidaan esittää kahden tason suorakulmaisena tulona). Jos yhdistämme molemmat kohtisuorat, niin tämän pisteen kautta on mahdollista piirtää 6 keskenään kohtisuoraa tasoa (suoraan missä tahansa edellä mainituista arvoista).
Kuuden keskenään kohtisuoran tason olemassaolo voidaan selittää seuraavalla esimerkillä. Olkoon suorakulmaisten koordinaattien järjestelmä x yzt annettu . Jokaiselle koordinaattiviivaparille on taso, joka sisältää nämä kaksi viivaa. Tällaisten parien lukumäärä on : xy , xz , xt , yz , yt , zt , ja ne vastaavat 6 tasoa. Ne tasoista, jotka sisältävät samannimisen akselin, ovat kohtisuorassa kolmiulotteisessa mielessä ja leikkaavat suorassa viivassa (esimerkiksi xy ja xz , yz ja zt ), ja ne, jotka eivät sisällä saman akselia nimet ovat kohtisuorassa 4-ulotteisessa mielessä ja leikkaavat pisteessä (esim. xy ja zt , yz ja xt ).
Olkoon n-ulotteinen euklidinen avaruus (n>2) ja siihen liittyvä vektoriavaruus annettu ja avaruuteen viiva l ohjaava vektoriavaruus ja hypertaso ohjaavan vektoriavaruuden kanssa (jossa , ) .
Suoraa l kutsutaan kohtisuoraksi hypertasoon nähden, jos aliavaruus on kohtisuorassa aliavaruuteen nähden , ts.