• 1. (2017·淮安模拟) 如图，已知PA为⊙O的切线，A为切点，直线PO交⊙O于点E、F，过点A作PO的垂线交⊙O于点B，垂足为D．

  证明：EF²=4OD•OP．