Dynamic proof for the expansions of sin(A+B) and cos(A+B)