Простыми преобразованиями эту задачу не решить, будем использовать арифметику остатков.
1-ое свойство, которое понадобится

То есть мы спокойно можем заменить каждое слагаемое сравнимым с ним по модулю m. То есть каждое слагаемое в нашей сумме будем рассматривать отдельно.
2-ое свойство, которое нам понадобится:

То есть довольно аналогичная вещь в произведении
На нашем примере все увидим

Находим остатки по модулю 31
Рассматриваем первое слагаемое. Просто двойка не годится, нам нужно найти ближайшее к 31 число, превосходящее его (иногда там в отрицательные числа залезаем, например,
, но сейчас это не нужно), нам повезло, это 32
Учитываем, что
, получаем

То есть остаток от деления первого слагаемое на 31 получился равным 10. Прекрасно, аналогично со вторым

Остаток 21, чудесно. Выполняем последний шаг.

То есть остаток от деления исходного числа на 31 равен 0, следовательно, исходное число делится на 31, что и требовалось доказать.
которая должна выражать дату (в каком-то неизвестном представлении).


;

– возможная добавочная единица, уходящая из первого
– возможная добавочная единица, уходящая из второго
– возможная добавочная единица,
;
и при
;
поскольку
так как с этой цифры начинается разностное число.
поскольку в первом разряде уже есть шестёрка и добавочная единица, получаемая из нулевого разряда.
.
.



может играть роль апреля.
;
;
;
;
;
;
– дата 12/04/56 г.
– дата 15/04/86 г.
– дата 21/04/47 г.
– дата 24/04/77 г.
– дата 24/04/38 г.
может играть только роль числа месяца (дня).
;
;
;
– дата 11/15/46 г.
sin(пи/2 - 3x) = cos 3x - это вроде бы ясно, что и откуда.
Тогда наше уравнение перепишется так.
2cos^2 3x + cos 3x - 1 = 0
Далее воспользуемся заменой.
Пусть cos 3x = t, |t| <= 1
С учётом замены получаем следующее уравнение:
2t^2 + t - 1 = 0
Решаем обычное квадратное уравнение.
D = 1 + 8 = 9
t1 = (-1 - 3) / 4 = -4 / 4 = -1
t2 = (-1 + 3) / 4 = 2 / 4 = 1/2
Оба корня удовлетворяют условию |t| <= 1
Теперь самое время вспомнить, что t = cos 3x.
Возвращаемся к замене. Получаем совокупность уравнений.
cos 3x = -1 или cos 3x = 1/2
3x = пи + 2пиn 3x = +-пи/3 + 2пиk
x = пи/3 + 2пиn/3 x = +-пи/9 + 2пиk/3