Помогите, пожалуйста, упростить выражение

Question

Помогите, пожалуйста, упростить выражение

---

Answer 1

Воспользуемся тождеством  cos(90-a) =sin(a)
alfa+30=a
90-30-alfa=60-alfa
cos(60-alfa)-sin(30+alfa)=0