-x^2+5≦10
を示すとき

-x^2+5≦10を展開して解の公式をつかうのと
-x^2+5≦10の逆-x^2+5>10から解がないことを示し正しいことを示す

どちらがただしいですか？