докажите тождество cos(90+x) cosx+ sin(90+x) sinx=0
по формуле косинуса разности и табличному значению косинуса 90 имеем
что и требовалось доказать