Amanell

cos2x=2(cosx)^2-1を最後から3番目の式に代入すれば、最後から二番目の式が出てきます。