绵阳数学高考真题。

所以求EF的最小值的问题就是求PC的最小值的问题。很明显，当PC是△ABC斜边上的高度时，PC最小，所以EF最小。

从图中可以看出，PFEC是对角线为EF=PC的矩形。

即求PC AB = 1的最小值，BC/AC = 3/4，BC = 3/5 AC = 4/5。

当PC最小，也就是PC垂直于AB时，那么PC最小，就是三角形斜边上的高度。

可以用面积法计算为AC*BC/AB=12/25。

最小EF等于12/25。

12乘以7乘以2的根号