证明:因为 在三角形ACD中,角ADC=90度,DE垂直于AC于E ,
所以 三角形ADE相似于三角形ACD,
所以 AD/AC=AE/AD,
AD^2=AC*AE,
因为 DF垂直于AC于E,
所以 ...