x+y=p, xy=q
と置いて、元の式と実数条件の共通範囲のq