Какое утверждение является инвариантом для следующегофрагмента - Ответ на вопрос №1247046

Вопрос

Какое утверждение является инвариантом для следующегофрагмента программы (т.е. из справедливости утверждениядо выполнения фрагмента программы вытекает справедливость утвержденияпосле выполнения)? Предполагается, что значение переменнойn неотрицательно. double r, x; int n; . . . r *= x*x; r /= ((n+1)*(n+2)); n += 2;

• Утверждение r == xn/(n+1)!.
• Утверждение r == xn/((n+1)*(n+2)).
• Утверждение r == xn/n!, где восклицательным знаком обозначен факториал числа n.
• Утверждение r == (x+n)/n!, где восклицательным знаком обозначен факториал числа n.

Ответ