Ещё наш «параллельный перенос» можно описать, как «прокатывание» по сфере касательной плоскости без проскальзывания. А утверждение (которое мы пока не доказали!) состоит в том, что в результате такого прокатывания по границе фигуры площади S плоскость поворачивается на угол, равный S/R^2.

И мне тут вспоминался планиметр. Вообще это тема для отдельного рассказа (и коллеги о нём ещё давно писали — https://t.me/cme_channel/550 ), но если в двух словах, то это прибор, позволяющий найти площадь плоской фигуры. Найти — для некоторых конструкций точно, а для некоторых — приближённо.

Штука совершенно прикладная: на карте отмечена какая-то область, и мы не считаем её площадь по клеточкам, а обводим «указателем» прибора — и сразу получаем ответ. Очень удобно!

Так вот — конструкции бывают разные, но самая изящная (и связанная с «велосипедной математикой») это «топорик». Представим себе топорик с очень длинной рукоятью — или колесо на длинной же ручке, или просто велосипед с длинной рамой (у которого заднее колесо не поворачивается). Обведём кончиком рукояти (или передним колесом велосипеда) кривую. Топорище/заднее колесо может ехать только вдоль ручки — и его движение полностью задаётся тем, как движется кончик рукояти/переднее колесо.