Геометрия Лобачевского. Кое-что новенькое :)

Привет, друзья! Ох как давно я тут ничего не писал! И, наверное, не написал бы ещё долго, если бы мне не попалась одна занимательная статья.

Статья, как вы уже поняли из темы, посвящена геометрии Лобачевского. Но это только половина правды, полная правда в том, что статья посвящена связи между геометриями Лобачевского и Евклида.

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

Но не смотря на мои скромные познания, эта статья меня зацепила. В ней показан случай, когда геометрия лобачевского помогла доказать теорему из евклидовой геометрии! Автор переходит к мнимой геометрии, подобно тому, как теоремах алгебры переходят к комплексным числам для доказательства равенств, в обоих частях которых стоят действительные числа!

А вот, собственно, сама статья.

Пятый постулат.

Пятый постулат. Ах, как много смысла в этом коротком словосочетании! Однако, для неискушенного читателя это требует некоторого пояснения.

Так вот. Геометрия - это раздел математики, а там, где математика - там точность. Там все следует одно из другого, сложные теоремы строятся из простых как здания из кирпичиков. Но у каждого здания, как вы знаете, есть свой фундамент - в нашем случае фундаментом будет набор утверждений, которые мы будем принимать на веру. Без доказательства, вообще.

В отличие от архитектуры, в математике фундамент будет тем прочнее, чем меньше в нём кирпичиков, а именно - утверждений, которые мы принимаем на веру, постулатов.

Евклид, знаменитый математик древности, чей портрет вы видите перед собой, использовал следующие постулаты:

1. Требуется, чтобы от каждой точки ко всякой другой точке можно было провести прямую линию.
2. И чтобы каждую прямую линию можно было неопределенно продолжить
3. И чтобы из любого центра можно было описать окружность любым радиусом
4. И чтобы все прямые углы были равны.
5. И чтобы всякий раз, когда прямая при пересечении с двумя другими прямыми образует с ними внутренние односторонние углы, сумма которых меньше двух прямых, эти прямые пересекались с той стороны, с которой эта сумма меньше двух прямых.

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

Однако, за 20 веков, от Евклида до 19го века, никому так и не удалось доказать этот пятый постулат! Более того, в 19ом веке была построена геометрия, в которой вместо нашего пятого постулата был другой, его исключающий.

А между тем, ученые очень старались доказать пятый постулат и в своих стараниях зашли весьма далеко! Ниже приведен список утверждений, которые эквивалентны пятому постулату:

1. Через каждую точку вне прямой проходит только одна прямая, параллельная данной.
2. Две прямые при пересечении их третей образуют равные соответственные углы.
3. Сумма углов треугольника равна 180 градусам.
4. Точки, расположенные по одну сторону от данной прямой на одном и том же расстоянии, образуют прямую.
5. Расстояния от точек одной из двух параллельных прямых до второй ограничены в своей совокупности.
6. Существуют треугольники с произвольно большой площадью.
7. Существуют подобные треугольники.

Материал приготовлен с помощью книги "Высшая геометрия" автора Ефимова Николая Владимировича.

Две интересные теоремы.

Знаете, друзья, некоторые геометрические теоремы нельзя назвать никак иначе, кроме как занимательными. Конечно, многие формалисты видят в них лишь сухой остаток, но мы постараемся посмотреть на них с другой стороны.

Первая теорема, на которую я обращу внимание - это теорема Бабочки.

Формулировка:

Пусть через точку М, являющуюся серединой хорды PQ некоторой окружности, проведены две произвольные хорды АВ и CD той же окружности. Пусть хорды AD и ВС пересекают хорду PQ в точках X и Y. Тогда М является серединой отрезка XY.

Редко встретишь теорему с таким красивым названием. И редко, когда теореме с красивым названием соответствует что-то понятное и приятное :)

Вот например - Теорема о девяти точках. Название вполне безобидное.

Формулировка:

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

Звучит устрашающе, не правда ли? Эта теорема как нельзя лучше демонстрирует всю скурпулёзность и усидчивость математиков - согласитесь, найти девять (!!!) точек, да ещё, пардон, каких - кроме трех середин сторон никакие точки не лежат на поверхности - это дело не шуточное!

PS: спасибо википедии за картинки.

Барицентрические координаты. Смежная грань геометрии и механики.

Помнится, когда я впервые встретил на пути познания полярные координаты, я был очень удивлен, что иногда удобней использовать нечто отличное от традиционных декартовых координат. Был удивлён и вместе с тем немного доволен собой, что теперь я знаю нечто совершенно особое, и, пардон за яркий эпитет, абсолютно неизведанное. Когда же входе дальнейшего продвижения по научной стезе я встретил цилиндрические, сферические, тороидальные координаты, я подумал, что о координатах я знаю всё. Когда же я узнал, что есть такая штука, как обобщённые координаты (о них при желании можно прочитать в википедии), моя уверенность в том, что о координатах я знаю всё многократно подкрепилась.

Так я жил со своей уверенностью и жил, до тех пор, пока не увидел статью о барицентрических координатах. Признаться, когда я её увидел, я подумал что-то вроде: "А, ничего интересного. Ввели какие-то обобщенные координаты и так их обозвали." Ан-нет! Барицентрические координаты совершенно особые и не похожи ни на какие другие!

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

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

Хотя нет, придётся помудрствовать... уж больно формула страшна. Итак, допустим, мы имеем n материальных точек, расположенных в пространстве произвольным образом. Положение точки в пространстве задаётся радиус-вектором ri, а масса - mi. Так как в этом блоге мы математики, то мы будем считать, что бывают точки с отрицательной массой. Проведя суммирование в правой части равенства, получим некоторый радиус-вектор. При условии, конечно, что знаменатель нашей дроби не будет равняться нулю. Этот самый вектор будет указывать на точку, которую будем называть центром масс.

Теперь к делу. Итак, пусть у нас на плоскости задан треугольник ABC. Будем говорить, что точка Z плоскости имеет координаты a, b, c, если она является центром масс материальных точек, расположенных в точках A, B и C и имеющих массы a, b и c. Такая вот петрушка.

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

Точка пересечение медиан имеет координаты (1, 1, 1).

Точка пересечения биссектрис (центр вписанной окружности) - координаты (sin a, sin b, sin j), где a, b, j - углы треугольника.

Точка пересечения высот - (tg a, tg b, tg j)

Центр описанной окружности - (sin 2a, sin 2b, sin 2j)

Теорема Чевы. Простое доказательство и широкая применимость.

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

Я хочу показать вам, дорогие читатели, единый способ доказательства этих теорем. Доказательства, использующего теорему Чевы.
Вот её формулировка:

Пусть точки A',B',C' лежат на прямых BC,CA,AB треугольника . Прямые AA',BB',CC' пересекаются в одной точке тогда и только тогда, когда

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

Доказательство.

Прямая теорема.

С одной стороны,
SAOB'/SCOB' =AB'/B'C
С другой стороны, это же отношение площадей равно отношению высот треугольников AOB' и COB', проведенных к основанию OB', равно как и отношение площадей треугольников AOB и COB.

Таким образом, AB'/B'C = SAOB/SCOB.

Записав аналогичные равенства для отношений CA'/A'B и AC'/C'B и затем перемножив их всех, получим требуемое утверждение.

Обратная теорема.

Итак, допустим, у нас выбраны точки A', B', C' на сторонах треугольника и выполняется равенство из условия.
Пусть AA' и BB' пересекаются в точке О. Проведем прямую СО и пусть она пересекает сторону AB в некоторой точке C''. Тогда, согласно прямой теореме, у нас будет выполняться то самое огромное равенство, в котором вместо точки C' будет точка C''. Исходя из выполнения этих двух равенств - с точкой C'', как мы показали, и с точкой C' из условия обратной теоремы, делаем вывод, что точки C'' и C' совпадают.


Можно записать условие Чевы в форме синусов:

Это условие легко получить, применив теорему синусов к треугольникам ABA' и ACA'. Для них получаем A'B/AA'= sinBAA' /sinABA' и A'C/AA'=sinA'AC/sinA'CA. Разделив одно равенство на другое, получаем A'B/A'C=sinBAA' /sinA'AC * (sinBCA/sinABC )

Записав аналогичные равенство для остальных отрезков и перемножив их, получаем условие Чевы в форме синусов.



Согласно теореме Чевы, то, пересечение медиан треугольника в одной точке - доказывается в одну строчку.
Согласно теореме Чевы в форме синусов, пересечение биссектрис в одной точке доказывается в одну строчку.
А вот доказательство того, что высоты треугольника пересекаются в одной точке - это, согласно теореме Чевы в форме синусов, доказывается в две строчки. В первой строчке доказательства нам следует написать известное тригонометрическое тождество -
sin(90 - a) = cos a