Русская Википедия:Четырёхугольник Ламберта

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Файл:Lambert quadrilateral.svg

Четырёхугольник Ла́мберта, или трипрямоуго́льник, — четырёхугольник, имеющий при трёх его вершинах прямые углы.

Назван в честь швейцарского математика Иоганна Генриха Ламберта, впервые исследовавшего свойства такой фигуры в попытках доказательства 5-й аксиомы геометрии Евклида.

Свойства

Пусть <math>ABCD</math> — четырёхугольник Ламберта на абсолютной плоскости с прямыми углами при <math>A</math>, <math>B</math> и <math>C</math>. Тогда

  • <math>CD\ge AB</math> и <math>DA\ge BC</math>;
  • <math>\angle D\le\tfrac\pi2</math>.

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

История

Четырёхугольник Ламберта впервые рассмотрен Ибн ал-Хайсамом в XI веке[1].

Рассматривался Иоганном Ламбертом в 1766 при попытках доказать постулат Евклида о параллельных. Из трёх возможных предположений о величине четвёртого угла: либо угол прямой, либо угол тупой, либо угол острый; первая гипотеза является утверждением, эквивалентным постулату Евклида о параллельных; вторая приводит к противоречию с другими аксиомами и постулатами Евклида. Относительно третьей гипотезы Ламберт сделал предположение, что она выполняется на некоторой мнимой сфере. После чего сделал ошибочное утверждение, что такой сферы в реальном пространстве быть не может и поэтому постулат верен.

В 1733 году Джироламо Саккери рассматривал четырёхугольники с двумя прямыми углами — так называемые четырёхугольники Саккери.

Примечания

Шаблон:Примечания

Литература

Шаблон:Многоугольники