cos2xge0\\cos 2x\\ge0cos2xge0 では 2−2cos2x=4sin2x2-2\\cos 2x=4\\sin^2x2−2cos2x=4sin2x を用いる。cos2x<0\\cos 2x<0cos2x<0 では 2+2cos2x=4cos2x2+2\\cos 2x=4\\cos^2x2+2cos2x=4cos2x を用い、非負平方根を取ればよい。