直角三角形的內切圓

使用公式 r = (a+b-c)/2 計算直角三角形內切圓的半徑，並提供幾何證明。