>>214
aが実数解を持つ条件