题目如图,菱形ABCDABCDABCD的对角线ACACAC,BDBDBD相交于点OOO,PPP为ABABAB边上一动点(不与点AAA,BBB重合),PE⊥OA),PE\bot OA),PE⊥OA于点EEE,PF⊥OBPF\bot OBPF⊥OB于点FFF,若AB=8AB=8AB=8,∠BAD=60∘\angle BAD=60^{\circ}∠BAD=60∘,则线段EFEFEF长度的最小值为______.知识点:弦切角定理章节:图形的性质 / 圆