A problem on the limit of higher numbers According to what formula is 1-cosx reduced to the square of 2 sin 2 parts x,

A problem on the limit of higher numbers According to what formula is 1-cosx reduced to the square of 2 sin 2 parts x,

cos(x/2)*cos(x/2)-sin(x/2)sin(x/2)=cos(x/2+x/2)
Advanced mathematics is advanced mathematics, not high school mathematics
It has nothing to do with Lim