Definition ∫u.dxdvdx=uv−∫v.dxdu formed by integrating product rule Prove integral formula by reduction: Split the power of n, like sinnx=sinn−1x.sin or secnx=secn−2x.sec2x