>>480
cos(2mx+mx) = cos(2mx)cos(mx)-sin(2mx)sin(mx)
cos(2mx-mx) = cos(2mx)cos(mx)+sin(2mx)sin(mx)
よって、cos(2mx)cos(mx) = (1/2)(cos(3mx)+cos(mx))

いわゆる積和