Пусть e-1 = 11 + 11·2 + 11·2·3 + 11·2·3·4 + ... = n=1 1n! [А почему именно e-1, спросите вы? На то есть веские причины, но здесь мы не будем в это углубляться].

Задача на олимпиаду для школьников: доказать, что

Решение.

0. Очевидно, что 12·3 < 12·2 , 12·3·4 < 12·2·2 , и вообще, 1n! 12n-1 , причём равенство достигается только при n=1или2. Поэтому n=1 1n! < n=1 12n-1 а последняя сумма, как всем известно, конечна и равна 2 (это же геометрическая прогрессия). Таким образом, и наша сумма никогда не будет больше 2.

1. В предыдущем пункте мы фактически доказали, что e<3. С другой стороны, легко видеть, что e=1+1+12+...>2, так что 2<e<3, и никак не может быть целым.

2. Допустим, что e рациональное и равняется pq. Разобьём сумму на два куска, до n=q и после: e-1 = pq-1 = n=1q 1n! + n=q+1 1n!

Теперь умножим всё на q! и перенесём первую сумму налево: p(q-1)!-q! - n=1q q!n! = n=q+1 q!n!

С левой стороны стоит целое число, потому что q! при qn конечно же делится на n! Сумма же с правой стороны очевидно положительна и равна 1q+1 + 1(q+1)(q+2) + 1(q+1)(q+2)(q+3) + ... < 1q+1 + 1(q+1)2 + 1(q+1)3 + ... = 1q+1 · 11-1q+1 = 1q < 1 (это опять прогрессия. Для буквоедов: q1, потому что в противном случае e=pq было бы целым, а мы уже доказали, что это невозможно).

Но целое положительное число не может быть меньше единицы — противоречие. Стало быть, e не может быть рациональным.

3. Пока оставляю в качестве домашнего задания ))