如图9,点p是三角形AEF外一点