Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана

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

Теорема 11.1. Предположение о существовании треугольника, сумма углов которого совпадает с суммой двух прямых углов, равносильно аксиоме параллельности евклидовой плоскости.

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

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

Лемма 11.2.Сумма углов треугольника равна 2d тогда и только тогда, когда его внешний угол равен сумме внутренних углов, с ним не смежных.

Доказательство. Необходимость.Пусть в треугольнике АВС Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru (рис. 41). Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru Тогда Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . С другой стороны, внешний угол Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru составляет с Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru развернутый угол, поэтому Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Отсюда следует, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru .

Достаточность.Пусть Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Так как Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru , то Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Отсюда следует, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Лемма доказана.

Рассмотрим произвольную точку А и прямую m плоскости, точка А не принадлежит данной прямой. Опустим из точки А перпендикуляр АВ на прямую m (рис. 42) Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru и восставим в точке А перпендикуляр h к прямой АВ. Как известно, прямые m и h не пересекаются (теорема 4.2). Предположим, что через точку А проходит еще одна прямая р, отличная от h, не пересекающая m. Рассмотрим ту полуплоскость с границей АВ, в которой прямые p и h образуют острый угол. Отложим в этой полуплоскости на прямой m от точки В отрезок ВВ1, равный АВ. Сумма углов треугольника АВВ1 равна 2d. Угол АВВ1 – прямой, поэтому Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . По построению Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru - равнобедренный. Отсюда следует, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Отложим на луче ВВ1 от точки В1 отрезок АВ1. Получим точку В2 (см. рис. 42). Угол АВ1В треугольника АВ1В является внешним углом Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . В силу нашего предположения, Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . А, так как треугольник АВ1В2 – равнобедренный, то Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Следовательно, Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Аналогично, откладывая на луче ВВ1 от точки В2 отрезок АВ2, получим равнобедренный треугольник АВ2В3, угол В2АВ3 которого равен Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Отсюда следует, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Продолжая этот процесс, мы получим, что для любого n существует прямая ВАВn, лежащая внутри острого угла, образованного прямыми АВ и h, такая, что

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru .

При n стремящимся к бесконечности мы получим в правой части этого выражения бесконечно убывающую геометрическую прогрессию

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru ,

первый член которой равен Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru , а знаменатель - Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Поэтому ее сумма S равна

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru .

Таким образом, Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Поэтому существует такое натуральное число n, при котором Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru будет больше угла, образованными прямыми АВ и р. Отсюда следует, что прямая р пересекает прямую m (см. теорему 7.7, § 7). Мы пришли к противоречию с нашим предположением. Теорема доказана.

Из доказанной теоремы легко проверить истинность следующего утверждения.

Теорема 11.3. Аксиома параллельности евклидовой геометрии равносильна утверждению: на плоскости существует выпуклый четырехугольник, сумма углов которого равна 4d.

Доказательство.В школьном курсе геометрии доказывается, что на евклидовой плоскости сумма углов выпуклого четырехугольника равна 4d. Докажем обратное утверждение. Пусть сумма углов выпуклого четырехугольника ABCD равна 4d (рис. 43). Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru Проведем диагональ AD, получим два треугольника ABD и BCD. Легко видеть, что сумма углов этих треугольников совпадает с суммой углов данного четырехугольника. Предположим, что сумма углов треугольника ABD не равна 2d. Тогда по первой теореме Лежандра Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Но из равенства суммы углов треугольников ABD и BCD и четырехугольника ABCD следует, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru , что в свою очередь противоречит первой теореме Лежандра. Таким образом, Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru , и из теоремы 11.1 следует справедливость доказываемого утверждения.

Используя метод математической индукции, нетрудно также доказать следующее обобщение теоремы 11.3 на случай произвольного выпуклого n – угольника.

Теорема 11.4.Аксиома параллельности евклидовой геометрии равносильна утверждению: на плоскости существует выпуклый n - угольник, сумма углов которого равна 2(n-1)d..

Доказательство проведите самостоятельно.

Предложение Валлиса. На плоскости существует хотя бы одна пара треугольников с соответственно равными углами, но не равными сторонами.

Другими словами, на плоскости существуют два подобных, но неравных треугольника.

Теорема 11.5.Предложение Валлиса эквивалентно аксиоме параллельности евклидовой геометрии.

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

Пусть даны два треугольника АВС и А1В1С1, такие, что

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru , (1)

и Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Будем для определенности считать, что

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru (2)

Воспользуемся аксиомой III1 аксиоматики Гильберта евклидова пространства (см. § 4) и отложим от точки А на луче АВ отрезок АВ¢, равный А1В1. Используя аксиому III4 аксиоматики Гильберта, отложим на луче В¢А угол Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru , равный Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru (рис. 44). Прямая h пересекла сторону АВ треугольника АВС в точке В¢, в соответствии с аксиомой II4 (аксиома Паша, см. § 3) она пересекает вторую сторону этого треугольника. Предположим, что она пересекает прямую ВС в точке М (см. рис. 44 а). Тогда для треугольника В¢МВ угол Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru - внешний и по построению он равен Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Мы пришли к противоречию с теоремой 4.1 о внешнем угле треугольника. Таким образом, прямая h пересекает отрезок АС в некоторой точке С¢ (см. рис 44 б).

В силу условия (1) и равенства отрезков АВ¢ и А1В1, треугольники А1В1С1 и АВ¢С¢ равны между собой по второму признаку равенства треугольников. Рассмотрим четырехугольник В¢С¢СВ. Очевидно, он является выпуклым. Из равенства треугольников А1В1С1 и АВ¢С¢ следует, что углы этого четырехугольника удовлетворяют равенству:

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru .

Найдем сумму углов четырехугольника В¢С¢СВ:

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru Мы построили выпуклый четырехугольник, сумма углов которого равна 4d, что, в силу теоремы 11.3, равносильно условию аксиомы параллельности евклидовой геометрии. Теорема доказана.

Следующее предложение, использованное Лежандром, носит его имя.

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

Теорема 11.6.Предложение Лежандра эквивалентно аксиоме параллельности евклидовой геометрии.

Доказательство. Предположим, что на евклидовой плоскости дан острый угол ВАС. Выберем произвольную точку м на луче АВ и восставим в этой точке перпендикуляр h к стороне АВ (рис. 45).

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru ,

поэтому прямые АС и h пересекаются в силу пятого постулате Евклида.

Обратно. Пусть на плоскости существует такой острый угол ВАС, для которого перпендикуляр, восставленный в любой точке стороны АВ, пересекает прямую АС. Выберем на стороне АВ этого угла точку М и восставим в ней перпендикуляр к АВ. В силу нашего предположения он пересекает сторону АС угла в некоторой точке N (рис. 46). Предположим, что дефект d треугольника AMN (см. определение 10.1) отличен от нуля. Тогда, в силу второй теоремы Лежандра, дефект любого треугольника PQR плоскости удовлетворяет неравенствам:

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru.(3)

Отразим симметрично точку А относительно точки М. Получим точку М1. Восставим в точке М1 перпендикуляр к прямой АВ. Он пересечет сторону АС данного угла в точке N1 (см. рис. 46). В силу свойств центральной симметрии, Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Из свойства 10.2 дефектов треугольников следует, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Из свойства 10.3 следует, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Отразим теперь точку симметрично относительно точки М1, получим точку М2. Восставим перпендикуляр к прямой АВ в точке М2. В силу нашего предположения он пересечет сторону АС данного угла в некоторой точке N2. Проведя те же рассуждения, получим, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Отсюда следует, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Отразим далее точку А относительно точки М2, построим аналогичным образом треугольникAM3N3, затем треугольник AM4N4, и так далее. Получим треугольники AM1N1, Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru AM2N2…AMnNn. Легко видеть, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Выберем число n таким, чтобы выполнялось неравенство: Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Поэтому Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Мы пришли к противоречию с неравенством (3). Теорема доказана.

Следует заметить, что предложения, рассматриваемые Лежандром, их равносильность аксиоме параллельности евклидовой геометрии, были известны его предшественниками, в частности Саккери и Ламберту (см. §1). Лежандр, по сути, не внес ничего нового в решение проблемы пятого постулата Евклида. Но его учебники, в которых были опубликованы рассмотренные утверждения, оказали большое влияние на исследования Н.И. Лобачевского и Я. Бояи.

Определение 12.1. Четырехугольник, у которого два угла, имеющих общую сторону, являются прямыми, называется двупрямоугольником.

В двупрямоугольнике ABCD, у которого углы А и D прямые, стороны AD и BC называются соответственно нижним и верхним основаниями, а стороны АВ и СD – боковыми сторонами.

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

Прежде всего, отметим следующее свойство двупрямоугольников.

Теорема 12.1. Двупрямоугольник ABCD в том и только в том случае является четырехугольником Саккери, когда его диагонали равны между собой.

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru Доказательство. Необходимость.Пусть ABCD – данный четырехугольник Саккери, углы А и D – прямые, боковые стороны АВ и СD равны между собой: Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru (см. рис. 47). Треугольники ABD и ACD, в силу данных условий, прямоугольные. Они имеют общий катет AD, катеты АВ и СD равны между друг другу. Поэтому Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Отсюда следует, что их гипотенузы АС и BD, которые служат диагоналями в данном четырехугольнике Саккери, также равны между собой. Необходимость доказана.

Достаточность.Рассмотрим двупрямоугольник ABCD, у которого углы А и D - прямые, а диагонали АС и BD – равны между собой (см. рис. 47). Тогда прямоугольные треугольники ABD и ACD имеют общий катет AD и равные гипотенузы АС и BD. Следовательно, они равны между собой по катету и гипотенузе. Отсюда следует, что их катеты АВ и CD также равны друг другу. Поэтому в двупрямоугольнике ABCD равны боковые стороны и он является четырехугольником Саккери. Теорема доказана.

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

Теорема 12.2. В четырехугольнике Саккери углы, прилежащие к верхнему основанию, равны между собой.

Доказательство.Пусть ABCD – четырехугольник Саккери (см. рис. 47). Тогда, в силу теоремы 12.1, его диагонали АС и BD равны между собой. Отсюда следует, что треугольники АВС и ВСD равны между собой по трем сторонам. Следовательно, Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Теорема доказана.

Заметим еще раз, что доказанные теоремы основываются только на фактах абсолютной геометрии. Вернемся к результатам Омара Хаяма и Джироломо Саккери. Как упоминалось в первом параграфе, ими рассматривался четырехугольник Саккери и делались предположения о величине угла, прилежащего к верхнему основанию. Рассматривались случаи, когда этот угол тупой, прямой или острый (так называемые гипотезы тупого, прямого и острого углов). Гипотеза тупого угла была ими опровергнута, а Иоганн Генрих Ламберт (см. § 1) показал, что она реализуется на сфере трехмерного евклидова пространства. Было показано, что гипотеза прямого угла равносильна утверждению пятого постулата Евклида. Как Хаям, так и Саккери пытались найти противоречие между гипотезой острого угла и утверждениями абсолютной геометрии. Допущенные ошибки в рассуждениях позволили им сделать вывод, что проблема пятого постулата решена. На самом деле, гипотеза острого угла не может быть опровергнута средствами абсолютной геометрии. Она справедлива в пространстве Лобачевского, об этом мы будем говорить в следующей главе. Сейчас же мы рассмотрим гипотезы тупого и прямого углов.

Из первой теоремы Лежандра (теорема 10.1) легко следует, что углы, прилежащие к верхнему основанию четырехугольника Саккери, не могут быть тупыми. Для этого достаточно провести диагональ четырехугольника Саккери и рассмотреть суммы углов двух образовавшихся треугольников. Доказательство проведите самостоятельно в качестве упражнения. Покажем, что гипотеза прямого угла равносильна аксиоме параллельности евклидовой геометрии.

Теорема 12.3. Предположение о том, что углы, прилежащие к верхнему основанию четырехугольника Саккери равны прямым, равносильно аксиоме параллельности евклидовой геометрии.

Доказательство. Пусть дан четырехугольник Саккери АВСD, углы А и D которого прямые. Как известно, в евклидовой плоскости сумма углов выпуклого четырехугольника равна 4d. Таким образом, на евклидовой плоскости Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Так как Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru , то Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Из теоремы 12.2 следует, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Поэтому углы В и С данного четырехугольника прямые.

Обратно, пусть существует такой четырехугольник Саккери АВСD с прямыми углами А и D, у которого по крайней мере один из углов, прилежащих к верхнему основанию, например, угол В, прямой. Тогда из теоремы 12.2 вытекает, что угол С также прямой. Поэтому сумма углов такого четырехугольника равна 4d. В силу теоремы 11.3 справедливо утверждение аксиомы параллельности евклидовой геометрии. Теорема доказана.

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

Теорема 12.4. Пусть дан двупрямоугольник ABCD, у которого углы А и D прямые. Тогда боковая сторона АВ меньше боковой стороны CD, в том и только в том случае, когда Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru .

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru Доказательство. Необходимость.Пусть ABCD двупрямоугольник, боковые стороны которого связаны неравенством Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru (рис. 48). Требуется доказать, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Отложим на боковой стороне DC от точи D отрезок DE, равный АВ. Тогда двупрямоугольник ABED – четырехугольник Саккери. Из теоремы 12.2 следует, что

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . (1)

С другой стороны, Так как Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru , то Е – внутренняя точка отрезка CD. Поэтому ВЕ – внутренний луч угла АВС. Следовательно,

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . (2)

В треугольнике ВСЕ угол BED является внешним. По теореме о внешнем угле треугольника (теорема 4.1) этот угол больше любого внутреннего угла, с ним не смежного, т.е. Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Отсюда, в силу соотношений (1) и (2) следует искомое неравенство.

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

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru .(3)

Следует доказать, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Предположим, что его боковые стороны равны между собой. Тогда ABCD - четырехугольник Саккери. И, в силу теоремы 12.2, Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Мы пришли к противоречию с данным нам условием (3). Поэтому боковые стороны АВ и CD не равны друг другу. Предположим, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Но тогда из первой части доказательства нашей теоремы получим, что угол при верхнем основании, прилежащий к меньшей боковой стороне, т.е. Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru больше угла, прилежащего к большей боковой стороне, т.е. Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Мы опять пришли к противоречию с данным нам неравенством (3). Теорема доказана.

Доказанное свойство двупрямоугольников позволит нам усилить условие теоремы 12.2, получить признак, позволяющий утверждать, в каком случае двупрямоугольник является четырехугольником Саккери.

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

Доказательство.Необходимость следует из утверждения теоремы 12.3. Докажем достаточность. Пусть дан двупрямоугольник ABCD, у которого углы прилежащие к верхнему основанию равны между собой

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru (4)

Предположим, что боковые стороны АВ и CD не равны друг другу. Пусть, для определенности, Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Тогда из теоремы 12.4 следует, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru , что противоречит равенству (4). Теорема доказана.

Как отмечалось в § 1, одну из первых попыток доказательства пятого постулата Евклида предпринял Посидоний. Сформулируем его предложение в следующем виде.

Предложение Посидония. На плоскости существуют по крайней мере три коллинеарные точки, расположенные в одной полуплоскости от данной прямой и равноудаленные от нее.

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

Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru Доказательство.На евклидовой плоскости, как следует из школьного курса геометрии, точки, расположенные на прямой, параллельной данной, равноудалены от нее. Перпендикуляры, опущенные из этих точек на данную прямую, равны между собой.

Докажем обратное. Предположим, что существует такая прямая а и такие три точки В, С и М, что перпендикуляры АВ, CD и MN, опущенные из них на прямую а, равны между собой (рис. 49). Тогда четырехугольники ABCD, DCMN и ABMN являются четырехугольниками Саккери. Предположим, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru - острый. Тогда из теоремы 12.5 следует, что Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru (т.к. ABCD – четырехугольник Саккери), Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru (т.к. ABMN – четырехугольник Саккери), Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru (т.к. DCMN – четырехугольник Саккери). Следовательно, Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru . Из нашего предположения следует, что углы BCD и DCM острые. Но с другой стороны, они вместе составляют развернутый угол. Мы пришли к противоречию. Таким образом Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru - прямой, а, следовательно, Так как треугольник PRQ «составлен» из прямоугольных треугольников RSP и PSQ, то из свойства 10.2 следует, . Теорема доказана - student2.ru - также прямой. Четырехугольник ABCD имеет четыре прямых угла. В силу теоремы 11.3 выполнено условие аксиомы параллельности евклидовой геометрии. Теорема доказана.

Мы завершили исследование утверждений, эквивалентных аксиоме параллельности евклидовой геометрии. Следует отметить, что список рассмотренных нами утверждений не является полным. Существуют другие утверждения, также эквивалентные этой аксиоме. С некоторыми из них можно познакомиться в пособиях [7, 8, 9].

[1] Здесь и в дальнейшем прямой угол будем обозначать через d.

Наши рекомендации