Были такие формулы. Правда, в аргументах косинусов были не функции, а числа, что впрочем. Пятьдесят лет назад школьная алгебра была гораздо сильнее нагружена тригонометрией. Теория круговых (арксинус) функций была объёмнее, а задачи по "стереометрии с применением геометрии" наводили ужас на учеников. Вот им и предлагалось наизусть учить целую кучу формул, в том числе и Вашу. Кстати, на форуме кто-то даже использовал её. Может быть в виде высказывания "из равенства косинусов следует...".
+++ Вот я согласен с предыдущим оратором. Такая формула, наверное, уместна для специальных справочников, когда интерессанту важно поскорее получить результат, а не ковыряться в логике решения. А для ученика/абитуриента важнее последнее
Хотя все используют формулу корней квадратного уравнения, а не выделяют из трёхчлена квадрат.