Question

докажите тождество cos(90+x) cosx+ sin(90+x) sinx=0

Answer 1

по формуле косинуса разности и табличному значению косинуса 90 имеем

$cos(90^o+x)cos x+sin(90^o+x)sin x=cos(90^o+x-x)=cos 90^o=0;$

что и требовалось доказать