Существует ли доказательство формулы радиуса вписанной окружности (a + b - c) / 2, где a, b - катеты, с - гипотенуза прямоугольного треугольника? Какое доказательство?