(sin 3a + sin a) = 2 * sin ((3a+а) / 2) * cos ((3a-а) / 2) = 2 * sin 2a * cos a
(cos 3a - cos a) = - 2 * sin ((3a+а) / 2) * sin ((3a-а) / 2) = - 2 * sin 2a * sin a
(sin 3a + sin a) / (cos 3a - cos a) = - cos a / sin a = - ctg a
2sin35 *cos10 - sin25 = 2 * 1/2 * (sin (35 - 10) + sin (35 + 10)) - sin 25 =
= sin 25 + sin 45 - sin 25 = sin 45 = (корень из 2) / 2
Вроде бы так