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