Обозначим для удобства:

cos^2(a)=x

Тогда :

sin^2(a)=1-x  (Основное тригонометрическое тождество)

(1-x)^2+2*x-x^2=1-2x+x^2+2x-x^2=1

Вывод: тождество верно