Question

在△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

证明：（1）设AE=AF=x，BF=BD=y，CD=CE=z，
得方程组；
解得x=s-a，
所以AF=s-a；

（2）设内切圆I的半径为r，连IA，IB，IC，ID，IE，IF，
则∠AFI=90°，∠IAF=；
r=AF•=（s-a）
∵S_△ABC=S_△ABI+S_△BCI+S_△CAI
=rc+ra+rb
=r（a+b+c）
=sr；
∴S_△ABC=s（s-a）．
分析：（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得出所要证的结论．
点评：此题主要考查了三角形内切圆的性质及切线长定理、三角形面积的求法等知识．