В геометрията постулатът за паралела е една от аксиомите на Евклидовата геометрия. Понякога се нарича и пети постулат на Евклид, тъй като е петият постулат в "Елементи" на Евклид.

Постулатът гласи, че:

Ако пресечете отсечка с две линии и двата вътрешни ъгъла, които линиите образуват, са по-малки от 180°, то двете линии в крайна сметка ще се срещнат, ако ги удължите достатъчно дълго.

Областта на геометрията, която следва всички аксиоми на Евклид, се нарича Евклидова геометрия. Геометриите, които не следват всички аксиоми на Евклид, се наричат неевклидова геометрия.

Исторически контекст и опити за доказване

От древността математиците са се опитвали да докажат петия постулат от останалите аксиоми, тъй като той изглежда по-сложен и „по-малко очевиден“ от другите. Евклид сам го формулира като отделен постулат, а през вековете много учени — включително Пон-ле-он (Proclus) и други — търсеха логическо извеждане на постулата от по-прости твърдения. Въпреки многобройните опити, тези усилия не доведоха до успешно доказателство; напротив, през XIX век се откри, че петият постулат е независим от останалите аксиоми.

Алтернативни формулировки и еквивалентни постулати

Съществуват много формулировки, еквивалентни на петия постулат — тоест, ако една от тях е приета, може да се докажат всички останали (в рамките на останалите евклидови аксиоми). Най-известните са:

  • Плейферово формулиране (Playfair's axiom): „През точка извън дадена права минава точно една права, която не пресича дадената“ (т.е. точно една паралелна линия). Това е предпочитаната съвременна формулировка в много учебници.
  • „Сумата от ъглите на триъгълник е равна на 180°.“
  • „Ако две прави са перпендикулярни на една и съща права, то те са паралелни помежду си.“
  • Съществуване на подобни, но не конгруентни триъгълници.

Неевклидови геометрии: хиперболична и елиптична

През XIX век математическият интерес се пренесе към системите, в които петият постулат е заменен с различно твърдение:

  • Хиперболична геометрия (Лобачевски, Болyai): чрез точка извън права минават най-малко две различни прави, които не я пресичат (т.е. има много „паралелни“ в смисъл, че не се пресичат). В тази геометрия сумата от ъглите на триъгълник е по-малка от 180° и площта на триъгълник е свързана с дефицита от 180°.
  • Елиптична геометрия (Риман): няма прави, които да не се пресичат — всяка „правa“ среща всяка друга. В елиптичната геометрия сумата от ъглите на триъгълник е по-голяма от 180°.

Доказване на независимостта и модели

Независимостта на петия постулат — тоест невъзможността да се докаже от останалите аксиоми — бе показана чрез конструиране на модели на неевклидови геометрии вътре в аксиоматичната рамка на евклидовата (или на добре познати аксиоматични системи). В средата на XIX век Белтрамi, Лобачевски, Болyai и по-късно Клайн и Пуанкаре разработиха модели (напр. модел на Пуанкаре — диск или горната полуплоскост), които демонстрират, че ако аксиомите на Евклид (без петия постулат) са съвместими, то също са съвместими и хиперболичните аксиоми. Това практически доказа, че петият постулат не може да бъде доказан от останалите аксиоми — той е независим (ако не възникват противоречия в другите аксиоматични части).

Значение и последствия в геометрията

Петият постулат има големи последици в много раздели на геометрията. Някои важни последствия и приложения:

  • Свойства на триъгълниците: равенство на сума от ъглите до 180°, подобие на триъгълници и многобройни резултати, свързани с подобие и паралелност.
  • Евклидовите конструкции и измервания: концепции като перпендикулярно падане, отстояние между успоредни прави и методи за изчисляване на площи често използват последствия от петия постулат.
  • Картография и геодезия: в практиката, ако обхватът на наблюдение е малък, земята се третира като евклидово пространство; за по-големи мащаби се използват неевклидови модели (елипсоид, сфера или хиперболична геометрия в някои теоретични разработки).

Съвременен поглед

Днес петият постулат се разглежда като естествен аксиом за плоската (евклидовата) геометрия, а алтернативните му форми като Плейферовия постулат са предпочитани за по-ясна аксиоматизация. Откриването и развитието на неевклидовите геометрии обогатиха математическата мисъл и доведоха до нови области — от теорията на относителността до модерната топология и теорията на категориите, където различните геометрични структури имат своето място.

Кратко резюме: петият постулат на Евклид формализира поведението на паралелните линии в плоскостта. Въпреки че исторически се е смятал за по-„труден“ за приемане, днес той е разбран като избор — приета аксиома, която определя дали една геометрия е евклидова или неевклидова, и която има далечни и важни последици за структурата на геометричните теории.