|
емммм......
В [[Геометрія|геометрії]], '''паралельними''' прямими є [[Пряма|прямі]] на [[Площина|площині]], які ніколи не зустрічаються; тобто це такі дві прямі на площині, які не {{нп|Перетинання прямих|перетинаються|en|intersecting lines}} або [[Дотична|торкаються]] одна одної в жодній точці. Розширюючи це поняття, пряма і площина, або дві площини, у [[Тривимірний опис об'єкта|тривимірному Евклідовому просторі]], що не мають спільних точок також називаються паралельними. Однак, в тривимірному просторі дві прямі, які не перетинаються, щоб їх вважали паралельними, повинні лежати в одній площині; в іншому випадку їх називають [[Мимобіжні прямі|мимобіжними прямими]]. Паралельними є площини, які ніколи не зустрічаються у тривимірному просторі.
Паралельні прямі є предметом із [[Аксіома паралельності Евкліда|аксіоми паралельності Евкліда]].<ref>Хоча цей постулат стосується тільки того, коли прямі перетинаються, потрібно довести унікальність паралельних прямих у сенсі [[аксіома Плейфера|аксіоми Плейфера]].</ref> Паралелізм є основною властивістю [[Афінна геометрія|афінної геометрії]] і [[Евклідова геометрія|Евклідової геометрії]], і є особливим поняттям саме цього типу геометрії.
В деяких інших геометріях, наприклад в [[Геометрія Лобачевського|гіперболічній геометрії]], прямі, що мають аналогічні властивості, також називають паралельними.
== Символ ==
В математиці символ, що позначає паралельність є наступним: <math>\parallel</math>. Наприклад, <math>AB \parallel CD</math> позначає, що пряма ''AB'' паралельна прямій ''CD''.
== В [[евклідова геометрія|евклідовій геометрії]] ==
'''Паралельними (рівнобіжними) прямими''' називають [[Пряма|прямі]], котрі лежать в одній [[площина|площині]] і збігаються, або не перетинаються. В деяких шкільних означеннях, щоправда, паралельні прямі не можуть збігатись, але тут цей факт не береться до уваги.
=== Властивості ===
# Паралельність — [[бінарне відношення]] [[еквівалентність|еквівалентності]], тому розбиває всю [[множина|множину]] прямих на класи паралельних між собою.
# Через довільну точку можна провести лише одну пряму, паралельну даній. Це властивість [[евклідова геометрія|евклідової геометрії]], в інших геометріях число 1 замінено іншими (в геометрії Лобачевського таких прямих мінімум дві).
# Дві паралельні прямі в просторі лежать в одній площині.
# При перетині двох паралельних прямих третьою, т. зв. ''січною'':
## Січна обов'язково перетинає обидві прямі.
## При перетині утворюється 8 кутів, при чому деякі характерні їх пари мають особливі назви та властивості:
### '''Різносторонні''' кути рівні.
### '''Відповідні''' кути рівні.
### '''Односторонні''' кути в сумі становлять 180°.
### І, очевидно, суміжні кути в сумі становлять 180°, а вони — рівні;
== В [[геометрія Лобачевського|геометрії Лобачевського]] ==
В геометрії Лобачевського в площині через точку <math>C</math> що лежить поза даною прямою <math>AB</math> проходить нескінчена кількість прямих, що не перетинають <math>AB</math>. З них паралельні до <math>AB</math> називаються тільки дві.
Пряма <math>CE</math> називається рівнобіжною (паралельною) до прямої <math>AB</math> в напрямку від <math>A</math> до <math>B</math>, якщо:
# точки <math>B</math> і <math>E</math> лежать по одну сторону від прямої <math>AC</math>;
# пряма <math>CE</math> не перетинає пряму <math>AB</math>, але будь-який промінь, що проходить всередині кута <math>ACE</math>, перетинає промінь <math>AB</math>.
Аналогічно означається пряма, рівнобіжна до <math>AB</math> в напрямку від <math>B</math> до <math>A</math>.
Всі інші прямі, що не перетинають дану, називаються '''ультрапаралельними'''.
== Відстань між двома паралельними прямими ==
Оскільки паралельні прямі в евклідовій площині рівновіддалені, існує єдина відстань між двома паралельними прямими. Задані рівняння двох невертикальних та негоризонтальних паралельних прямих,
:<math>y = mx+b_1\,</math>
:<math>y = mx+b_2\,,</math>,
відстань між двома прямими можна знайти шляхом пошуку двох точок (по одній на кожній прямій), які лежать на загальному перпендикулярі до паралельних прямих, та обчислити відстань між ними. Так як прямі мають нихил <math>m</math>, то загальний перпендикуляр матиме нахил <math>\frac{-1}{m} </math>, і ми можемо взяти пряму з рівнянням <math>y=\frac{-x}{m} </math>, як загальний перпендикуляр. Вирішимо системи лінійних рівнянь
:<math>\begin{cases}
y = mx+b_1 \\
y = \frac{-x}{m}
\end{cases}</math>
та
:<math>\begin{cases}
y = mx+b_2 \\
y = \frac{-x}{m}
\end{cases}</math>
щоб отримати координати точок. Розв'язання лінійних систем:
:<math>\left( x_1,y_1 \right)\ = \left( \frac{-b_1m}{m^2+1},\frac{b_1}{m^2+1} \right)\,</math>
та
:<math>\left( x_2,y_2 \right)\ = \left( \frac{-b_2m}{m^2+1},\frac{b_2}{m^2+1} \right).</math>
Ці формули коректні, навіть якщо паралельні прямі розташовані горизонтально (тобто <math>m=0</math> ). Відстань між точками
:<math>d = \sqrt{\left(\frac{b_1m-b_2m}{m^2+1}\right)^2 + \left(\frac{b_2-b_1}{m^2+1}\right)^2}\,,</math>
яка зводиться до
:<math>d = \frac{|b_2-b_1|}{\sqrt{m^2+1}}\,.</math>
Якщо прямі наведені в загальному вигляді, рівняння прямих (горизонтальні та вертикальні прямі включені):
:<math>ax+by+c_1=0\,</math>
:<math>ax+by+c_2=0,\,</math>
їх відстань може бути виражена як:
:<math>d = \frac{|c_2-c_1|}{\sqrt {a^2+b^2}}.</math>
== Примітки ==
{{reflist}}
{{Без джерел|дата=січень 2011}}
[[Категорія:Математичні відношення]]
| 