证明：
,∠ACB=90°,CD是高
∠B=∠ACD
E是BC的中点
∠B=∠BDE=∠ADF
∠FAD=∠FDA
∠F=∠F
所以,三角形ADF与三角形DCF相似
DA/CD=DF/CF
tan∠ACD=AD/CD=tan∠B=AC/BC
所以：
AC:BC=DF：CF