Арсений Акопян пишет...

То, что происходит с математикой, с классической геометрией произошло 30 лет назад.

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

Доказательства сократились. Например, моя с Заславским книжка про коники, если бы была написана за 100 лет до этого, была бы не брошюркой с картинками, а двумя толстыми томами. Сейчас я, возможно, ужал бы её ещё на процентов 10–20. (Потом бы раза в два-три расширил, — не удержал в себе другую красоту.)

Большинство этих знаний живёт в олимпиадах. Современные продвинутые школьники над геометрическими задачами прекомпьютерной эры будут просто смеяться. Дети больше решают и лучше решают, в первую очередь это из-за обилия интересных материалов и методологических подборок, позволяющих за меньшее число теорем охватить огромный набор конструкций. Массив знаний увеличился, но переваривать его стало проще.

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

(но проживёт он недолго)