Let's compute the integral:
We attempt to reverse an integration: starting from and , we differentiate using sin
Let's differentiate:
Apply the differentiation rule: with f =
You observe that the computed derivative and the original math expression are the same, except for a coefficient. So the integral is:
Indefinite integrals are defined up to an additive constant C, so this yields:
▷Result: , with C being any constant