>>401
放物線の定義は「PF=PQをみたすような点Pの集合」です。