你想说的应该是直角三角形内切圆半径公式r=2a+b−c,其中a、b 是直角三角形的两条直角边,c是斜边,r是内切圆半径。以下为该公式的推导过程:
设直角三角形ABC,∠C=90∘,内切圆O与三边分别相切于点D、E、F,连接OD、OE、OF。
因为圆O是三角形ABC的内切圆,所以OD⊥AB,OE⊥BC,OF⊥AC ,且OD=OE=OF=r(r为内切圆半径)。
根据切线长定理,从圆外一点引圆的两条切线,它们的切线长相等。
所以可得:AF=AD,BD=BE,CE=CF。
已知AC=AF+CF,BC=BE+CE,AB=AD+BD。
设AC=b,BC=a,AB=c,则:
AC+BC−AB=(AF+CF)+(BE+CE)−(AD+BD)=(AF−AD)+(BE−BD)+(CF+CE)=2r
即a+b−c=2r,那么r=2a+b−c 。