Concept guide
Antiderivatives: the representative polynomial antiderivative, the constant family and checking candidates
For f=[3,−4,6] (f(x)=3−4x+6x²): prove from the definition the derivative formula for polynomials of degree at most four; build the representative antiderivative F0=[0,3,−2,2] and verify F0'=f; prove that F0+C is an antiderivative for every real C and that, among polynomials with at most five coefficients, every antiderivative is F0+C; check the candidates G=[7,3,−2,2] (accept), H=[0,3,−4,2] (reject) and K=[0,3,−3,8/3] (reject although it matches at two test points); evaluate F0(2)+C with C=−5; and explain why an antiderivative is not an inverse function.