Геометрия Лобачевского: 200 лет первого доклада

200 лет назад, 11 фев­раля 1826 года (по ста­рому стилю), про­фес­сор Импе­ра­тор­ского Казан­ского уни­вер­си­тета Нико­лай Ива­но­вич Лоба­чев­ский на засе­да­нии комис­сии Отде­ле­ния физико-матема­ти­че­ских наук сде­лал пер­вый доклад про неев­кли­дову геомет­рию.

Препро­вож­даю сочи­не­ние моё под назва­нием: Exposition succincte des principes de la Géométrie avec une démonstration rigoureuse du théorème des parallèles […] Про­фес­сор Н. Лоба­чев­ский. 6 фев­раля 1826. [С фр. — Сжа­тое изложе­ние начал геомет­рии со строгим дока­за­тельством тео­ремы о парал­лель­ных.]

Помета рукою сек­ре­таря Отде­ле­ния адъюнкта П. М. Васи­льева: Слушано 1826 года 11 фев­раля. Опре­де­лено: пору­чить рас­смот­реть сочи­не­ние гг. про­фес­со­рам Симо­нову, Купферу и адъюнкту Брашману и мне­ние своё сообщить Отде­ле­нию.

[Само сочи­не­ние вышло в свет позд­нее как часть сочи­не­ния «О нача­лах геомет­рии», где к загла­вию при­ве­дена сноска о докладе.]

Неевклидова викторина

1

На евкли­до­вой плос­ко­сти через точку, не лежащую на прямой, можно про­ве­сти ровно одну прямую, парал­лель­ную дан­ной (пятый посту­лат Евклида в форму­ли­ровке Прокла). В геомет­рии Лоба­чев­ского…

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

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

2

На евкли­до­вой плос­ко­сти через две раз­лич­ные точки можно про­ве­сти ровно одну прямую. В сфе­ри­че­ской геомет­рии…

через любые две точки можно провести ровно одну прямую
через любые две точки можно провести много прямых
зависит от точек

В сфе­ри­че­ской геомет­рии через две близ­кие точки можно про­ве­сти ровно одну прямую, а через две диамет­рально про­ти­вопо­лож­ные точки — бес­ко­нечно много. В этом смысле геомет­рия Лоба­чев­ского ближе к евкли­до­вой, чем сфе­ри­че­ская.

3

Сумма внут­рен­них углов тре­уголь­ника на евкли­до­вой плос­ко­сти равна $\pi$ (двум прямым). Сумма углов тре­уголь­ника на плос­ко­сти Лоба­чев­ского…

меньше $\pi$
равна $\pi$
больше $\pi$

Сумма углов тре­уголь­ника на плос­ко­сти Лоба­чев­ского меньше $\pi$. А вот в сфе­ри­че­ской геомет­рии — больше $\pi$. Напри­мер, легко скон­стру­и­ро­вать тре­уголь­ник с тремя прямыми углами: одна вершина в полюсе и две на эква­торе.

4

В евкли­до­вой геомет­рии верна тео­рема Пифагора: в прямо­уголь­ном тре­уголь­нике квад­рат гипо­те­нузы равен сумме квад­ра­тов кате­тов, $c^2 = a^2+b^2$. В геомет­рии Лоба­чев­ского…

$c^2 \lt a^2+b^2$
$c^2 \gt a^2+b^2$
нет никакого соотношения

В сфе­ри­че­ской геомет­рии для прямо­уголь­ных тре­уголь­ни­ков $\cos c=\cos a\cos b$ и, сле­до­ва­тельно, $c^2 \lt a^2+b^2$. В геомет­рии Лоба­чев­ского триго­номет­ри­че­ские функции заме­няются на гипер­бо­ли­че­ские: $\ch c=\ch a\ch b$ и, сле­до­ва­тельно $c^2 \gt a^2+b^2$.

5

В евкли­до­вой геомет­рии из вся­кого цен­тра вся­ким ради­у­сом может быть опи­сан круг (тре­тий посту­лат Евклида). Длина окруж­но­сти равна $2\pi r$. В геомет­рии Лоба­чев­ского длина окруж­но­сти…

ограничена
возрастает с увеличением радиуса

В сфе­ри­че­ской геомет­рии и радиус окруж­но­сти, и длина окруж­но­сти огра­ни­чены. Радиус не больше длины мери­ди­ана, а длина окруж­но­сти равна $2\pi\sin r$ и не пре­вос­хо­дит длины прямой — большого круга сферы. В геомет­рии Лоба­чев­ского длина окруж­но­сти ради­уса $r$ равна $2\pi\sh r$ и очень быстро рас­тёт с ростом $r$.