а - альфа
sin2a - ctga = - cos2a * ctga
2sinacosa - ctga = ( -1 + 2sin^2a) * ctga
2sinacosa - ctga = 2sinacosa - ctga
доказано
а - альфа
sin2a - ctga = - cos2a * ctga
2sinacosa - ctga = ( -1 + 2sin^2a) * ctga
2sinacosa - ctga = 2sinacosa - ctga
доказано