Покладемо в рівності (1.3.7) , послідовно
Якщо ми доведемо, що для деякого багаточлена
Покладемо
де
Перше з рівностей (1.3.16) безпосередньо отримане з рівності (1.3.15), якщо в правій його частині розкрити дужки. При цьому одержимо
Добуток у правій частині симетричний й тому
Друге з рівностей (1.3.16) виходить із рівності (1.3.15) якщо записати його у вигляді
і звільнитися від квадратних дужок. Аналогічно виходить третє з рівностей (1.3.16) і так далі. Важливо помітити, що
Легко підрахувати, що
Сума
є симетричним багаточленом із цілими коефіцієнтами й тому є цілим числом. Це число, через (1.3.13) , ділиться на
Ми будемо вважати
буде цілим числом, яке не ділится на
Повернемося до розгляду суми
З рівності (1.3.9) , першої рівності (1.3.16) і того , що
легко доглянути, що
Таким чином, права частина рівності (1.3.14) є сумою цілого, відмінного від нуля, числа й числа, по модулі меншого одиниці. Така сума не може рівнятися нулю й тому рівності (1.3.14), при нашім виборі
Теорема доведена.
1.4 Доведення ірраціональності та трансцендентності числа „е”
Доведемо ірраціональність і трансцендентність числа
Теорема 1.4.1.Число
Доведення. Припустимо, що
Із
Ми одержуємо звідси
Тобто між 0 і 1 лежить ціле число. Припущення, що
Теорема доведена.
Припустимо, що
Множачи обидві частини рівняння на
Переносимо
Всі доданки правої частини цілі, отже:
— ціле
Але з іншої сторони
Знов одержуємо протиріччя.
Трансцендентність
Теорема 1.4.2. Число
Доведення. Припустимо, що
Позначимо через
При заданому
Розглянемо функцію ступеня