WikiDer > Доказательство того, что е иррационально

Proof that e is irrational

В номер е был представлен Джейкоб Бернулли в 1683 году. Более полувека спустя Эйлер, который был учеником младшего брата Иакова Иоганн, доказал, что е является иррациональный; то есть, это не может быть выражено как частное двух целых чисел.

Доказательство Эйлера

Эйлер написал первое доказательство того, что е является иррациональным в 1737 году (но текст был опубликован только семь лет спустя).^[1]^[2]^[3] Он вычислил представление е как простая цепная дробь, который

{ displaystyle e = [2; 1,2,1,1,4,1,1,6,1,1,8,1,1, ldots, 2n, 1,1, ldots].}

Поскольку эта непрерывная дробь бесконечна и каждое рациональное число имеет завершающуюся цепную дробь, е иррационально. Известно краткое доказательство предыдущего равенства.^[4]^[5] Поскольку простая цепная дробь е не является периодический, это также доказывает, что е не является корнем многочлена второй степени с рациональными коэффициентами; особенно, е² иррационально.

Доказательство Фурье

Самое известное доказательство Жозеф Фурьес доказательство от противного,^[6] которое основано на равенстве

{ Displaystyle е = сумма _ {п = 0} ^ { infty} { гидроразрыва {1} {п!}} cdot}

Первоначально е предполагается рациональное число вида ^а⁄_б. Обратите внимание, что б не может быть равно 1, поскольку е не является целым числом. Используя указанное выше равенство, можно показать, что е строго между 2 и 3:

{ displaystyle 2 = 1 + { tfrac {1} {1!}}

Затем мы анализируем увеличенную разницу Икс серии, представляющей е и его строго меньше б^th частичная сумма, которая приближается к предельному значению е. Выбрав коэффициент увеличения факториал изб, дробь ^а⁄_б и б^th частичная сумма превращается в целые числа, следовательно Икс должно быть положительным целым числом. Однако быстрая сходимость представления ряда означает, что увеличенная ошибка приближения Икс все еще строго меньше 1. Из этого противоречия мы заключаем, что е иррационально.

Предположим, что е это Рациональное число. Тогда существуют натуральные числа а и б такой, что е = ^а⁄_б. Определите число

{ displaystyle x = b! left (e- sum _ {n = 0} ^ {b} { frac {1} {n!}} right).}

Чтобы увидеть это, если е рационально, то Икс целое число, заменить е = ^а⁄_б в это определение, чтобы получить

{ displaystyle x = b! left ({ frac {a} {b}} - sum _ {n = 0} ^ {b} { frac {1} {n!}} right) = a ( б-1)! - sum _ {n = 0} ^ {b} { frac {b!} {n!}}.}

Первый член является целым числом, и каждая дробь в сумме фактически является целым числом, потому что п ≤ б за каждый срок. Следовательно, Икс целое число.

Теперь докажем, что 0 < Икс < 1. Во-первых, доказать, что Икс строго положительно, мы вставляем указанное выше серийное представление е в определение Икс и получить

{ displaystyle x = b! left ( sum _ {n = 0} ^ { infty} { frac {1} {n!}} - sum _ {n = 0} ^ {b} { frac {1} {n!}} Right) = sum _ {n = b + 1} ^ { infty} { frac {b!} {N!}}> 0,}

потому что все условия строго положительные.

Теперь докажем, что Икс <1. Для всех условий с п ≥ б + 1 у нас есть верхняя оценка

{ displaystyle { frac {b!} {n!}} = { frac {1} {(b + 1) (b + 2) cdots (b + (nb))}} leq { frac {1 } {(b + 1) ^ {nb}}}.}

Это неравенство строгое для всех п ≥ б + 2. Изменение индекса суммирования на k = п – б и используя формулу для бесконечный геометрический ряд, мы получаем

{ displaystyle x = sum _ {n = b + 1} ^ { infty} { frac {b!} {n!}} < sum _ {n = b + 1} ^ { infty} { frac {1} {(b + 1) ^ {nb}}} = sum _ {k = 1} ^ { infty} { frac {1} {(b + 1) ^ {k}}} = { frac {1} {b + 1}} left ({ frac {1} {1 - { frac {1} {b + 1}}}} right) = { frac {1} {b} } <1.}

Поскольку нет целого числа строго между 0 и 1, мы пришли к противоречию, и поэтому е должно быть иррациональным. Q.E.D.

Альтернативные доказательства

Еще одно доказательство^[7] можно получить из предыдущего, отметив, что

{ displaystyle (b + 1) x = 1 + { frac {1} {b + 2}} + { frac {1} {(b + 2) (b + 3)}} + cdots <1+ { frac {1} {b + 1}} + { frac {1} {(b + 1) (b + 2)}} + cdots = 1 + x,}

и это неравенство эквивалентно утверждению, что bx <1. Это, конечно, невозможно, так как б и Икс положительные целые числа.

Еще одно доказательство ^[8]^[9] можно получить из того, что

{ displaystyle { frac {1} {e}} = e ^ {- 1} = sum _ {n = 0} ^ { infty} { frac {(-1) ^ {n}} {n! }} cdot}

Определять ${ displaystyle s_ {n}}$ следующее:

{ displaystyle s_ {n} = sum _ {k = 0} ^ {n} { frac {(-1) ^ {k}} {k!}}.}

Потом:

{ displaystyle e ^ {- 1} -s_ {2n-1} = sum _ {k = 0} ^ { infty} { frac {(-1) ^ {k}} {k!}} - сумма _ {k = 0} ^ {2n-1} { frac {(-1) ^ {k}} {k!}} <{ frac {1} {(2n)!}},}

что подразумевает:

{ displaystyle 0 <(2n-1)! left (e ^ {- 1} -s_ {2n-1} right) <{ frac {1} {2n}} leq { frac {1} { 2}}}

для любого целого ${ displaystyle n geq 2.}$

Обратите внимание, что ${ Displaystyle (2n-1)! s_ {2n-1}}$ всегда целое число. Предполагать ${ displaystyle e ^ {- 1}}$ рационально, значит, ${ displaystyle e ^ {- 1} = { tfrac {p} {q}}}$ куда ${ displaystyle p, q}$ сопредседатели и ${ displaystyle q neq 0.}$ Можно соответственно выбрать ${ displaystyle n}$ так что ${ displaystyle (2n-1)! e ^ {- 1}}$ является целым числом, т.е. ${ displaystyle n geq { tfrac {q + 1} {2}}.}$ Следовательно, для этого выбора разница между ${ displaystyle (2n-1)! e ^ {- 1}}$ и ${ Displaystyle (2n-1)! s_ {2n-1}}$ будет целым числом. Но из-за указанного неравенства это невозможно. Так, ${ displaystyle e ^ {- 1}}$ иррационально. Это означает, что ${ displaystyle e}$ иррационально.

Обобщения

В 1840 г. Liouville опубликовал доказательство того, что е² иррационально^[10] за которым следует доказательство того, что е² не является корнем многочлена второй степени с рациональными коэффициентами.^[11] Этот последний факт означает, что е⁴ иррационально. Его доказательства аналогичны доказательству Фурье иррациональности е. В 1891 г. Гурвиц объяснил, как можно доказать в том же направлении идей, что е не является корнем многочлена третьей степени с рациональными коэффициентами.^[12] Особенно, е³ иррационально.

В более общем смысле, е^q иррационально для любого ненулевого рационального q.^[13]

Смотрите также

Рекомендации

^ Эйлер, Леонард (1744). "De Fractionibus Continis Dissertatio" [Диссертация о непрерывных дробях] (PDF). Commentarii academiae scientiarum Petropolitanae. 9: 98–137.
^ Эйлер, Леонард (1985). «Очерк непрерывных дробей». Математическая теория систем. 18: 295–398. Дои:10.1007 / bf01699475. HDL:1811/32133.
^ Сандифер, К. Эдвард (2007). "Глава 32: Кто доказал е иррационально? ». Как это сделал Эйлер. Математическая ассоциация Америки. С. 185–190. ISBN 978-0-88385-563-8. LCCN 2007927658.
^ Краткое доказательство простого разложения числа e на непрерывную дробь
^ Кон, Генри (2006). "Краткое доказательство разложения простой цепной дроби е". Американский математический ежемесячный журнал. Математическая ассоциация Америки. 113 (1): 57–62. arXiv:математика / 0601660. Дои:10.2307/27641837. JSTOR 27641837.
^ де Стенвиль, Жано (1815). Mélanges d'Analyse Algébrique et de Géométrie [Смесь алгебраического анализа и геометрии]. Veuve Courcier. С. 340–341.
^ MacDivitt, A.R.G .; Янагисава, Юкио (1987), "Элементарное доказательство того, что е иррационально », Математический вестник, Лондон: Математическая ассоциация, 71 (457): 217, Дои:10.2307/3616765, JSTOR 3616765
^ Пенези, Л. Л. (1953). "Элементарное доказательство того, что е иррационально ». Американский математический ежемесячный журнал. Математическая ассоциация Америки. 60 (7): 474. Дои:10.2307/2308411. JSTOR 2308411.
^ Апостол Т. (1974). Математический анализ (2-е изд., Серия Аддисона-Уэсли по математике). Ридинг, Массачусетс: Эддисон-Уэсли.
^ Лиувилль, Жозеф (1840). "Sur l'irrationalité du nombre е = 2,718…". Journal de Mathématiques Pures et Appliquées. 1 (на французском языке). 5: 192.
^ Лиувилль, Жозеф (1840). "Дополнение à la note sur l'irrationnalité du nombre е". Journal de Mathématiques Pures et Appliquées. 1 (на французском языке). 5: 193–194.
^ Гурвиц, Адольф (1933) [1891]. "Über die Kettenbruchentwicklung der Zahl е". Mathematische Werke (на немецком). 2. Базель: Биркхойзер. С. 129–133.
^ Айгнер, Мартин; Циглер, Гюнтер М. (1998), Доказательства из КНИГИ (4-е изд.), Берлин, Нью-Йорк: Springer-Verlag, стр. 27–36, Дои:10.1007/978-3-642-00856-6, ISBN 978-3-642-00855-9.

[1] Эйлер, Леонард (1744). "De Fractionibus Continis Dissertatio" [Диссертация о непрерывных дробях] (PDF). Commentarii academiae scientiarum Petropolitanae. 9: 98–137.

[2] Эйлер, Леонард (1985). «Очерк непрерывных дробей». Математическая теория систем. 18: 295–398. Дои:10.1007 / bf01699475. HDL:1811/32133.

[3] Сандифер, К. Эдвард (2007). "Глава 32: Кто доказал е иррационально? ». Как это сделал Эйлер. Математическая ассоциация Америки. С. 185–190. ISBN 978-0-88385-563-8. LCCN 2007927658.

[4] Краткое доказательство простого разложения числа e на непрерывную дробь

[5] Кон, Генри (2006). "Краткое доказательство разложения простой цепной дроби е". Американский математический ежемесячный журнал. Математическая ассоциация Америки. 113 (1): 57–62. arXiv:математика / 0601660. Дои:10.2307/27641837. JSTOR 27641837.

[6] де Стенвиль, Жано (1815). Mélanges d'Analyse Algébrique et de Géométrie [Смесь алгебраического анализа и геометрии]. Veuve Courcier. С. 340–341.

[7] MacDivitt, A.R.G .; Янагисава, Юкио (1987), "Элементарное доказательство того, что е иррационально », Математический вестник, Лондон: Математическая ассоциация, 71 (457): 217, Дои:10.2307/3616765, JSTOR 3616765

[8] Пенези, Л. Л. (1953). "Элементарное доказательство того, что е иррационально ». Американский математический ежемесячный журнал. Математическая ассоциация Америки. 60 (7): 474. Дои:10.2307/2308411. JSTOR 2308411.

[9] Апостол Т. (1974). Математический анализ (2-е изд., Серия Аддисона-Уэсли по математике). Ридинг, Массачусетс: Эддисон-Уэсли.

[10] Лиувилль, Жозеф (1840). "Sur l'irrationalité du nombre е = 2,718…". Journal de Mathématiques Pures et Appliquées. 1 (на французском языке). 5: 192.

[11] Лиувилль, Жозеф (1840). "Дополнение à la note sur l'irrationnalité du nombre е". Journal de Mathématiques Pures et Appliquées. 1 (на французском языке). 5: 193–194.

[12] Гурвиц, Адольф (1933) [1891]. "Über die Kettenbruchentwicklung der Zahl е". Mathematische Werke (на немецком). 2. Базель: Биркхойзер. С. 129–133.

[13] Айгнер, Мартин; Циглер, Гюнтер М. (1998), Доказательства из КНИГИ (4-е изд.), Берлин, Нью-Йорк: Springer-Verlag, стр. 27–36, Дои:10.1007/978-3-642-00856-6, ISBN 978-3-642-00855-9.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

Navigation