题目如图,菱形ABCDABCDABCD的对角线ACACAC,BDBDBD相交于点OOO,点PPP为ABABAB边上一动点(不与点AAA、BBB重合),PE⊥OAPE\bot OAPE⊥OA于点EEE,PF⊥OBPF\bot OBPF⊥OB于点FFF,若AC=8AC=8AC=8,BD=83BD=8\sqrt{3}BD=83,则EFEFEF的最小值为______.知识点:弦切角定理章节:图形的性质 / 圆