过点E做EM⊥BC,过点F做FN⊥BC,EH⊥FN
AB=5,BC=12则AC=13
三角形内切圆○E和○F的半径为1/2(5+12-13)=2
EH=12-2-2=8 FH=5-2-2=1 由勾股定理得
EF=√65