Jump to content

Постулат параллельности

(Перенаправлено из Пятого постулата )
Если сумма внутренних углов α и β меньше 180°, две прямые линии, образующиеся бесконечно, встречаются на этой стороне.

В геометрии постулат параллельности , также называемый , пятым постулатом Евклида поскольку он является пятым постулатом в Евклида «Началах» , является отличительной аксиомой евклидовой геометрии . В нем говорится, что в двумерной геометрии:

Если отрезок пересекает две прямые линии, образуя два внутренних угла на одной и той же стороне, которые меньше двух прямых углов , то две линии, если они продлены до бесконечности, встречаются на той стороне, на которой сумма углов составляет менее двух прямых углов.

В этом постулате конкретно не говорится о параллельных линиях; [1] это всего лишь постулат, относящийся к параллелизму. Евклид дал определение параллельных прямых в книге I, определении 23. [2] непосредственно перед пятью постулатами. [3]

Евклидова геометрия — это изучение геометрии, которая удовлетворяет всем аксиомам Евклида, включая постулат о параллельности.

Этот постулат долгое время считался очевидным или неизбежным, но доказательства были неуловимы. В конце концов было обнаружено, что инвертирование постулата дает действительную, хотя и другую геометрию. Геометрия, в которой постулат параллельности не выполняется, называется неевклидовой геометрией . Геометрия, которая не зависит от пятого постулата Евклида (т. е. предполагает только современный эквивалент первых четырех постулатов), известна как абсолютная геометрия (или иногда «нейтральная геометрия»).

Эквивалентные свойства

[ редактировать ]

Вероятно, самым известным эквивалентом постулата параллельности Евклида, зависящим от других его постулатов, является аксиома Плейфэра , названная в честь шотландского математика Джона Плейфэра , которая гласит:

На плоскости, если дана прямая и точка, не лежащая на ней, через эту точку можно провести не более одной прямой, параллельной данной прямой. [4]

не Эта аксиома сама по себе логически эквивалентна постулату Евклида о параллельности, поскольку существуют геометрии, в которых один верен, а другой нет. Однако при наличии остальных аксиом, дающих евклидову геометрию, каждую из них можно использовать для доказательства другой, поэтому они эквивалентны в контексте абсолютной геометрии . [5]

Было предложено множество других утверждений, эквивалентных постулату о параллельности, некоторые из них на первый взгляд казались не связанными с параллелизмом, а некоторые казались настолько самоочевидными , что они были бессознательно приняты людьми, которые утверждали, что доказали постулат о параллельности на основе других постулатов Евклида. . Эти эквивалентные утверждения включают в себя:

  1. Существует не более одной прямой, которую можно провести параллельно другой данной через внешнюю точку. ( аксиома Плейфэра )
  2. Сумма углов любого треугольника равна 180° ( постулат треугольника ).
  3. Существует треугольник, сумма углов которого равна 180°.
  4. Сумма углов одинакова для любого треугольника.
  5. Существует пара подобных , но не равных треугольников.
  6. Любой треугольник можно описать .
  7. Если три угла четырёхугольника прямые , то четвёртый угол тоже прямой.
  8. Существует четырехугольник, у которого все углы прямые, то есть прямоугольник .
  9. Существует пара прямых, находящихся на постоянном расстоянии друг от друга.
  10. Две прямые, параллельные одной прямой, также параллельны друг другу.
  11. В прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов двух других сторон ( теорема Пифагора ). [6] [7]
  12. Закон косинусов , обобщение теоремы Пифагора.
  13. не существует Верхнего предела площади треугольника . ( аксиома Уоллиса ) [8]
  14. Углы вершины четырехугольника Саккери составляют 90 °.
  15. Если прямая пересекает одну из двух параллельных прямых, обе из которых компланарны исходной прямой, то она пересекает и другую. ( Прокла ) аксиома [9]

Однако альтернативы, использующие слово «параллельность», перестают казаться такими простыми, когда приходится объяснять, какое из четырех общих определений слова «параллельность» имеется в виду – постоянное разделение, никогда не встречающееся, одинаковые углы, пересекаемые какой-то третьей линией, или те же углы пересекаются любой третьей линией, поскольку эквивалентность этих четырех сама по себе является одним из бессознательно очевидных предположений, эквивалентных пятому постулату Евклида. В приведенном выше списке всегда принято относиться к непересекающимся прямым. Например, если слово «параллель» в аксиоме Плейфэра понимать как «постоянное разделение» или «одни и те же углы, где их пересекает любая третья линия», то оно больше не эквивалентно пятому постулату Евклида и доказуемо на основе первых четырех постулатов. (аксиома гласит: «Существует не более одной линии...», что согласуется с отсутствием таких линий). Однако если принять определение так, что параллельные линии - это линии, которые не пересекаются или имеют некоторую линию, пересекающую их под одними и теми же углами, аксиома Плейфэра контекстуально эквивалентна пятому постулату Евклида и, таким образом, логически независима от первых четырех постулатов. Обратите внимание, что последние два определения не эквивалентны, поскольку в гиперболической геометрии второе определение справедливо только для ультрапараллельные линии.

С самого начала постулат подвергался нападкам как доказуемый и, следовательно, не постулат, и на протяжении более двух тысяч лет предпринималось множество попыток доказать (вывести) постулат о параллельности, используя первые четыре постулата Евклида. [10] Основная причина того, что такое доказательство было столь востребовано, заключалась в том, что, в отличие от первых четырех постулатов, постулат о параллельности не является самоочевидным. Если порядок, в котором постулаты были перечислены в «Началах», важен, это указывает на то, что Евклид включил этот постулат только тогда, когда понял, что не может доказать его или действовать без него. [11] Было предпринято множество попыток доказать пятый постулат из четырех других, многие из них принимались в качестве доказательства в течение длительного времени, пока не была обнаружена ошибка. Ошибка неизменно заключалась в допущении какого-то «очевидного» свойства, которое оказывалось эквивалентным пятому постулату ( аксиоме Плейфэра ). Хотя это известно со времен Прокла, оно стало известно как аксиома Плейфэра после того, как Джон Плейфэр написал знаменитый комментарий к Евклиду в 1795 году, в котором он предложил заменить пятый постулат Евклида своей собственной аксиомой. Сегодня, более двух тысяч двухсот лет спустя, пятый постулат Евклида остается постулатом.

Прокл (410–485) написал комментарий к «Элементам» , где комментирует попытки доказательства вывода пятого постулата из четырех других; в частности, он отмечает, что Птолемей представил ложное «доказательство». Затем Прокл приводит собственное ложное доказательство. Однако он дал постулат, эквивалентный пятому постулату.

Ибн аль-Хайсам (Альхазен) (965–1039), арабский математик , предпринял попытку доказать постулат о параллельности, используя доказательство от противного : [12] в ходе которого он ввел в геометрию понятие движения и превращения . [13] Он сформулировал четырехугольник Ламберта , который Борис Абрамович Розенфельд называет «четырехугольником Ибн аль-Хайсама – Ламберта». [14] и его попытка доказательства содержит элементы, подобные тем, которые найдены в четырехугольниках Ламберта и аксиоме Плейфэра . [15]

Персидский математик, астроном, философ и поэт Омар Хайям (1050–1123) пытался доказать пятый постулат, используя другой явно данный постулат (основанный на четвертом из пяти принципов, принадлежащих Философу ( Аристотелю ), а именно: «Два сходящиеся прямые пересекаются, и невозможно, чтобы две сходящиеся прямые расходились в том направлении, в котором они сходятся». [16] Он получил некоторые из более ранних результатов, относящихся к эллиптической геометрии и гиперболической геометрии , хотя его постулат исключал последнюю возможность. [17] также Четырехугольник Саккери был впервые рассмотрен Омаром Хайямом в конце 11 века в Книге I « Объяснений трудностей в постулатах Евклида» . [14] В отличие от многих комментаторов Евклида до и после него (включая Джованни Джироламо Саккери ), Хайям не пытался доказать постулат о параллельности как таковой, а вывести его из эквивалентного ему постулата. Он признал, что в результате исключения пятого постулата Евклида возникли три возможности; если два перпендикуляра к одной линии пересекают другую линию, разумный выбор последней может сделать внутренние углы в месте пересечения двух перпендикуляров равными (тогда он будет параллелен первой линии). Если эти равные внутренние углы являются прямыми, мы получаем пятый постулат Евклида, в противном случае они должны быть либо острыми, либо тупыми. Используя его постулат, он показал, что острые и тупые случаи приводят к противоречиям, но теперь известно, что его постулат эквивалентен пятому постулату.

Насир ад-Дин ат-Туси (1201–1274) в своей книге «Аль-рисала аш-шафияан аш-шакк фил-хутут аль-мутавазия» ( «Обсуждение, устраняющее сомнения в отношении параллельных линий ») (1250) написал подробную критику. постулата о параллельности и о попытке доказательства Хайяма столетием ранее. Насир ад-Дин попытался получить доказательство, опровергнув постулат о параллельности. [18] Он также рассмотрел случаи того, что сейчас известно как эллиптическая и гиперболическая геометрия, хотя исключил оба из них. [17]

Евклидова, эллиптическая и гиперболическая геометрия. Постулат параллельности выполняется только для моделей евклидовой геометрии.

Сын Насир ад-Дина, Садр ад-Дин (иногда известный как « Псевдо-Туси »), написал книгу на эту тему в 1298 году, основанную на более поздних мыслях своего отца, которая представила один из самых ранних аргументов в пользу неевклидовой гипотезы. эквивалентен постулату параллельности. «Он существенно пересмотрел как евклидову систему аксиом и постулатов, так и доказательства многих положений из « Начал ». [18] [19] Его работа была опубликована в Риме в 1594 году и изучена европейскими геометрами. Эта работа стала отправной точкой для работы Саккери по этой теме. [18] который начался с критики работы Садр ад-Дина и работы Уоллиса. [20]

Джордано Витале (1633–1711) в своей книге Euclide restituo (1680, 1686) использовал четырехугольник Хайяма-Саккери, чтобы доказать, что если три точки равноудалены от основания AB и вершины CD, то AB и CD везде равноудалены. Джироламо Саккери (1667–1733) проводил ту же линию рассуждений более тщательно, правильно выводя абсурдность из тупого случая (исходя, как и Евклид, из неявного предположения, что линии могут быть продолжены до бесконечности и иметь бесконечную длину), но не сумев опровергнуть острый случай (хотя ему удалось ошибочно убедить себя в этом).

В 1766 году Иоганн Ламберт написал, но не опубликовал «Теорию параллелизма», в которой попытался, как и Саккери, доказать пятый постулат. Он работал с фигурой, которую сегодня мы называем четырехугольником Ламберта , четырехугольником с тремя прямыми углами (можно считать половиной четырехугольника Саккери). Он быстро исключил возможность того, что четвертый угол тупой, как это сделали Саккери и Хайям, а затем приступил к доказательству многих теорем в предположении острого угла. В отличие от Саккери, он никогда не чувствовал, что пришел к противоречию с этим предположением. Он доказал неевклидов результат о том, что сумма углов в треугольнике увеличивается с уменьшением площади треугольника, и это привело его к размышлению о возможности модели острого случая на сфере мнимого радиуса. Дальше он эту идею не развивал. [21]

Там, где Хайям и Саккери пытались доказать пятую теорему Евклида, опровергая единственные возможные альтернативы, девятнадцатый век наконец увидел, как математики исследуют эти альтернативы и открывают логически последовательные геометрии, которые возникают в результате. В 1829 году Николай Иванович Лобачевский опубликовал отчет по острой геометрии в малоизвестном русском журнале (позже переизданном в 1840 году на немецком языке). В 1831 году Янош Бояи включил в книгу своего отца приложение, описывающее острую геометрию, которую он, несомненно, разработал независимо от Лобачевского. Карл Фридрих Гаусс также изучал эту проблему, но не опубликовал ни одного из своих результатов. Услышав о результатах Бояи в письме от отца Бояи, Фаркаса Бояи , Гаусс заявил:

Если бы я начал с того, что не могу похвалить эту работу, вы наверняка на мгновение удивились бы. Но я не могу сказать иначе. Хвалить его — значит хвалить самого себя. Действительно, всё содержание работы, путь, пройденный вашим сыном, результаты, к которым он приведён, почти целиком совпадают с моими размышлениями, занимавшими отчасти мой ум в течение последних тридцати или тридцати пяти лет. [22]

Полученные геометрии были позже развиты Лобачевским , Риманом и Пуанкаре в гиперболическую геометрию (острый случай) и эллиптическую геометрию (тупой случай). Независимость Эухенио постулата параллельности от других аксиом Евклида была наконец продемонстрирована Бельтрами в 1868 году.

Обратный постулат Евклида о параллельности.

[ редактировать ]
Обратный постулат параллельности: если сумма двух внутренних углов равна 180°, то прямые параллельны и никогда не пересекутся.

Евклид не постулировал обратное своему пятому постулату, который является одним из способов отличить евклидову геометрию от эллиптической геометрии . В «Началах» содержится доказательство эквивалентного утверждения (книга I, предложение 27): если прямая линия, падающая на две прямые, делает чередующиеся углы равными друг другу, то прямые линии будут параллельны друг другу. В роли Де Моргана [23] Как указано выше, это логически эквивалентно (Книга I, предложение 16). Эти результаты не зависят от пятого постулата, но требуют второго постулата. [24] что нарушается в эллиптической геометрии.

Попытки логически доказать постулат о параллельности, а не восьмую аксиому, [25] подверглись критике со стороны Артура Шопенгауэра в «Мире как воля и идея» . Однако аргумент, использованный Шопенгауэром, заключался в том, что постулат очевиден для восприятия, а не в том, что он не является логическим следствием других аксиом. [26]

Разложение постулата параллельности

[ редактировать ]

Постулат параллельности эквивалентен соединению лочнтаксиомы и аксиомы Аристотеля . [27] Первый утверждает, что перпендикуляры к сторонам прямого угла пересекаются, а второй утверждает, что не существует верхней границы для длин расстояний от катета угла до другого катета. Как показано в, [28] Постулат параллельности эквивалентен соединению следующих геометрических форм инцидентности лочнтаксиомы и аксиомы Аристотеля :

Даны три параллельные прямые, и существует прямая, пересекающая все три из них.

Учитывая прямую a и две различные пересекающиеся прямые m и n , каждая из которых отличается от a , существует линия g , которая пересекает a и m , но не пересекает n .

Расщепление постулата параллельности на конъюнкцию этих аксиом инцидентно-геометрической формы возможно только при наличии абсолютной геометрии . [29]

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ неевклидовы геометрии , доктор Катрина Пиатек-Хименес.
  2. ^ «Начала Евклида, книга I, определение 23» . Университет Кларка . Проверено 19 апреля 2022 г. Параллельные прямые — это прямые, которые, находясь в одной плоскости и образуясь бесконечно в обоих направлениях, не встречаются друг с другом ни в одном направлении.
  3. ^ «Начала Евклида, книга I» . aleph0.clarku.edu . Проверено 13 июня 2023 г.
  4. ^ «Начала Евклида, книга I, предложение 30» . aleph0.clarku.edu . Проверено 13 июня 2023 г.
  5. ^ Хендерсон и Тайминя 2005 , с. 139
  6. ^ Эрик В. Вайсстайн (2003), Краткая математическая энциклопедия CRC (2-е изд.), CRC Press, стр. 2147, ISBN  1-58488-347-2 Постулат параллельности эквивалентен постулату равноудаления , аксиоме Плейфэра , аксиоме Прокла , постулату треугольника и теореме Пифагора .
  7. ^ Александр Р. Прусс (2006), Принцип достаточного основания: переоценка , Cambridge University Press, стр. 11, ISBN  0-521-85959-Х , Мы могли бы включить... постулат о параллельности и вывести теорему Пифагора. Или вместо этого мы могли бы выделить теорему Пифагора среди других аксиом и вывести постулат о параллельности.
  8. ^ Богомольный, Александр . «Пятый постулат Евклида» . Разрезать узел . Проверено 30 сентября 2011 г.
  9. ^ Вайсштейн, Эрик В. «Аксиома Прокла – MathWorld» . Проверено 5 сентября 2009 г.
  10. ^ Евклид; Хит, Томас Литтл, сэр (1956). Тринадцать книг «Начал» Евклида . Нью-Йорк: Dover Publications. п. 202. ИСБН  0-486-60088-2 . ОСЛК   355237 . {{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка )
  11. ^ Флоренс П. Льюис (январь 1920 г.), «История постулата параллельности», The American Mathematical Monthly , 27 (1), The American Mathematical Monthly, vol. 27, нет. 1: 16–23, doi : 10.2307/2973238 , JSTOR   2973238 .
  12. ^ Кац 1998 , с. 269
  13. ^ Кац 1998 , с. 269:

    По сути, этот метод охарактеризовал параллельные линии как линии, всегда равноудаленные друг от друга, а также ввел в геометрию понятие движения.

  14. ^ Jump up to: Перейти обратно: а б Розенфельд 1988 , с. 65
  15. ^ Смит 1992
  16. ^ Борис А. Розенфельд и Адольф П. Юшкевич (1996), Геометрия , с. 439 в Рошди Рашед, Режис Морелон (1996), Энциклопедия истории арабской науки , Routledge, ISBN   0-415-12411-5 .
  17. ^ Jump up to: Перейти обратно: а б Борис А. Розенфельд и Адольф П. Юшкевич (1996), «Геометрия», в Рошди Рашед, изд., Энциклопедия истории арабской науки , том. 2, стр. 447–494 [469], Рутледж , Лондон и Нью-Йорк:

    «Постулат Хайяма исключил случай гиперболической геометрии, тогда как постулат ат-Туси исключил как гиперболическую, так и эллиптическую геометрию».

  18. ^ Jump up to: Перейти обратно: а б с Кац 1998 , с. 271:

    «Но в рукописи, написанной, вероятно, его сыном Садр ад-Дином в 1298 году и основанной на более поздних мыслях Насир ад-Дина по этому вопросу, есть новый аргумент, основанный на другой гипотезе, также эквивалентной гипотезе Евклида, [...] Важность этой последней работы состоит в том, что она была опубликована в Риме в 1594 году и изучалась европейскими геометрами. В частности, она стала отправной точкой для работ Саккери и, в конечном итоге, для открытия неевклидовой геометрии».

  19. ^ Борис А. Розенфельд и Адольф П. Юшкевич (1996), «Геометрия», в Рошди Рашед, изд., Энциклопедия истории арабской науки , том. 2, стр. 447–494 [469], Рутледж , Лондон и Нью-Йорк:

    «В «Изложении Евклида» Псевдо-Туси [...] вместо постулата используется другое утверждение. Оно было независимым от евклидова постулата V и его легко доказать. [...] Он существенно пересмотрел обе евклидовы системы аксиом. а также постулаты и доказательства многих положений из « Элементов ».

  20. ^ «Джованни Саккери — Биография» . История математики . Проверено 13 июня 2023 г.
  21. ^ О'Коннор, Джей-Джей; Робертсон, EF «Иоганн Генрих Ламберт» . Проверено 16 сентября 2011 г.
  22. ^ Фабер 1983 , с. 161
  23. ^ Хит, TL, Тринадцать книг «Начал» Евклида , том. 1, Дувр, 1956, с. 309.
  24. ^ Коксетер, HSM, Неевклидова геометрия , 6-е изд., MAA 1998, стр. 3
  25. ^ Шопенгауэр имеет в виду общее понятие Евклида 4: фигуры, совпадающие друг с другом, равны друг другу.
  26. ^ «Мир как воля и идея» (PDF) . Гутенберг.орг . Проверено 13 июня 2023 г.
  27. ^ Памбучиан, Виктор (1994), «Zum Stufenaufbau des Parallelenaxioms», Journal of Geometry , 51 (1–2): 79–88, doi : 10.1007/BF01226859 , hdl : 2027.42/43033 , S2CID   28056805
  28. ^ Памбучян, Виктор; Шахт, Селия (2021), «Вездесущая аксиома», Результаты по математике , 76 (3): 1–39, doi : 10.1007/s00025-021-01424-3 , S2CID   236236967
  29. ^ Памбучян, Виктор (2022), «О расщеплении постулата параллельности», Journal of Geometry , 113 (1): 1–13, doi : 10.1007/s00022-022-00626-6 , S2CID   246281748
[ редактировать ]

Эдер, Мишель (2000), Взгляды на постулат параллельности Евклида в Древней Греции и средневековом исламе , Университет Рутгерса , получено 23 января 2008 г.

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: ad90564276665b8e4bb3c30345cc7535__1717793400
URL1:https://arc.ask3.ru/arc/aa/ad/35/ad90564276665b8e4bb3c30345cc7535.html
Заголовок, (Title) документа по адресу, URL1:
Parallel postulate - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)