原函数是1/2y^2+c。其中c是任意常数。上述结果,可以由幂函数的积分公式直接求得。用其逆运算,可以验证,结論的正确性。对上述结论求导,可得y。即为被积函数。