1.左边=sin3x*sinx*(sinx)^2+cos3x*cosx*[1-(sinx)^2]
=-(sinx)^2*cos4x+cos3x*cosx
=-(sinx)^2*cos4x+(cos4x+cos2x)/2
=cos4x*[1-2(sinx)^2]/2 + cos2x/2
=(cos4x+1)*cos2x/2
=(cos2x)^3 你给的式子有错.代入x=30°可验证.
2.左边=1/tanx-[1+(tanx)^2]/(2tanx)=[1-(tanx)^2]/(2tanx)=1/tan2x=cot2x