２次曲線の有理数解の存在について検証するのに使える。