Объясните мне, плиз, как это получилось? 2sin^(2)x = 1 - cos2x Какую формулу применили?

2sin^(2)x = 2((1-cos2x)/2)=1-cos 2x

формула понижения степени: sin^(2)x = (1-cos2x)/2