И

АБСОЛЮТНАЯ ГЕОМЕТРИЯ     Геометрию Евклида можно подразделить на две части. Одна часть включает в себя понятия, свойства и теоремы, определение и доказательство которых не использует аксиому параллельных. Она называется абсолютной геометрией. Этот термин был введен венгерским математиком Я.Бойяи в 30-х годах XIX века. Другую часть геометрии Евклида, использующую аксиому параллельных, для удобства будем называть относительной геометрией.
    В школьных учебниках геометрии по-разному решается вопрос о соотношении абсолютной и относительной геометрии. Так в учебниках Л.С.Атанасяна и др. [1], А.В.Погорелова [2] аксиома параллельных вводится с самого начала изучения геометрии.
    В учебнике А.П.Киселева под редакцией Н.А.Глаголева [3] сначала излагается абсолютная геометрия, рассматриваются понятия и доказываются свойства и теоремы, не использующие аксиому параллельных, и только после этого вводится аксиома параллельных. Аналогичный метод изложения используется в учебнике геометрии И.М.Смирновой, В.А.Смирнова [4], где аксиома параллельных вводится в начале 8-го класса, а до этого, в 7-м классе, излагается абсолютная геометрия.
    Такое разделение школьного курса геометрии на абсолютную и относительную позволяет сформировать более четкие представления о роли аксиомы параллельных, о том, какие понятия, свойства и теоремы зависят от нее, а какие нет, закладывает основу дальнейшего знакомства со сферической геометрией, с неевклидовыми геометриями Лобачевского и Римана.
    Здесь мы укажем некоторые свойства и теоремы школьного курса геометрии, доказательство которых в учебниках [1] и [2] использует аксиому параллельных, но на самом деле они относятся к абсолютной геометрии.
    Теорема. Внешний угол произвольного треугольника больше каждого внутреннего угла, не смежного с ним.
    В учебниках [1] и [2] эта теорема является следствием теоремы о сумме углов треугольника и, значит, использует аксиому параллельных. В действительности она может быть доказана без использования этой аксиомы. А именно, пусть АВС - произвольный треугольник. Рассмотрим, например, внешний угол ВСD, и докажем, что он больше внутреннего угла АВС. Для этого через вершину А и середину Е стороны ВС проведем прямую и отложим на ней отрезок EF, равный АЕ. Треугольники АВЕ и FCЕ равны по первому признаку равенства треугольников (ВЕ = ЕС, AE = FE,

AEB = FEC). Следовательно,

ABC = BCF. Но угол BCF составляет только часть угла BCD. Значит,

BCD > ABC.
    Следствие 1. Если в треугольнике имеется прямой или тупой угол, то остальные два угла этого треугольника – острые.
    Действительно, в этом случае внешний угол, например, к тупому углу будет острым и он больше каждого внутреннего угла, не смежного с ним.
    Следствие 2. Через точку, не принадлежащую прямой, проходит не более одной прямой, перпендикулярной данной.
    Действительно, если бы имелось две прямые, перпендикулярные данной, то они образовывали бы треугольник с двумя прямыми углами, а это невозможно.
    Следствие 3. Если точка D лежит внутри треугольника ABC, то угол ADB меньше угла C.
    Действительно, продолжим AD до пересечения с BC в точке E. Тогда

ADB >AEB >C.
Теорема (Соотношение между сторонами и углами треугольника). В произвольном треугольнике против большей стороны лежит больший угол.
Доказательство. Пусть в треугольнике АВС сторона АВ больше стороны АС. Докажем, что угол С больше угла В. Для этого отложим на луче АВ отрезок AD, равный стороне АС. Треугольник АСD - равнобедренный. Следовательно,

1 =

2. Угол 1 составляет часть угла С. Поэтому

1 <

C. С другой стороны, угол 2 является внешним углом треугольника ВСD. Поэтому

2 >

B. Следовательно, имеем

C >

1 =

2 >

B.
    Следствие 1. В произвольном треугольнике против большего угла лежит большая сторона.
    Докажем, что если в треугольнике АВС угол С больше угла В, то и сторона АВ больше стороны АС. Действительно, эти стороны не могут быть равны, так как в этом случае треугольник АВС был бы равнобедренным и, следовательно, угол С равнялся бы углу В. Сторона АВ не может быть меньше стороны АС, так как в этом случае, по доказанному, угол С был бы меньше угла В. Остается только, что сторона АВ больше стороны АС.
    Следствие 2. Перпендикуляр, опущенный из данной точки на данную прямую, короче всякой наклонной, проведенной из этой точки к этой прямой.
    Следствие 3. Из двух наклонных, проведенных из данной точки к данной прямой, больше та, проекция которой больше.
    Действительно, пусть ВС и ВD - наклонные к прямой а, АВ - перпендикуляр и AD > AC. Предположим, что точки С и D лежат по одну сторону от точки А. Тогда угол ВСD тупой как внешний угол острого угла прямоугольного треугольника АВС. Угол BDC острый как угол прямоугольного треугольника АВD. Так как против большего угла треугольника лежит большая сторона, то в треугольнике BDC сторона BD будет больше стороны ВС.
    Аналогичным образом рассматривается случай, когда точки С и D лежат по разные стороны от точки А.
    Теорема (Неравенство треугольника). Каждая сторона треугольника меньше суммы и больше разности двух других сторон.
    Доказательство. Рассмотрим треугольник АВС. Отложим на продолжении стороны АВ отрезок ВD, равный стороне ВС. Треугольник ВDC - равнобедренный. Поэтому

BCD=

BDC. Угол BCD составляет часть угла ACD. Следовательно,

BCD <

ACD. Таким образом, в треугольнике ACD угол C больше угла D. Воспользуемся тем, что в треугольнике против большего угла лежит большая сторона. Получим неравенство AD > AC. Но AD=AB+BD=AB+BC. Следовательно, имеем неравенство AB+BC > AC, означающее, что сторона треугольника меньше суммы двух других сторон. Вычитая из обеих частей этого неравенства ВС, получим неравенство АВ > АС-ВС, означающее, что сторона треугольника больше разности двух других сторон.
    Следствие. Если выполняется равенство АС + СВ = АВ, то точка С лежит на отрезке АВ между точками А и В.
    Действительно, если точка С не лежит на прямой АВ, то будет выполняться неравенство АС+ВC>AC. Если точка С лежит на прямой АВ вне отрезка АВ, то также будет выполняться это неравенство. Остается одна возможность - точка С лежит на отрезке АВ между точками А и В.
    Признаки равенства прямоугольных треугольников также относятся к абсолютной геометрии.
    Теорема (Признак равенства прямоугольных треугольников). Если гипотенуза и катет одного прямоугольного треугольника соответственно равны гипотенузе и катету другого прямоугольного треугольника, то такие треугольники равны.
    Доказательство аналогично доказательству третьего признака равенства треугольников. Пусть АВС и А₁В₁С₁ - два прямоугольных треугольника, в которых углы В и В₁ - прямые, АС = А₁С₁ и АВ = А₁В₁. Отложим треугольник ABC от луча A₁B₁ так, чтобы вершина A совместилась с вершиной A₁, а вершина С перешла бы в точку С₂, лежащую по другую сторону от точки С относительно прямой А₁В₁. Тогда треугольник А₁В₁С₂ будет равен треугольнику АВС. Так как углы А₁В₁С₁ и А₁В₁С₂ - прямые, то точки С₁, В₁ и С₂ лежат на одной прямой. Из равенства сторон A₁С₁ и A₁С₂ следует, что треугольник С₁А₁С₂ - равнобедренный. Воспользуемся тем, что высота, опущенная на основание равнобедренного треугольника, является биссектрисой. Получим, что А₁В₁ - биссектриса и, значит, равны углы С₁А₁В₁ и С₂А₁В₁. Таким образом, треугольники А₁В₁С₁ и А₁В₁С₂ равны по первому признаку равенства треугольников. Следовательно, равны и треугольники АВС и А₁В₁С₁.
    Рассмотрим некоторые свойства окружности, относящиеся к абсолютной геометрии.
    Теорема. Диаметр есть наибольшая хорда окружности.
    Доказательство. Пусть дана окружность с центром в точке О и радиусом R, АВ – произвольная хорда, отличная от диаметра. Проведем отрезки ОА и ОВ. В треугольнике АОВ сторона АВ меньше суммы двух других сторон, т.е. АВ < ОА + ОВ = R + R = 2R. Следовательно, хорда АВ меньше диаметра.
    Теорема. Диаметр, перпендикулярный к хорде, делит эту хорду пополам.
    Доказательство. Пусть дана окружность с центром в точке О и диаметр АВ перпендикулярен хорде CD. Если эта хорда проходит через центр О, то она является диаметром и делится в точке О пополам. Пусть хорда CD не проходит через центр О. Обозначим точку ее пересечения с диаметром АВ через Е. Треугольники ОЕС и ОЕD равны по признаку равенства прямоугольных треугольников. Следовательно, СЕ = ЕD.
    Теорема. Если расстояние от центра окружности до прямой равно радиусу окружности, то эта прямая является касательной к окружности. Если расстояние от центра окружности до прямой больше радиуса окружности, то прямая и окружность не имеют общих точек.
    Доказательство. Пусть расстояние от центра О окружности до прямой а равно радиусу R окружности. Опустим из центра О перпендикуляр ОА на эту прямую. Тогда ОА = R. Для любой другой точки С на прямой а наклонная ОС будет больше перпендикуляра ОА и, следовательно, больше R. Таким образом, расстояние от любой точки прямой а, отличной от А, до центра О больше R. Значит, прямая а и окружность имеют одну общую точку А, т.е. прямая касается окружности.
    Заметим, что в этом случае ОА является радиусом и, следовательно, касательной к окружности является прямая, проходящая через точку окружности и перпендикулярная радиусу, проведенному в точку касания.
    Аналогичным образом рассматривается случай, когда расстояние от центра окружности до прямой больше радиуса окружности.
    Теорема. Отрезки касательных к окружности, проведенных из одной точки, равны.
    Доказательство. Рассмотрим две касательные к окружности с центром в точке О, проведенные из точки А и касающиеся окружности в точках В и С. Треугольники АОВ и АОС прямоугольные, ОВ=ОС и сторона АО общая. По признаку равенства прямоугольных треугольников они равны. Следовательно, АВ=АС.
    Теорема. В произвольный треугольник можно вписать окружность. Ее центром будет точка пересечения биссектрис этого треугольника.
    Доказательство. Рассмотрим треугольник АВС и из его вершин А и В проведем биссектрисы а и b. Докажем, что точка О их пересечения является центром вписанной окружности. Для этого достаточно проверить, что равны перпендикуляры OD, OE и OF, опущенные из точки О на стороны треугольника АВС или, что то же самое, точка О одинаково удалена от сторон треугольника АВС. Действительно, т.к. точка О принадлежит биссектрисе а, то она одинаково удалена от сторон АВ и АС. Так как точка О принадлежит биссектрисе b, то она одинаково удалена от сторон АВ и ВС. Значит, точка О одинаково удалена от всех сторон треугольника АВС. Окружность с центром в этой точке и радиусом R = ОD = ОE = ОF будет искомой вписанной окружностью.
    Заметим, что утверждение о том, что около каждого треугольника можно описать окружность в абсолютной геометрии не выполняется. Более того, оно эквивалентно аксиоме параллельных.
    Теорема. В выпуклый четырехугольник можно вписать окружность, тогда и только тогда, когда суммы его противоположных сторон равны.
    Доказательство. Пусть ABCD - четырехугольник, в который вписана окружность, касающаяся его сторон в точках M, N, P, Q. Докажем, что AB + CD = BC + AD. Действительно, из равенства отрезков касательных, проведенных к окружности из одной точки следуют равенства: AM = AQ, BM = BN, CN = CP, DP = DQ. Поэтому, AB + CD = AM + MB + CP + PD = AQ + QD + BN + NC = AD + BC.
    Обратно, пусть в выпуклом четырехугольнике ABCD выполняется равенство AB + CD = BC + AD. Покажем, что в него можно вписать окружность. Для этого достаточно проверить, что биссектрисы углов этого четырехугольника пересекаются в одной точке. Эта точка будет равноудалена от всех сторон четырехугольника и, следовательно, будет центром искомой вписанной окружности. Если в данном четырехугольнике выполняется равенство AB=BC, то все стороны четырехугольника равны. В этом случае биссектрисами его углов будут диагонали четырехугольника и, следовательно, биссектрисы углов пересекаются в одной точке – точке пересечения диагоналей. Пусть AB BC. Предположим для определенности AB > BC. Из условия AB + CD = BC + AD следует, что AB – BC = AD – CD. Возьмем на AB точку E так, что BE=BC. Тогда AE = AB-BC. Возьмем на AD точку F так, что DF=DC. Тогда AF = AD – CD. Следовательно, AE=AF.
    Треугольники AEF, BCE, CDF – равнобедренные. Поэтому биссектрисы углов A, B, D являются серединными перпендикулярами к отрезкам EF, EC, CF. Следовательно, они пересекаются в одной точке – центре окружности, описанной около треугольника EFC. Эта точка будет равноудалена от всех сторон исходного четырехугольника, т.е. будет искомым центром вписанной окружности.
    Теорема. Для любого n существуют правильные n-угольники, т.е. такие n-угольники, у которых равны все стороны и все углы.
    Доказательство. Рассмотрим окружность с центром в точке O. Проведем какой-нибудь радиус OA₁ и будем откладывать от него лучи OA₂, …, OA_n так, чтобы углы OA₁A₂, …, OA_nA₁равнялись 360°/n. Тогда треугольники OA₁A₂, …, OA_nA₁ равны по двум сторонам и углу между ними. Следовательно, в многоугольнике A₁…A_n равны все стороны и все углы, т.е. он правильный.
    Теорема. В любой правильный многоугольник можно вписать окружность.
    Доказательство. Пусть A₁…A_n – правильный n-угольник. Проведем биссектрисы углов A₁ и A₂. Можно доказать, что они является осями симметрии данного многоугольника и пересекаются в некоторой точке O. Она и будет искомым центром вписанной окружности.
    Эта же точка O будет центром описанной окружности и, следовательно, около любого правильного многоугольника можно описать окружность.
    Рассмотрим вопрос о построении касательной к окружности. Пусть дана окружность с центром в точке O и радиусом R. Точка A лежит вне окружности. Требуется построить касательную к окружности, проходящую через точку A.
    Обычное построение заключается в следующем. Соединяются точки A и O. С центром в середине C отрезка AO и радиусом CO проводится окружность. Она пересечет данную окружность в двух точках B’ и B”. Проводя прямую через точку A и одну из этих точек, например B’, получим касательную к окружности. Действительно, в треугольнике OAB’, вписанном в окружность, угол OB’A опирается на диаметр OA окружности и, следовательно, равен 90°. Поэтому прямая AB’ перпендикулярна радиусу OB’ и значит, является касательной.
    Это построение использует свойство вписанного угла: вписанный в окружность угол равен половине центрального, опирающегося на ту же дугу, которое доказывается с использованием аксиомы параллельных.
    Таким образом, приведенное построение касательной к окружности использует аксиому параллельных. Из этого, однако не следует, что касательную к окружности нельзя построить без использования этой аксиомы. Приведем построение касательной, не использующее аксиому параллельных.
    Пусть как и раньше дана окружность с центром в точке O и радиусом R. Точка A лежит вне окружности. Требуется построить касательную к окружности, проходящую через точку A.
    С центром в точке O и радиусом 2R проведем окружность. С центром в точке A и радиусом AO также проведем окружность. Вторая окружность пересечет первую в двух точках C’ и C”. Соединим одну из них, например C’ с центром O. Точку пересечения C’O с данной окружностью обозначим B’. Прямая AB’ будет искомой касательной к окружности. Действительно, треугольник OAC’равнобедренный, B’ середина OC’. Значит AB’ – медиана равнобедренного треугольника и, следовательно, высота.
    В заключение приведем список некоторых утверждений относительной геометрии. Их нельзя доказать без использования аксиомы параллельных. Более того, они эквивалентны этой аксиоме.
    1. Сумма углов треугольника равна 180°.
    2. Внешний угол треугольника равен сумме двух внутренних, не смежных с ним.
    3. Через всякую точку, лежащую внутри угла, можно провести прямую, пересекающую обе его стороны.
    4. Вписанный в окружность угол равен половине центрального угла, опирающегося на ту же дугу.
    5. Через три точки, не лежащие на одной прямой, можно провести окружность.
    6. Сторона вписанного в окружность правильного шестиугольника равна радиусу этой окружности.
    7. Существует прямоугольник.
    8. Существуют подобные, но не равные треугольники.
    9. В прямоугольном треугольнике квадрат гипотенузы равен сумме квадратов катетов.
    10. Геометрическое место точек, расположенных по одну сторону от прямой на одном и том же расстоянии от нее, есть прямая.

    Литература.
    1. Атанасян Л.С. и др. Геометрия 7-9. Учебник для 7-9 классов средней школы. – М.: Просвещение, 1990.
    2. Погорелов А.В. Геометрия. Учебник для 7-11 классов средней школы. – М.: Просвещение, 1991.
    3. Киселев А.П. Геометрия. Учебник для 6-9 классов семилетней и средней школы. – М.: Учпедгиз, 1962.
    4. Смирнова И.М., Смирнов В.А. Геометрия. Учебник для 7-9 классов средней школы. – М.: Просвещение, 2001.
    5. Адамар Ж. Элементарная геометрия. Часть I. Учпедгиз, Москва, 1948.
    6. Перепелкин Д.И. Курс элементарной геометрии. Часть I. ОГИЗ, Гостехиздат. Москва, Ленинград, 1948
    7. Энциклопедия элементарной математики, книги IV,V. – М.: Физматгиз, Москва, 1961 - 1966.