直角三角形内切圆

使用公式 r = (a+b-c)/2 计算直角三角形内切圆的半径，并提供几何证明。