Gọi M, N, P lần lượt là tiếp điểm của (I;r) với AB; BC; AC
Có: \(AB+AC-BC=AM+MB-BN-NC+CP+PA\)
Mà \(MB=BN\); \(NC=CP\); \(AM=PA\)
=> \(AB+AC-BC=2AM\)
Xét tứ giác MIPA có 3 góc vuông => MIPA là hình chữ nhật
=> \(AM=IP=r\)
=> \(r=AM=\frac{AB+AC-BC}{2}\)