ax^2+bx+c=0の異なる2つの実数解をα,βとしたとき、∫[x=α,β](ax^2+bx+c)dxからいきなり1/6 *|β-α|^3としていいんですか？