Пряма́ або пряма́ лінія — одне з основних понять геометрії, введене античними математиками для позначення прямих об'єктів (тобто без кривини) з несуттєвою шириною та глибиною. Прямі є ідеалізаціями таких об'єктів.
Евклід описує пряму, як лінію нескінченної довжини, яка розташована однаково по відношенню до будь-якої своєї точки. Він визначив набір постулатів, як основних властивостей, що приймаються без доведень, а вже з них робляться логічні доведення, які і утворюють всю геометрію, яка зараз називається Евклідовою геометрією. Починаючи з кінці 19 сторіччя в активному вжитку знаходяться й інші геометрії, такі як неевклідові геометрії, проективна та афінна геометрії.
В сучасній математиці, в якій є багато геометричних концепцій, поняття лінії здебільшого залежить від способу, яким геометрія описується. Наприклад, в аналітичній геометрії, пряма визначається як множина точок, координати яких задовольняють лінійне рівняння. В більш абстрактних концепціях, таких, як геометрія інцидентності, пряма може бути незалежним об'єктом, відмінним від тих точок, з яких вона складається.
При аксіоматичному опису геометрії, поняття прямої лінії зазвичай залишається невизначеним, приймається за одне з вихідних понять (так зване неозначуване поняття), яке лише опосередковано визначається аксіомами геометрії. Перевагою такого підходу є гнучкість у використанні такої геометрії. Так у диференціальній геометрії, пряму можна розуміти як геодезичну лінію (найкоротший шлях між двома точками), а в проективній геометрії пряма є двовимірним векторним простором (всі лінійні комбінації двох незалежних векторів). Така гнучкість корисна не тільки математикам, а й іншим. Наприклад, фізики можуть мислити шлях проходження світла, як пряму лінію.
Всі означення, зрештою, є циркулярними[en] за своєю природою, оскільки вони залежать від понять, які також повинні мати означення, і цей ланцюг залежностей не можна продовжувати нескінченності без повернення назад до початкової точки. Тому, аби уникнути такого зациклювання, певні поняття мають бути прийняті як такі, що не потребують означення.[1] В геометрії, таким поняттям часто є поняття прямої, що є одним із фундаментальних понять.[2] В тих випадках, коли пряма може бути визначеним поняттям, як у аналітичній геометрії, за фундаментальні поняття обираються якісь інші примітиви. Якщо поняття прямої є фундаментальним невизначеним поняттям, тоді поведінка і властивості прямої визначаються за допомогою аксіом, яким вона повинна задовольняти.
При спрощеному або неаксиоматичному трактуванні геометрії, поняття або фундаментальне означення може бути занадто абстрактним, для уявлення. В таких випадках наводять описання або ментальний образ цього первісного поняття, аби сформувати основу для вибудовування поняття, яке формально буде базуватися на (невизначених) аксіомах. Деякі автори можуть наводити таке описання замість означення, користуючись цим неформальним стилем представлення. Але ці визначення не є вірними, і не можуть використовуватися в формальних виведеннях тверджень. «Означення» прямої в в математичних трактатах Евкліда підпадає під цю категорію.[2] Навіть, при розгляді певної системи геометрії (наприклад, Евклідової геометрії), між авторами не існує загальноприйнятої згоди, щодо того яким повинно бути неформальне описання прямої, і те що воно не повинно розглядатися формально.
Через будь-які дві незбіжні точки можна провести єдину пряму.
Дві незбіжні прямі на площині або перетинаються в єдиній точці, або є паралельними (випливає з попереднього). У тривимірному просторі існують три варіанти взаємного розташування двох прямих.
У тривимірному просторі існують три варіанти взаємного розташування двох прямих:
У цьому вигляді неможливо представити пряму, паралельну координатній осі (іноді в цьому випадку формально кажуть, що кутовий коефіцієнт стає нескінченним).
Рівняння прямої у відрізках
Рівняння прямої лінії, що перетинає вісь у точці та вісь у точці :
У цьому вигляді неможливо представити пряму, що проходить через початок координат.
Нормальне рівняння прямої
де — довжина перпендикуляра, проведеного до прямої з початку координат, а — кут між нормальним до прямої вектором та додатним напрямом осі . Якщо , то пряма проходить через початок координат, а кут задає кут нахилу прямої.
Якщо пряма задана загальним рівнянням то відрізки та що відсікаються нею на координатних осях, кутовий коефіцієнт відстань до прямої від початку координат та виражаються через коефіцієнти , та наступним чином:
Щоб уникнути невизначеності, знак перед радикалом вибирається так, щоб дотримувалася умова У цьому випадку та є напрямними косинусами нормалі прямої — перпендикуляра, проведеного з початку координат до прямої.
Якщо то пряма проходить через початок координат і вибір позитивного напрямку довільний.
Рівняння прямої, що проходить через дві задані незбіжні точки
Якщо задано дві незбіжні точки з координатами та , то пряма, що проходить через них задається рівнянням:
або
або у загальному вигляді
Векторне параметричне рівняння прямої
Векторне параметричне рівняння прямої задається вектором кінець якого лежить на прямій, і напрямним вектором прямої Параметр пробігає всі дійсні значення.
Параметричні рівняння прямої можуть бути записані у вигляді
де — довільний параметр — координати та напрямного вектора прямої. При цьому
Сенс параметра аналогічний параметру в векторно-параметричному рівнянні.
Канонічне рівняння прямої
Канонічне рівняння виходить з параметричних рівнянь діленням одного рівняння на інше:
де — координати та напрямного вектора прямої, та координати точки, що належить прямій.
де — радіус-вектор деякої фіксованої точки що лежить на прямій, — ненульовий вектор, колінеарний цій прямій, — радіус-вектор довільної точки прямої.
Параметричні рівняння прямої в просторі:
де — координати фіксованої точки що лежить на прямій; — координати вектора, колінеарного цій прямій.
Канонічнерівнянняпрямої в просторі:
де — координати фіксованої точки що лежить на прямій; — координати вектора, колінеарного цій прямій.
Оскільки пряма є перетином двох різних площин заданих відповідно загальними рівняннями:
і
то рівняння прямої можна задати системою цих рівнянь:
Векторне рівняння прямої в просторі:
Рівняння прямої в просторі можна записати у вигляді векторного добутку радіуса-вектора довільної точки цієї прямої на фіксований вектор прямої
де фіксований вектор , ортогональний до вектора , можна знайти, підставляючи в це рівняння радіус-вектор якої-небудь однієї відомої точки прямої.
В n-вимірному просторі
Нехай задано вектор в n-вимірному Евклідовому просторі, , та — деякі фіксовані числа. Геометричне місце точок простору , координати яких представлено у вигляді:
,
називається прямою в просторі , що проходить через точку в «напрямі» .[4]
Частина прямої, що відповідає зміні параметру в деякому відрізку називається прямолінійним відрізком, а її частина, що відповідає зміні параметру в проміжку , — променем.
Якщо задано дві точки , то рівняння прямої, що проходить через ці точки матиме вигляд:
.
Узагальнене визначення
Прямою в афінному просторі що задається точкою та відмінним від нуля вектором називається множина точок , для яких вектор колінеарний вектору , тобто, виконується рівність:[5]
Таким чином, довільна пряма в просторі має властивості афінного простору розмірності 1.
В багатьох моделях проективної геометрії, представлення прямої рідко відповідає поняттю «прямої лінії», як це є в Евклідовій геометрії. Типовий приклад цього, можна побачити в еліптичній геометрії.[7] У випадку сферичного представлення еліптичної геометрії, прямі представлені як великі кола на сфері із визначеними на них діаметрально протилежними точками. У іншій моделі еліптичної геометрії, прямі задаються Евклідовими площинами, які проходять через початок системи координат. Хоча ці представлення візуально є відмінними, вони задовольняють властивостям проективної геометрії (наприклад, що дві точки визначають лише одну пряму), що роблять їх зручною відповідністю поняття прямої в цій геометрії.
Пряма лінія на площині // Вища математика в прикладах і задачах / Клепко В.Ю., Голець В.Л.. — 2-ге видання. — К. : Центр учбової літератури, 2009. — С. 88. — 594 с.
Пряма лінія в просторі // Вища математика в прикладах і задачах / Клепко В.Ю., Голець В.Л.. — 2-ге видання. — К. : Центр учбової літератури, 2009. — С. 134. — 594 с.