Найти диаметр окружности вписанной в прямоугольный треугольник если его стороны равны 13 12 5

Радиус вписанной окружности =(а+б-с)/2
а и б - катеты
(12+5-13)/2=2
диаметр в два раза больше, т.е. 4