Таким образом, сумма ряда
иррациональна, если начиная с некоторого
выполняется
.
А вот это нет
-- 17.04.2015, 10:57 --Но на самом деле есть решение намного проще чем вы написали
.
Имеется в виду, что у ряда все коэффициенты неотрицательные целые числа и бесконечно много положительных.
У вас это явно не говорилось для обобщений, разве что в самом начале было
, который надо было так расшифровать.
Тогда можно сформулировать теорему:
Сумма ряда
рационально только в двух случаях, когда существует
1)
2)
.
Проще доказательства нет, кроме как умножать на факториал большого числа и получить противоречие (целое=целое+остаток, 0<остаток<1).