2倍角の公式で cos^2@-sin2^@ =2 cosa^2-1
になるか教えてくださいお願いします