Ну вот прошли, скажем, квадратные уравнения в 8 классе. Или формулы тригонометрические. Синус суммы, например. Думаю, что их вполне себе вывели (на уроках алгебры и геометрии). Учитель потом должен на следующем уроке проверять у всего класса, выучили эти формулы или нет? В топовой математической школе? А в университете тоже семинаристы проверяют, выучили ли студенты формулы? Что-то не помню такого.