Równoległość

Równoległość – różnie definiowana relacja między obiektami geometrycznymi jak proste, półproste, odcinki i płaszczyzny^[a].

Dla prostych na płaszczyźnie oraz płaszczyzn równoległość bywa utożsamiana z rozłącznością – nieprzecinaniem się^[1].

Aksjomat Euklidesa

Jeżeli prosta (transwersalna) ${\displaystyle t}$ przecina proste ${\displaystyle a,b}$ tak, że kąty sobie odpowiadające są sobie różne, to proste ${\displaystyle a,b}$ przecinają się.

O takich prostych mówi się, że są nierównoległe i oznacza się ${\displaystyle a\nparallel b.}$ Proste, które nie są nierównoległe, nazywane są równoległymi i oznacza się ${\displaystyle a\parallel b.}$

Szkocki matematyk John Playfair określił następujący aksjomat:

Aksjomat Playfaira

Przez dowolny punkt można przeprowadzić najwyżej jedną prostą rozłączną z zadaną prostą.

O takiej prostej mówi się, że jest równoległa do zadanej prostej.

 Osobny artykuł: postulat Euklidesa.

Geometrie euklidesowe to geometrie wykorzystujące aksjomat Euklidesa. Dwie proste na płaszczyźnie są równoległe, jeżeli nie przecinają się w żadnym punkcie lub mają ich nieskończenie wiele (pokrywają się).

Dwie płaszczyzny w przestrzeni trójwymiarowej są równoległe, jeśli nie mają punktów wspólnych lub pokrywają się.

Prosta i płaszczyzna w przestrzeni trójwymiarowej są równoległe, jeśli nie mają punktów wspólnych lub prosta leży na tej płaszczyźnie.

Analogicznie można definiować równoległość dla obiektów mających więcej wymiarów.

Równoległość jest relacją równoważności, tzn. jest

zwrotna: ${\displaystyle a\parallel a,}$

symetryczna: ${\displaystyle a\parallel b\;{}}$ pociąga ${\displaystyle {}\;b\parallel a,}$

przechodnia: jeśli ${\displaystyle a\parallel b\;{}}$ oraz ${\displaystyle {}\;b\parallel c,\;{}}$ to ${\displaystyle {}\;a\parallel c.}$

Proste równoległe zadane równaniem w postaci kierunkowej, mają równe współczynniki kierunkowe.

Dwie proste na płaszczyźnie kartezjańskiej są interpretacją graficzną układu dwóch równań liniowych z dwiema niewiadomymi. Proste równoległe rozłączne odpowiadają układowi sprzecznemu, proste pokrywające się układowi nieoznaczonemu. Stąd dwie proste zadane równaniami ogólnymi

${\displaystyle {\begin{cases}A_{1}x+B_{1}y+C_{1}=0\\A_{2}x+B_{2}y+C_{2}=0\end{cases}}}$

nie przecinają się lub pokrywają się, jeżeli wyznacznik (macierzy głównej) tego układu jest równy zeru:

${\displaystyle {\begin{vmatrix}A_{1}&B_{1}\\A_{2}&B_{2}\end{vmatrix}}=0\iff A_{1}B_{2}=A_{2}B_{1}.}$

Odległość prostych równoległych – odległość któregokolwiek punktu leżącego na jednej prostej od jego rzutu prostopadłego na drugą prostą.

Niech l || k. Wówczas ${\displaystyle l:Ax+By+C_{1}}$ i ${\displaystyle k:Ax+By+C_{2},}$ gdy ${\displaystyle A_{2}+B_{2}>0.}$ Odległość punktu ${\displaystyle O}$ od prostej ${\displaystyle l}$ wyraża się wzorem:

${\displaystyle d={\frac {|Ax_{0}+By_{0}+C_{1}|}{\sqrt {A^{2}+B^{2}}}}.}$

Ponieważ ${\displaystyle O\in k,}$ to ${\displaystyle Ax_{0}+By_{0}+C_{2}=0,}$ więc ${\displaystyle Ax_{0}+By_{0}=-C_{2}.}$

Zatem wzór na odległość dwóch prostych równoległych ma postać:

${\displaystyle d={\frac {|C_{1}-C_{2}|}{\sqrt {A^{2}+B^{2}}}}.}$

Jeżeli przedstawimy dane proste w postaci kierunkowej: ${\displaystyle l:y=mx+n_{1},}$ ${\displaystyle k:y=mx+n_{2},}$

to wzór przybierze postać:

${\displaystyle d={\frac {|n_{1}-n_{2}|}{\sqrt {1+m^{2}}}}.}$

 Ta sekcja jest niekompletna. Jeśli możesz, rozbuduj ją.

Równoległość jest pojęciem charakterystycznym dla geometrii euklidesowej (ogólniej – afinicznej).

W geometrii rzutowej (i geometrii eliptycznej) każde dwie różne proste mają dokładnie jeden punkt wspólny. Nie jest więc spełniony aksjomat Playfaira i nie jest możliwe zdefiniowanie pojęcia równoległości.

W geometrii hiperbolicznej także nie jest spełniony aksjomat Playfaira, tutaj przez dowolny punkt można przeprowadzić (co najmniej) dwie proste rozłączne z zadaną prostą. Można zdefiniować pojęcie równoległości dwóch prostych, odmienne jednak od równoległości definiowanej na płaszczyźnie euklidesowej – np. nie jest to relacja przechodnia.

Zobacz hasło równoległość w Wikisłowniku

• prostopadłość

• Eric W.E.W. Weisstein Eric W.E.W., Parallel, MathWorld, Wolfram Research  (ang.). .
• Parallel lines (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org .
• Parallel straight lines (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org .
• Parallel surfaces (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org .