求证:内接圆半径等于外接圆半径平方减内心与外心的距离平方除以外接圆半径两倍.
即设内接圆半径为 rrr,外接圆半径为 RRR,内心与外心的距离为 lll.
求证:
1R+l+1R−l=1r\dfrac{1}{R+l}+\dfrac{1}{R-l}=\dfrac{1}{r}R+l1+R−l1=r1
或者
r=R2−l22Rr=\dfrac{R^2-l^2}{2R}r=2RR2−l2