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