Задание EGEINF3CB3DE: Рекурсия и рекуррентные зависимости

Дано: аргумент n — натуральное число. Правила вычисления:
F(n) = 1 при n = 1.
F(n) = 2 · n · F(n − 1) при n ≥ 2.
Найти R = F(2024) + 2 · F(2023)F(2022).

Здесь соседние значения функции отличаются известным множителем. Полностью вычислять огромные значения не требуется: выразим все числители через значение функции в знаменателе. Из рекуррентного правила следует F(n) = a(n) · F(n − h), где a(n) — множитель из условия, h — шаг аргумента. Повторяя подстановку, получаем произведение этих множителей и одно общее значение F. Все используемые аргументы находятся в рекуррентной ветви.

Положим C = F(2022). В этой задаче C положительно: последовательное уменьшение аргумента с шагом 1 приводит к положительному начальному значению, а все множители до него положительны. Поэтому деление на C и его сокращение допустимы.

F(2023) = 4046 · F(2022) = 4046 · 1 · C = 4046 · C.
F(2024) = 4048 · F(2023) = 4048 · 4046 · C = 16378208 · C.

Подставляем полученные выражения в исходную дробь и сокращаем общий множитель C. Коэффициенты при C подставляются вместо соответствующих F:
R = 16378208 + 2 · 40461 = 16386300.

Проверка. У каждого раскрытого значения аргумент уменьшается ровно на шаг из условия. Отношения F(n) к предыдущему значению равны заданным множителям. Независимый расчёт отношений с точной рациональной арифметикой даёт 16386300; округление при делении не использовалось.

Ответ: 16386300.