А вот попроще решение:
По формулам суммы аргументов получаем:
Подставляем известные значения синусов и косинусов:
Каждое 7 число делится на 7
в диапазоне 0-999 существует
, т.е. существует 142 числа кратных 7
вероятность того что он выберет число кратное 7 =
Ваша задача решена ответ можете посмотрет в вложение