По теореме Пифагора;
Квадрат гипотенузы равен сумме квадратов катетов, следовательно
C2=a2+b2
C=^a2+^b2
Вот тебе доказательство, можно было и поискать в интернете
гипотенуза треугольника равна
2*sqrt(13^2-12^2)=2*sqrt(52)
второй катет
4*52-36=172
a=2sqrt(43)