Linia prosta lub prosta – jedno z podstawowych pojęć geometrii, szczególny przypadek nieograniczonej z obydwu stron krzywej o nieskończonym promieniu krzywizny w każdym punkcie.
W niektórych ujęciach, w tym w klasycznej geometrii euklidesowej, prosta jest tzw. pojęciem pierwotnym, niedefiniowanym formalnie w obrębie danej teorii. Można ją jednak interpretować za pomocą pojęć wykraczających poza geometrię, np. jako zbiór punktów o współrzędnych spełniających pewne równanie. Ten temat szerzej omówiony jest w artykule dotyczącym geometrii euklidesowej.
W matematyce rozważane są także inne geometrie, takie jak geometria powierzchni kuli. Pojęcie prostej można uogólnić także na tzw. geometrie nieeuklidesowe. Odpowiednikiem prostych są wówczas tzw. linie geodezyjne, czyli krzywe określające lokalnie najkrótsze drogi między punktami. Według najogólniejszej definicji zatem:
W pewnym więc sensie proste w dowolnych przestrzeniach nadal są liniami niezakrzywionymi.

Linia prosta w sensie potocznym różni się od tego, co pod tym pojęciem określa się w matematyce. Potocznie „prosta” oznacza „niezakrzywiona”. W geometrii euklidesowej „prosta” albo „linia prosta”, oprócz tego, że nie jest zakrzywiona, musi rozciągać się nieograniczenie w obydwie strony i mieć zerową „grubość”.
Jeśli niezakrzywiona linia o zerowej grubości rozciąga się nieograniczenie tylko w jedną stronę, a z drugiej strony ma zakończenie, to jest nazywana „półprostą”. Jeśli posiada zakończenia z obydwu stron, to nazywana jest „odcinkiem”.
Nazwa geometrii euklidesowej pochodzi od greckiego matematyka Euklidesa, który w III w. p.n.e. w swoim dziele Elementy po raz pierwszy zebrał i systematycznie udowodnił większość znanych podówczas twierdzeń geometrycznych.
Euklides w Elementach podał 23 definicje różnych pojęć geometrycznych w tym punktu, linii (krzywej), prostej, kąta. Prostą definiował tak:
Definicja ta z punktu widzenia dzisiejszej matematyki pasuje raczej do odcinka niż do prostej, gdyż ta nie leży „między swoimi punktami”, lecz jest nieograniczona. Euklides odróżniał jednak proste od odcinków, pisząc o „liniach przedłużanych w nieskończoność”, np.
Było to spowodowane próbą ominięcia trudności związanych z nieskończonością aktualną (prosta jako całość jest „nieskończona”) poprzez wyrażenie jej jako nieskończoność potencjalną (możliwość nieograniczonego przedłużania odcinka).
W starożytnej Grecji nie rozważano pojęcia nieskończoności, nastąpiło to dopiero w 1638, gdy Galileusz w swojej pracy „Discorsi” opisał linię jako składającą się z nieskończenie wielu punktów.


Prosta jest jednowymiarową podprzestrzenią afiniczną płaszczyzny dwuwymiarowej (i ogólniej, każdej n-wymiarowej kartezjańskiej przestrzeni współrzędnych).
Jeśli dany jest punkt i niezerowy wektor to prostą generowaną przez wektor i przechodzącą przez punkt nazywamy zbiór punktów dla których istnieje liczba rzeczywista taka, że
Wektor nazywamy wektorem kierunkowym prostej.
Najmniejszą podprzestrzenią afiniczną zawierającą dwa różne punkty jest prosta, która przez nie przechodzi. Prostą tę oznaczamy
Prostą można określić jako zbiór punktów spełniających pewne równanie liniowe. Równanie to można zapisać w różny sposób. Kilka typowych zapisów podano poniżej.
W przestrzeni kartezjańskiej dwuwymiarowej każda prosta może być zdefiniowana w następujący sposób:
Równanie to nazywamy równaniem ogólnym prostej. Wektor o współrzędnych jest wektorem kierunkowym prostej. Jest on do tej prostej równoległy. Wektor jest prostopadły do prostej. Jeśli to prosta jest równoległa do osi jeśli – do osi jeśli przechodzi przez początek układu współrzędnych.
Współczynniki i nie mogą równocześnie być równe zeru, gdyż wtedy równanie nie opisuje prostej, lecz dla całą płaszczyznę, a dla zbiór pusty (nie ma rozwiązań).
Jedna prosta może mieć wiele różnych równań ogólnych, odpowiadających różnym równoległym wektorom kierunkowym. Współczynniki tych równań spełniają wtedy zależność:
lub jeśli któryś z mianowników jest zerem, odpowiadający mu licznik także jest zerem.

Równanie ogólne można unormować, dzieląc współczynniki i przez długość (normę) wektora kierunkowego i wybierając arbitralnie jeden z dwóch możliwych zwrotów tego wektora, np. tak jak poniżej:
gdzie to tzw. czynnik normujący:
lub
Dla można przyjąć dowolny znak.
Otrzymujemy w ten sposób tzw. równanie normalne, czyli równanie prostej położonej pod kątem do osi i odległej o od środka układu współrzędnych:
przy czym
Równanie normalne jednoznacznie identyfikuje prostą nie przechodzącą przez początek układu współrzędnych. Dla prostej przechodzącej przez początek układu wciąż możliwe są dwa różne równania normalne różniące się znakiem i ( jest wtedy zerem). Ponadto dla równania normalnego upraszczają się podane dalej wzory dotyczące kąta między dwiema prostymi.

Jeśli prosta nie jest równoległa do osi rzędnych (Oy), równanie prostej można zapisać w tzw. postaci kierunkowej:
gdzie i to liczby rzeczywiste.
Prosta o (niezerowym) wektorze kierunkowym przechodząca przez punkt to zbiór punktów takich że
Innymi słowy:
W nowoczesnej geometrii analitycznej oznacza się to:
Rozpisując poszczególne składowe, możemy to samo równanie przedstawić za pomocą układu równań postaci:

Przy tym i są dowolnymi liczbami rzeczywistymi, natomiast i są także liczbami rzeczywistymi, które jednak nie mogą być jednocześnie równe zeru. Wówczas bowiem układ równań opisywałby tylko pojedynczy punkt a nie całą prostą.
Pod założeniami z poprzedniego ustępu, prostą można opisać równaniem:
W przypadku, gdy lub jest zerem, przydatne może być zapisanie równania w postaci:
Gdy dane są dwa różne punkty i to równanie prostej przez nie przechodzącej jest postaci:
lub w wersji parametrycznej:
gdzie przebiega wszystkie liczby rzeczywiste.
To samo równanie można przedstawić w postaci wyznacznika:

Dla równania ogólnego: będziemy mieli
Dla równania ogólnego należy po prostu sprawdzić, czy a w praktyce
Dostajemy albo wyliczamy postać normalną:
Liczymy mianownik
Jeśli albo w praktyce linie są równoległe.
Jeśli linie nie są równoległe, liczymy punkt przecięcia (x,y):
Dla linii jest z identycznymi A i B oraz C wyliczonym ze wzoru
Równanie prostej przecinającej oś w punkcie gdzie i oś w punkcie gdzie
Prostą można też wyrazić w biegunowym układzie współrzędnych Równanie prostej nie przechodzącej przez biegun przyjmuje wówczas postać
gdzie:
Jeśli prosta przechodzi przez biegun, to jej równanie ma postać gdzie:
Odległość punktu od prostej danej równaniem ogólnym:
Odległość punktu od prostej danej równaniem normalnym:
Wyrażenie ma wartość dodatnią, gdy punkt oraz początek układu współrzędnych leżą po przeciwnych stronach danej prostej, ujemną – jeśli leżą po tej samej stronie, i zero, jeśli leży na prostej.
Dla prostych danych równaniami
niech:
Jeśli wówczas proste przecinają się w punkcie
Jeśli ale to zachodzi także i proste są równoległe.
Jeśli to również i proste pokrywają się (równania opisują ten sam zbiór punktów); współczynniki prostych spełniają wówczas zależność:
lub jeśli któryś z mianowników tego równania jest zerem, odpowiadający mu licznik także jest zerem.
Kąt pomiędzy dwiema prostymi jest wyznaczony przez półproste, których początek znajduje się w punkcie przecięcia prostych.
Kąt między prostymi na płaszczyźnie, zadanymi równaniami
daje się wyznaczyć ze wzorów
Wzory te upraszczają się, jeśli równania prostych są unormowane.
Można też użyć wzorów dla dwóch szczególnych przypadków:
Zobacz też uogólnienia: kąt między dwiema krzywymi, kąt między prostymi w przestrzeni.
Trzy punkty leżą na jednej prostej (są współliniowe) wtedy i tylko wtedy, gdy
Inny warunek konieczny i wystarczający współliniowości:
(lub jeśli któryś z mianowników tego równania jest zerem, odpowiadający mu licznik także jest zerem).
Jeśli proste o równaniach odpowiednio:
przecinają się w punkcie to prosta o równaniu
także przecina się z nimi w tym punkcie wtedy i tylko wtedy, gdy:
Zbiór wszystkich prostych przechodzących przez dany (ustalony) punkt nazywamy pękiem prostych, a dany punkt środkiem pęku. Środek pęku może być zadany wprost lub jako punkt przecięcia dwóch prostych. Równanie pęku prostych o środku wyznaczonym przez nierównoległe proste zapisujemy w postaci:
Każda prosta przechodząca przez środek pęku (będąca współpękowa z wszystkimi prostymi przechodzącymi przez ten punkt) da się przedstawić powyższym równaniem i, na odwrót, każde równanie powyższej postaci przedstawia pewną prostą należącą do pęku.
Zbiór prostych równoległych na płaszczyźnie (o wspólnym wektorze kierunkowym) nazywamy kierunkiem albo niewłaściwym pękiem prostych.
Równania określające prostą w przestrzeni trójwymiarowej łatwo otrzymać z podanych poniżej równań dla przestrzeni wielowymiarowej. Należy tylko, zgodnie z tradycją, zamiast napisać odpowiednio i przyjąć liczbę wymiarów
Dwie proste na płaszczyźnie mogą być albo równoległe (szczególnym przypadkiem są proste identyczne), albo przecinać się (czyli mieć jeden punkt wspólny). Dwie proste w przestrzeni trójwymiarowej (oraz dla większej liczby wymiarów) oprócz tego mogą być skośne, czyli nie przecinać się, ale nie być też równoległe.
Każde równanie w układzie równań liniowych z niewiadomymi będącymi liczbami rzeczywistymi zmniejsza o jeden maksymalną liczbę wymiarów zbioru rozwiązań układu. Aby więc opisać twór jednowymiarowy (prostą) w przestrzeni o wymiarach, trzeba użyć układu równań liniowych. Czasem można ten układ łatwo zapisać jako jedno równanie wektorowe.
We wszystkich poniższych wzorach indeksy dolne oznaczają kolejne współrzędne przestrzeni wielowymiarowej, a punkty definiowanej prostej mają współrzędne postaci to liczba wymiarów przestrzeni.
W przestrzeni kartezjańskiej n-wymiarowej najwygodniej określać prostą za pomocą równania parametrycznego.
W tym ujęciu prosta o (niezerowym) wektorze kierunkowym przechodząca przez punkt to zbiór punktów takich, że
Podobnie jak w poprzednich przypadkach, oznacza się to
Rozpisując poszczególne składowe, możemy to samo równanie przedstawić za pomocą układu równań postaci:
Przy tym są dowolnymi liczbami rzeczywistymi, natomiast są również liczbami rzeczywistymi, z których chociaż jedna musi być różna od zera. Inaczej bowiem prosta zdegenerowałaby się do punktu.
Równań w tym układzie jest a nie jak w pozostałych podejściach, gdyż wprowadzono kolejną zmienną a więc konieczne jest n-te równanie, aby otrzymać prostą, a nie płaszczyznę.
Prosta w n-wymiarowej przestrzeni o współrzędnych może być opisana jako część wspólna hiperpłaszczyzn (dla przestrzeni trójwymiarowej po prostu dwóch płaszczyzn). Sprowadza się to do układu równań:
co w postaci macierzowej można zapisać jako
Układ ten opisuje prostą wtedy i tylko wtedy, gdy rząd macierzy
Prostą przechodzącą przez punkt i równoległą do wektora kierunkowego określają równania:
W przypadku to równanie można zapisać w postaci wektorowej:
gdzie wektor wodzący i analogicznie symbolem oznaczono iloczyn wektorowy.
Można też te równania interpretować jako określające prostą przechodzącą przez punkt P i prostopadłej do hiperpłaszczyzny danej równaniem
Gdy dane są dwa punkty i to równania prostej przechodzącej przez te punkty są postaci:
Kąt między dwiema przecinającymi się prostymi, danymi za pomocą równań w postaci parametrycznej
oraz
wyraża wzór:
Symbol oznacza normę (długość wektora), oznacza iloczyn skalarny wektorów i
Jeśli proste nie przecinają się, wzór pokazuje kąt między prostymi po ich przesunięciu bez zmiany kierunków tak, aby się przecinały.
Jeśli proste przedstawimy w postaci parametrycznej: to miara kąta między tymi prostymi wyraża się wzorem

Euklides podał pięć postulatów, tworzących fundamenty jego geometrii. Szczególnie interesujący jest piąty z nich, tzw. postulat równoległości, który w oryginalnej wersji brzmiał
Sformułowanie to było długie i stosunkowo mało oczywiste w porównaniu z innymi pewnikami, jednak było Euklidesowi niezbędne do przeprowadzenia wielu ważnych dowodów. Współczesnym Euklidesa nie udało się wyprowadzić go z pozostałych aksjomatów i w ten sposób usunąć z grona niezbędnych postulatów geometrii. Ostatecznie późniejsi matematycy odkryli, że pozostałe cztery postulaty nie są wystarczające dla aksjomatyzacji geometrii euklidesowej, da się jednak zastąpić piąty postulat prostszą, równoważną wersją, np.
Zmieniając sens tego postulatu, przy zachowaniu niezmienionych pozostałych, możemy uzyskać spójne i niesprzeczne systemy, tzw. geometrie nieeuklidesowe, które dobrze opisują przestrzeń zakrzywioną, np. geometrię powierzchni kuli.
Zasadniczo zmiany te mogą iść w dwóch różnych kierunkach:
Można też wyobrazić sobie przestrzeń, która w niektórych obszarach ma właściwości geometrii hiperbolicznej, w innych geometrii eliptycznej, a w jeszcze innych euklidesowej – takie przestrzenie opisuje uogólnienie wszystkich tych geometrii, zwane geometrią Riemanna.
Proste w geometriach nieeuklidesowych nadal mogą być zdefiniowane jako nieograniczone linie geodezyjne danej przestrzeni, tak jak zasygnalizowano na początku artykułu. Tak zdefiniowane proste spełniają wszystkie aksjomaty Euklidesa, z wyjątkiem postulatu równoległości. Ta definicja pasuje także do geometrii euklidesowej, gdzie wyznacza zwykłe proste.
W geometrii hiperbolicznej przez punkt nie leżący na danej prostej przechodzą co najmniej dwie różne proste nie przecinające jej (zob. rysunek). W tej geometrii dla każdego kąta występuje też tzw. prosta zagradzająca kąt – prosta, która jest jednocześnie równoległa do obydwu jego ramion.
Istnieje kilka różnych modeli geometrii hiperbolicznej. Proste są w nich różnie interpretowane, jednak idzie za tym zmiana definicji pojęcia odległości:

W geometrii sferycznej, której model stanowi powierzchnia kuli (także kuli ziemskiej) nie istnieją dwie proste nie przecinające się. Punktami w tej geometrii są zbiory dwóch punktów euklidesowych leżących po przeciwnej stronie sfery, a prostymi tzw. okręgi wielkie sfery, czyli okręgi na jej powierzchni, których środek pokrywa się ze środkiem sfery.
Przykładowe okręgi wielkie na rysunku obok są oznaczone ciągłymi liniami. Inne okręgi (oznaczone przerywanymi liniami) nie są prostymi tej geometrii, gdyż nie wyznaczają najkrótszych dróg. Pomiędzy dwoma dowolnymi punktami sfery można bowiem przejść po łukach nieskończonej liczby różnych okręgów, ale tylko jeden z tych okręgów będzie okręgiem wielkim, i ta właśnie trasa będzie najkrótsza – jest to tak zwana ortodroma. Z definicji zatem łuki okręgów wielkich to odcinki w geometrii sferycznej, łuki pozostałych okręgów odcinkami nie są.
Wprowadzając dla dwuwymiarowej geometrii eliptycznej układ współrzędnych z długością geograficzną i szerokością geograficzną możemy zdefiniować jej prostą (okrąg wielki) równaniem:
gdzie i są dowolnymi liczbami rzeczywistymi, które nie są jednocześnie wszystkie trzy równe zeru.
Sfera jest przykładem przestrzeni ograniczonej, w której proste również są ograniczone. Jednak nawet tutaj okręgi wielkie pozostają liniami geodezyjnymi i nie posiadają zakończeń.
W szczególnej oraz ogólnej teorii względności przestrzeń fizyczna i czas są związane, tworząc w sensie matematycznym czterowymiarową czasoprzestrzeń. W szczególnej teorii względności czasoprzestrzeń ta jest przestrzenią Minkowskiego, a w ogólnej teorii względności przestrzenią pseudoriemannowską będącą modyfikacją geometrii Riemanna. W obydwu teoriach linia świata ciała na które nie działa żadna siła jest linią prostą (geodezyjną). W ogólnej teorii względności grawitacji nie uznaje się za oddziaływanie, lecz czynnik, który zakrzywia czasoprzestrzeń[potrzebny przypis]. Ciało oddziaływające grawitacyjnie nadal przemieszcza się po prostej (analogicznie do pierwszej zasady dynamiki Newtona), jednak nie jest to prosta przestrzeni fizycznej, lecz prosta w zakrzywionej czasoprzestrzeni. Stąd z punktu widzenia geometrii euklidesowej porusza się ono (w przestrzeni fizycznej) po zakrzywionym torze. Grawitacja nie jest interpretowana jako siła działająca na ciało, a jako zakrzywienie czasoprzestrzeni, w której to ciało się porusza.
Wzajemne położenie punktów w czasoprzestrzeni jest dzielone na trzy typy w zależności od wartości interwału czasoprzestrzennego (odpowiednik odległości). Ponieważ wszystkie punkty prostej w czasoprzestrzeni mają ten sam typ, proste także możemy podzielić na:
Krzywa która ma w punkcie kierunek jest linią geodezyjną (prostą w czasoprzestrzeni) jeśli
lub
co oznacza, że jej pochodna kowariantna dla jej kierunku w danym punkcie jest równa zeru.
W tym ujęciu prosta jest jednowymiarową przestrzenią liniową. Dokładniej, prosta jest tożsama z jednowymiarową podprzestrzenią przestrzeni liniowej rozpiętej nad ciałem liczb rzeczywistych.
Jeśli jest wektorem niezerowym, to prosta jest zbiorem wektorów dla których istnieje skalar (rzeczywisty dla przestrzeni wektorowej należącej do ) taki, że Mówimy, że wektory i są liniowo zależne lub współliniowe.
W przestrzeni metrycznej naturalnym uogólnieniem prostych są linie geodezyjne, jak podano na wstępie.
Geometria rzutowa bada własności figur geometrycznych, które nie zmieniają się pod wpływem tzw. przekształceń rzutowych, czyli dla płaszczyzny przekształceń, które przekształcają proste zawsze w proste (a nie w inne obiekty).
W geometrii rzutowej mamy dwa rodzaje prostych:
Takie ujęcie pozwala uzyskać szereg interesujących własności, np. dowolne dwie nie identyczne proste przecinają się zawsze w jednym punkcie.
Najelegantszym wynikiem geometrii rzutowej jest zasada dualności mówiąca, iż dowolne prawdziwe twierdzenie pozostaje w obrębie tej geometrii prawdziwe, jeśli zamienimy w nim pojęcia „prosta” i „punkt” (i odpowiednio „przechodzi przez” z „leży na”).

Geometria wykreślna jest szeroko używaną w technice i architekturze nauką stosowaną, zajmującą się sposobami jednoznacznego przedstawiania trójwymiarowych obiektów w formie rzutów prostokątnych na prostopadłe płaszczyzny i (tzw. rzutnie).
Proste odwzorowywane są następująco: przez daną prostą prowadzimy płaszczyzny i prostopadłe odpowiednio do rzutni i tzw. płaszczyzny rzutujące. Ich krawędzie przecięcia z rzutniami to właśnie rzuty poziomy i pionowy prostej.
Takie dwa rzuty prostej jednoznacznie ją identyfikują, z wyjątkiem przypadku prostej prostopadłej do osi i nierównoległej do żadnej z pozostałych osi. Jej rzuty są identyczne z rzutami dowolnej innej prostej na płaszczyźnie prostopadłej do osi Aby jednoznacznie ją odwzorować, konieczne jest przedstawienie dodatkowo rzutów dwóch dowolnych jej punktów.
Jeśli prosta jest prostopadła do jednej z rzutni, jej rzut na tę rzutnię staje się punktem i zbędne staje się prowadzenie płaszczyzny prostopadłej do tej rzutni.
Niektóre proste mają szczególne nazwy ze względu na położenie względem rzutni:
Większość wzorów w tym artykule pochodzi z: