两个公式一个通过切线长推导的，一个是通过面积推导的。如果你想证明它们相等，不妨求差(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)
