Теорема Саккери – Лежандра - Saccheri–Legendre theorem

В абсолютная геометрия, то Теорема Саккери – Лежандра утверждает, что сумма углов в треугольник составляет не более 180 °.[1] Абсолютная геометрия - это геометрия, полученная при принятии всех аксиомы что приводит к Евклидова геометрия за исключением аксиомы, эквивалентной параллельный постулат Евклида.[2]

Теорема названа в честь Джованни Джироламо Саккери и Адриан-Мари Лежандр.

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

Макс Ден привел пример нелегандровская геометрия где сумма углов треугольника больше 180 градусов, а полуевклидова геометрия где есть треугольник с суммой углов 180 градусов, но постулат о параллельности Евклида не работает. В геометрии Дена Аксиома архимеда не держит.

Примечания

  1. ^ Гринберг, Марвин Дж. (1993), "Теорема Саккери – Лежандра", Евклидова и неевклидова геометрия: развитие и история, Macmillan, стр. 124–128, ISBN  9780716724469.
  2. ^ Существует множество систем аксиом, которые дают евклидову геометрию, и все они содержат аксиому, которая логически эквивалентна постулату параллельности Евклида.