这EF不是固定了吗

我咋看都觉得像是E在以A为圆心，以8为半径的一个圆上

固定CD，动了AB，可以得出，A点轨迹是个圆，说明你E点轨迹也是个圆。找出这个圆，求F到此圆的最短距离即可。

确实等于1

在AB上截取点O，使AO=3，则F点的轨迹是以O为圆心，以6为半径的圆。剩下的应该可以做了吧？
初中的思路，固定AB则E点是定点，F是随AC边旋转的动点，求出F的轨迹就可以轻松搞定。
高中就设角BAD为变量，建系直接算。