圆周角定理;垂线段最短;勾股定理的逆定理.
利用勾股定理的逆定理,由三角形的三边长可得△ABC为Rt△,根据90°的圆周角所对的弦为直径得出EF为圆的直径,又圆与AB相切,设切点为D,可知当CD⊥AB时,根据点到直线的垂线段最短可得CD最短,此时EF亦最小,由三角形ABC为直角三角形,根据直角三角形的三边长,利用面积法即可求出CD的长,即为EF的最小值.
此题考查了圆周角定理,勾股定理的逆定理,垂线段最短以及切线的性质,解题的关键是根据题意得出EF为圆的直径,故当CD是直径时EF最小.
计算题.