>>141
普通に加法定理で
cos(4x) = cos(x +3x) = cos(x)cos(3x) - sin(x)sin(3x)