формулы никогда не слышал, да в принципе как таковой ее и нет, но суть такая:
если только по сторонам: корень квадратный из разности одной строный треугольника в квадрате и отрезка стороны треугольника, к которой проводили высоту, заключенного между этой стороной и этой высотой также в квадрате (по теореме Пифагора)
если есть известные углы: синус противоположного высоте угла домножить на прилежащую большую сторону (из теоремы синусов)