两个公式一个通过切线长推导的,一个是通过面积推导的.
如果你想证明它们相等,不妨求差
(a+b-c)/2-ab/(a+b+c)
=[(a+b-c)(a+b+c)-2ab]/2(a+b+c)
=(a²+b²+2ab-c²-2ab)/2(a+b+c)
=0/2(a+b+c)
=0
所以(a+b-c)/2=ab/(a+b+c)