https://math.ucr.edu/home/baez/klein.html

замощения сферы одинаковым правильными сферическими многоугольниками соответствуют правильным многогранникам

а что хорошего можно сделать из замощений плоскости Лобачевского?

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

по ссылке объясняется, например, как таким образом получить квартику Клейна

почитать про нее можно в сборнике «The Eightfold Way: The Beauty of Klein's Quartic Curve» https://library2.msri.org/books/Book35/contents.html

(в него входит, в частности, известная статья N.Elkies. The Klein Quartic in Number Theory)

И непериодический паркет (с той самой, недавно открытой, «шляпой Эйнштейна» — плиткой, из которой паркет можно сделать только непериодическим) у них тоже есть: https://etudes.ru/mathgrounds/aperiodic-tiling/

📚 Сергей Валерьевич Маркелов был популяризатором науки, организатором и составителем заданий Математического праздника, автором задач Московской олимпиады школьников по математике, Турнира Городов, Турнира Ломоносова, Олимпиады по геометрии им. И.Ф. Шарыгина.

⭐️ Коллеги собрали несколько его увлекательных заданий, попробуйте решить их и вы: olimpiada.ru/article/1161

https://mccme.ru/nir/seminar/index24.htm#markelov

16 января на семинаре учителей математики будет мини-конференция, посвященная памяти Сергея Маркелова (1976–2024)

МЦНМО, с 17:45 (расписание на сайте)

приглашаются все желающие — и в этот раз возможно семинар будет интересен и старшеклассникам

А что будет, если мы попробуем то же самое доказательство провести на сфере? (Где сумма углов треугольника уже не π — скажем, там есть равносторонний прямоугольный треугольник с тремя прямыми углами!)

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

Ну хорошо, а нельзя ли с этим что-нибудь сделать? Например: а что, если идущий человек попытается тащить касательную плоскость с собой?

Пусть он идёт вдоль пути длины L. Поделим его на N отрезков длины L/N. Человек прошёл один отрезок и перенёс касательную плоскость параллельно в R^3. Но в новой точке касательная плоскость другая — параллельно перенесённые вектора накренились на угол порядка (1/N) (точнее, (L/R) (1/N), где R — радиус сферы, но путь и сфера у нас фиксированы, а меняем мы N). Человек спохватился и что-нибудь с этим сделал — например, ортогонально спроецировал новые вектора на касательную плоскость в новой точке. («Какая ещё нормальная компонента? Вам показалось, тут ничего не было!») И так он сделал N раз.

А сильно ли у нас поменялись длины векторов к концу пути? У нас было N операций проецирования — так что на вид кажется, что сильно. Но. Каждая из них умножает длины на косинус соответствующего угла, который порядка (1/N). А
cos x = 1 - x^2/2 + …,
так что косинусы эти не просто близкие к 1, а отличаются на величину всего лишь порядка 1/N^2 ! Так что даже произведение N таких косинусов близко к 1 (логарифм у него порядка 1/N).

Итого — мы определили параллельный перенос вдоль кривой (на сфере, а на самом деле — на любой поверхности, и даже на любом многообразии, вложенном в хоть какое-нибудь R^n). И он оказался ортогональным — сохраняющим длины касательных векторов — преобразованием.

Но вот только… результат параллельного переноса будет зависеть от выбора пути! Или, что то же самое — пройдя по замкнутому пути, мы можем обнаружить (и почти всегда обнаружим), что наше касательное пространство как-то повернулось.

Собственно — для случая поверхности в R^3, именно этот поворот и есть дефект угла, то, на сколько сумма внешних углов отличается от 2π!
Потому что — представим себе, что человек обходит многоугольник, например, на сфере. Он несёт с собой касательное пространство (ну хорошо, для реалистичности — его переносную модель), и отмечает на нём свою скорость. В каждой вершине он добавляет новый сектор-угол поворота. Вернувшись в исходную точку, он получает на своей модели все сектора-углы, на которые он повернулся. И казалось бы, это полный оборот, только заканчивается их сумма в его векторе скорости сейчас, а начинается — в том же самом векторе скорости, обнесённом вокруг всего многоугольника. То есть повёрнутом параллельным переносом!

Так что на формулу, что на сфере радиуса R сумма углов треугольника равна π+(S/R^2) — можно смотреть как на утверждение, что при обходе фигуры площади S параллельный перенос приводит к повороту на S/R^2 (с правильным знаком).
(И это не конец рассказа, конечно.)

Скриншот: Математические Этюды, https://etudes.ru/etudes/Euclidean-spherical-Lobachevskian-geometries/