Докажите тождество sin10sin20sin70sin80=(1/4)cos50cos70

Sin 10 = cos 80
sin 20 = cos 70
cos80·sin80·cos70·sin70 = 0.25 cos50·cos70
0.5sin160 · 0.5sin140 = 0.25 cos50·cos70
0.25 sin (90 + 70) · sin (90 + 50) = 0.25 cos50·cos70
0.25 cos50·cos70 ≡ 0.25 cos50·cos70
тождество доказано

Просто предполагаем что Андреев соврал о том что он из Онеги. Получается Григорьев - Каргополь. Затем, понимаем что в если в Каргополе уже живет Григорьев, то первое утверждение Борисова ложное, тогда Борисов - Коряма. Григорьев действительно из Каргополя, тогда Данилов =/ Вельск. Если Данилов не из Вельска, тогда Андреев - Коряжма. Остается 2 города. Если Данилов =/ Вельск, то тогда Данилов - Онега, а Васильев - Вельск. Если бы мы в первом выбрали другой вариант, то все равно путем логических вычислений, мы бы наткнулись на противоречие.

Вроде так Неравенства решаются так же, как и уравнения. Только при делении или умножении членов неравенства на отрицательное число знак неравенства меняется на противоположный. 
1-я система. 3х-2>2x-6+5x; 3x-7x>-6+2; -4x>-4; x<(-4)/(-4); x<1; 
2x^2+(25+10x+x^2)>3(x^2-25); 2x^2+25+10x+x^2>3x^2-75; 10x>-75-25; 10x>-100; x>-10; общее решение: -10<x<1,>0; (x+3)(2x-1-2x)>0; -(x+3)>0; x+3<0; x<-3; 
x-1>3x+2; x-3x>2+1; -2x>3; x<3/(-2); x<-1.5; общее решение x<-3, т.е. значения х находятся в промежутке (-беск.;-3).