Gọi tam giác vuông đó là ABC ( góc A= 90 độ ) có O tâm đường tròn nội tiếp trong tam giác với r là bán kính
Kẻ OE vuông góc với AC, OF vuông góc với AB và OK vuông góc với BC (...)
Suy ra : OE = OF OK . Do đó tứ giác AEOF là hình vuông => 2r = AE + AF
Tự chứng minh : tam giác OFB = tam giác OKB ; tam giác OEC = tam giác OKC
=> BF + EC = BC
Nên 2r = AE + AF = AB + AC - ( BF + EC ) = AB + AC - BC
=> ( ĐCCM )