已知：如图，在 Rt △ABC 中 ， ∠C = 90° ，a , b , c , 分别为 ∠A , ∠B , ∠C 所对应的边，⊙O 为 Rt △ABC 的内切圆 ，半径为 r 。
求证：2r = a b - c 。
图
证法一、(切线长的性质)：
过 ⊙O 分别作 OF⊥AC ， OE⊥BC ， OD⊥AB 垂足分别为 F 、E、D ，则有 OF = OE = OD = r
在 Rt △AOF 和 Rt △AOD 中 由勾股定理得 ：
AO^2 = AF^2 OF^2 = AD^2 OD^2
所以可得： AF = AD
同理可得：BD = BE
在 Rt △ABC 中
∵ a = CE EB = r BE ,
b = CF FA = r FA ,
c = AD DB 。
∴ c = b - r a - r = b a - 2r
∴ 2r = a b - c
证法二、（等积法）
连接 OA , OB , OC
S△ABC = 1/2 ab
S△OAB = 1/2 rc
S△BOC = 1/2 ra
S△COA = 1/2 rb
∵ S△ABC = S△OAB S△BOC S△COA
∴ 1/2 ab = 1/2 rc 1/2 ra 1/2 rb 即 ab = r ( a b c ）
∵ 在 Rt △ABC 中 a^2 b^2 = c^2
∴ a^2 b^2 2ab = c^2 2ab 即 ( a b )^2 - c^2 = 2ab
∴ （ a b c）( a b - c ) = 2ab = 2r ( a b c )
∴ 2r = a b - c
,
