Build an antiderivative of cos *x* that is 0 when *x* = 9.

Answer

This problem is asking for a function *F*(*x*) that is an antiderivative of *f*(*x*) = cos *x* and satisfies *F*(9) = 0. We know how to do this:

Actually, in this case we could finish integrating and get a nice formula: