初中数学(相似三角形)CD为Rt三角形ABC斜边上的高,E为BC上任意一点,EF垂直于AB于F,求证:AC的平方=AD×