Без заголовка
Попробуйте подсунуть отроку http://www.euclidea.xyz/ru/
Это набор задачек по планиметрии "на построение" (с помощью циркуля и линейки - той самой, без делений и толщины). С автопроверкой, ага.
Там как раз интересный заход на "алгоритмичность" такой планиметрии - научился с помощью циркуля и линейки строить срединный перпендикуляр - оп-па дали подпрограмму "срединный перпендикуляр", научился с помощью всего этого строить биссектрису - дали подпрограмму "биссектрисса" и т.д.
Автоматически считается сложность алгоритма построения (как число использованных примитивов, и как их "стоимость").