§3 пройден. Прямоугольный треугольник теперь считается без транспортира: два острых угла дополняют друг друга до 90°, катет против 30° и медиана к гипотенузе — это её половина (и обратные теоремы тоже), а равенство проверяется четырьмя признаками, включая «по гипотенузе и катету». Впереди §4 — расстояние от точки до прямой и построения.