cosXcos3X−sinXsin3Xがcos4Xになる理由(公式)教えてクレメンス…