хотелось бы обойтись минимумом конструкций
В математике иногда можно добиться одного и того же результата разными путями:
- минимумом конструкций, но тогда получаются длинные, скучные и непонятные рассуждения;
- короткими и очевидными рассуждениями с яркой идеей, но тогда получается много конструкций, которые нужно освоить, чтобы понять эти рассуждения, и чтобы они стали короткими и очевидными.
Математика давно (не меньше как пару столетий назад) выбрала второй путь. А вы хотите первого?
-- 23.07.2013 22:36:25 --Munin, вы не правы
посмотрите Атанасян Геометрия 7-9
Вам надо отказаться от идеи, что в школьных учебниках изложено самое лучшее доказательство и самая полная формулировка теорем.