.你是初中还是啥啊,我给你个方法看看行不行;
把AD看成坐标系上的点,A点坐标为(0,0) B(12,0)C(5,0)D为(15,0)
那么E(6,0)F(10,0)所以EF长度为4..
不然你画图算也行.