对《三角形内切圆的一个性质》证明的探讨

文1]提出了三角形内切圆的一个性质:⊙O是△ABC的内切圆,与三边分别相切于E,F,D三点,则△ABC是直角三角形 S△ABC=AD·BD.图1经仔细研读,发现上述性质是正确的,但文1]中存在两处错误.1、在证明性质之前,作者为了叙述方便,设BC=a,AC=b,AB=c,由切线长定理,设AD=AF=x,BD=BE=y,OE=OF=CE=CF=r.事实上,只有在明确了△ABC是直角三角形时才有OE=OF=CE=CF=r.在由“S△ABC=AD·BD”证明“△ABC是直角三角形”时不能事先假设OE=OF=CE=CF=r.而应当设OE=OF=r,CE=CF=z.2、在由“S△ABC=AD.BD”证明“△ABC是直角三角形”时,作者由S△ABC=AD.BD得出12(x+r)(y+r)=xy图2再次事先假定了△ABC是直角三角形.事实上,只要设BC=a,AC=b,AB=c,由切线长定理,设AD=AF=x,BD=BE=y,OE=OF=r,CE=CF=z.由S△ABC=AD.BD和海伦公式有(x+y+z)xyz=xy即(x+y+z)z=xy=S△ABC但S△ABC=21(a+b+c)r=(x+y+z)r,∴r=z.易...