切线长与内切圆

从圆外一点 $P$ 引两条切线 $PA,PB$，则由两个直角三角形全等，还得 $OP$ 垂直平分 $AB$。

三角形内切圆与三边分别相切于 $D,E,F$，切线长相等给出若 $a=BC,b=CA,c=AB$，$s=(a+b+c)/2$，内切圆半径为 $r$，则从 $A,B,C$ 出发的切线长分别为 $s-a,s-b,s-c$。