如图已知矩形ABCD,对角线AC,BD交于点O,点P是AD中点,PE垂直AC