a<0のとき、2次関数 Y=ax^2+bx+cのグラフを考え、次のことが成り立つことを証明せよ
「ax^2+bx+c<0の解が、全ての実数である」