>>854
方程式が実数解を持たない ⇔ x軸と交わらない