这个推导还是有点费解，估计内切圆加点代数就可以了。把半径算出来就没有未知数了
\[
\tan(\pi/2)=\tan(\arctan(r/s_a)+\arctan(r/s_b)+\arctan(r/s_c))
\]
--
修改:supproton FROM 117.155.182.*
FROM 117.155.182.*