Question

（1999•安徽）在△ABC中，已知BC=a，CA=b，AB=c，s=，内切圆I和BC，CA，AB分别相切于点D，E，F．求证：
（1）AF=s-a；
（2）S_△ABC=s（s-a）．

Answer

（1）由切线长定理知：AE=AF、BF=BD、CD=CE，则AF=（AB+AC-BC），再将s的式子代入上式即可证得本题所求的结论；
（2）可连接IA、IB、IC，IF、IE、ID；在Rt△AFI中，易求得⊙I的半径为AF•tan，即（s-a）•tan；将△ABC分为△AIB、△AIC、△BIC三部分，分别用三角形ABC的三边长即⊙I的半径表示出它们的面积，进而由S△ABC=S△ABI+S△BCI+S△CAI得出所要证的结论．
证明：（1）设AE=AF=x，BF=BD=y，CD=CE=z，
得方程组；（2分）
解得x=s-a，
所以AF=s-a；（4分）

（2）设内切圆I的半径为r，连IA，IB，IC，ID，IE，IF，
则∠AFI=90°，∠IAF=；（6分）
r=AF•=（s-a）（8分）
∵S△ABC=S△ABI+S△BCI+S△CAI
=rc+ra+rb
=r（a+b+c）
=sr；（9分）
∴S△ABC=s（s-a）．（10分）