如图，在锐角△ABC中，AB<AC，AD是边BC上的高，P是线段AD内一点。过P作PE⊥AC，垂足为E，做PF⊥AB，垂足为F。O₁、O₂分别是△BDF、△CDE的外心。求证：O₁、O₂、E、F四点共圆的充要条件为P是△ABC的垂心。

如图，在锐角△ABC中，AB<AC，AD是边BC上的高，P是线段AD内一点。过P作PE⊥AC，垂足为E，做PF⊥AB，垂足为F。O₁、O₂分别是△BDF、△CDE的外心。求证：O₁、O₂、E、F四点共圆的充要条件为P是△ABC的垂心。