Знаменитая задача о контактном числе шара

Анимации создаю с помощью библиотеки Manim для Python: смотрите ролик «Как создавать математические анимации?». Если возникает вопрос, почему вообще предложенный сюжет достоин внимания, хотя не имеет практических приложений, посмотрите выпуск «Зачем нужна математика». Загляните также в шапку канала: там есть ссылки и детали.

К сожалению, сейчас нет возможности отвечать на комментарии. Но все их читаю и очень часто отмечаю сердечками: это не значит, что согласен с каждым высказыванием — просто выражаю уважение к вашему мнению, благодарю за просмотр и подтверждаю, что комментарий прочел. Спасибо!

Музыкальная лицензия: 9GBCPX0V0LRXGRCT

UPD. Друзья, каюсь: не проверил факт из русскоязычной Википедии. С Ньютоном спорил не Джеймс Грегори, а Дэвид Грегори (1659– 1708). Об ошибке сообщил Георгий Шарыгин, за что ему большое спасибо!