Наверное можно даже сказать, что этот факт общеизвестный, но не думаю, что в школьном курсе эта формула является базовой и её учат так же, как формулу радиуса описанной окружности в треугольнике с известными сторонами, из которой её и можно вывести. Может быть Вы знаете как вывести эту формулу в треугольной пирамиде без дополнительных построений, а может просто её запомнили, но здесь выводить её всё-равно нужно. Я тоже могу накидать кучу "общеизвестных" фактов, а потом ищите их у себя в голове.