Тригонометрични функции

[Гост]

Опростете:
[tex]sin(45^\circ+\alpha)-cos(45^\circ+\alpha)\overline{ab}sin(45^\circ+\alpha)+cos(45^\circ+\alpha)[/tex]

и докажете тъждеството:
[tex]cos2\alpha-cos4\alpha\overlinecos2\alpha+cos4\alpha=tg\alpha{ab}*tg3\alpha[/tex]