当x>1,求证函数y=2x^3的图像在y=x^2-1图像的上方.