(1 + sin(0,5π - 2α) + sin2α) : (1 - cos2α + sin (π - α) = ctgα
(1 + cos2α + sin2α) : (1 - cos2α + sin2α) = ctgα
(2cos²α + sin2α) : (2sin²α + sin2α) = ctgα
(2cos²α + 2sinα·cosα) : (2sin²α + 2sinα·cosα) = ctgα
2cosα(cosα + sinα) : 2sinα(sinα + cosα) = ctgα
cosα : sinα = ctgα
ctgα ≡ ctgα