已知矩形ABCD,对角线Ac、BD交于点O,点P是AB的中点PE⊥AC