Der Ausdruck sinxdx ist das unbestimmte Integral von sinx, ist also die Stammfunktion von sinx.
Wir wissen, dass
wo C eine beliebige Konstante ist.