Cos(α - β) + Sin(-α)Sinβ = CosαCosβ + SinαSinβ - SinαSinβ = CosαCosβ
CosαCosβ = CosαCosβ
Тождество доказано
раскроем скобки, получим: