Stereometriya aksiomlari

Düz xətlə müstəvinin perpendukilyarlıq əlaməti.
Teorem Müstəvi paralel iki düz xətdən birinə perpendukilyardırsa , onda o birinə də perpendukilyardır.
Teorem Bir müstəviyə perpendukilyar olan iki düz xətt bir - birinə paraleldir.
Tərif Düz xətt müstəvi üzərində yerləşən hər bir düz xətlə bucaq əmələ gətirirsə, onda bu düz xətt müstəviyə perpendukilyardır.
a düz xətti və α müstəvisinin perpendukilyarlığı a⟂α kimi işarə olunur.
Teorem Düz xətt müstəvi üzərindəki iki kəsişən düz xəttin hər biri ilə düz bucaq əmələ gətirirsə , düz xətt həmin müstəviyə perpendukilyardır.
Yəni, olarsa, onda c⟂α olar.
Teorem Eyni düz xəttə perpendukilyar olan iki müstəvi paraleldir. Yəni, α ⟂ a , β ⟂ a onda αǁβ olar.
Tərs teorem. Paralel müstəvilərdən biri hər hansı düz xəttə perpendukilyardırsa , digər müstəvi də həmin düz xəttə perpendukilyardır. Yəni, αǁβ , α⟂a olarsa, onda β ⟂ α olar.
Teorem Əgər iki düz xətt eyni müstəviyə perpendukilyardırsa , onda həmin düz xətlər paraleldir. Yəni, a⟂α , b⟂α olarsa , aǁb olar.
Tərs teorem. Paralel düz xətlərdən biri hər hansı müstəviyə perpendukilyardırsa, digər düz xətt də həmin müstəviyə perpendukilyardır. Yəni, aǁb, a⟂α olarsa, b⟂α olar.
Fəzada müstəvilərin paralelliyi və perpendukilyarlığı.
İki müstəvinin paralellik əlaməti.
İki müstəvi kəsişmirsə , onlar paraleldir deyilir.
Teorem Bir müstəvinin kəsişən iki düz xətti , uyğun olaraq o biri müstəvinin iki düz xəttinə paraleldirsə , onda bu müstəvilər paraleldir.
Teorem Verilmiş müstəvi üzərində olmayan nöqtədən ona paralel bir və yalnız bir müstəvi keçirmək olar.
Teorem İki paralel müstəvi arasında qalan paralel düz xətt parçaları bərabərdir.
Məsələ İsbat edin ki , çarpaz iki düz xətdən paralel müstəvilər keçirmək olar.
Həlli. Tutaq ki, a və b verilmiş çarpaz düz xətlərdir. a düz xəttinin ixtiyari nöqtəsindən b düz xəttinə paralel b₁ düz xətti , b düz xəttinin ixtiyari nöqtəsindən isə a düz xəttinə paralel a₁ düz xəttini keçirək.İndi biri a və b₁ , digəri b və a₁ düz xətlərindən keçməklə iki müstəvi keçirək.Yazdığımız teoremə görə bu müstəvilər paraleldir.Həm də a düz xətti birinci , b düz xətti isə ikinci müstəvi üzərindədir.Bunu aşağıda şəkildə göstərək.








a b₁

b a₁


Teorem İki paralel müstəvi üçüncü müstəvi ilə kəsişirsə , onda kəsişmə xətləri paraleldir.
Doğurdan da , paralel düz xətlərin tərifinə əsasən , bir müstəvi üzərində olan bu düz xətlər kəsişmir. Kəsişmədən alınan düz xətlər bir müstəvi – kəsən müstəvi üzərindədir. Onlar , kəsişmir , çünki onların aid olduqları müstəvilər kəsişmir. Deməli , düz xətlər paraleldir. teorem isbat olundu.












İki müstəvinin perpendukilyarlıq əlaməti.
İki kəsişən müstəvinin kəsişmə xəttinə perpendukilyar olan üçüncü müstəvi onları perpendukilyar düz xətlər üzrə kəsərsə, onda kəsişən müstəvilərə perpendukilyar müstəvilər deyilir.
Perpendukilyar müstəvilərin kəsişmə xəttinə perpendukilyar olan ixtiyari müstəvi, onları perpendukilyar olan düz xətlər üzrə kəsir.