Theorem. If u,v are differentiable functions of x, then ∫uvdx=u∫vdx−∫(dxdu∫vdx)dx.
Reasoning: let w=∫vdx, so v=dxdw. Then dxd(uw)=udxdw+wdxdu=uv+wdxdu. Integrating both sides and using the definition of integration, uw=∫uvdx+∫wdxdudx, i.e. u∫vdx=∫uvdx+∫dxdu(∫vdx)dx — rearranged, this is exactly the stated theorem.
Choosing u — the LIATE rule. The factor taken as u (the one that gets differentiated) should be the one appearing earliest in the order Logarithmic, Inverse trigonometric, Algebraic, Trigonometric, Exponential. The wrong choice can make the integral harder rather than easier: for ∫xexdx, taking u=x, v=ex (correct LIATE order) gives I=xex−∫exdx=xex−ex+c in one short step. Reversing the choice, u=ex, v=x, gives I=21exx2−21∫exx2dx — a harder integral than the one we started with. This illustrates why the LIATE order matters. Likewise for ∫xsinxdx: LIATE puts x (Algebraic) ahead of sinx (Trigonometric), so u=x, v=sinx: I=x(−cosx)−∫(1)(−cosx)dx=−xcosx+sinx+c.
Further worked examples, all following the LIATE order:
∫x25xdx. u=x2 (Algebraic beats Exponential), applied twice in succession (since differentiating x2 twice reaches a constant): I=log55x[x2−log52x+(log5)22]+c.
∫xtan−1xdx. u=tan−1x (Inverse trig beats Algebraic): I=tan−1x⋅2x2−∫1+x21⋅2x2dx. Since 1+x2x2=1−1+x21, the remaining integral is 21[x−tan−1x]. Result: I=21x2tan−1x−21x+21tan−1x+c.
∫1−sinxxdx. First rationalise: multiply by 1+sinx1+sinx, giving cos2xx(1+sinx)=x(sec2x+secxtanx). By parts with u=x on each piece: I=xtanx−log∣secx∣+xsecx−log∣secx+tanx∣+c.
∫e2xsin3xdx (cyclic/recurring integration by parts). By parts twice (either factor may be u each time, but keep the same choice throughout): the first application gives I=−31e2xcos3x+32∫e2xcos3xdx; applying by parts again to the remaining integral gives ∫e2xcos3xdx=31e2xsin3x−32I. Substituting back: I=−31e2xcos3x+32[31e2xsin3x−32I], i.e. I+94I=9e2x[2sin3x−3cos3x], so I=13e2x[2sin3x−3cos3x]+c. (The same recurring trick, worked out once for general a,b, gives the standing results ∫eaxsin(bx+c)dx=a2+b2eax[asin(bx+c)−bcos(bx+c)]+c and ∫eaxcos(bx+c)dx=a2+b2eax[acos(bx+c)+bsin(bx+c)]+c.) …