Теорему Пифагора и теорему косинусов (что на самом деле просто означает билинейность скалярного произведения) проходят в начале девятого классе, неравенство треугольника — кажется, в седьмом. Что происходит в десятом и одиннадцатом классах (и большей части девятого) — вспомнить страшно.
У нас проходили векторы и движения плоскости (не говоря о стереометрии). Вспомнить не страшно, и всё потом пригодилось. Даже некоторые абстрактные теоремы, оказывается, отсылали к проективной и аффинной геометрии.
Если бы вместо этого обсуждали простейшие свойства поля комплексных чисел и рациональную параметризацию кривых второго порядка (из которых все эти формулы немедленно следуют), было бы и интереснее, и полезнее, и проще.
Рациональная параметризация кривых второго порядка - это что за зверь? Эллиптические интегралы, что ль, считать? В 11 классе?