Иррациональное число
Вещественные константы ζ(3) — ρ — √2 — √3 — √5 — ln 2 — φ,Φ — ψ — α,δ — e — eπ и π |
Иррациона́льное число́ — вещественное число, которое не является рациональным, то есть не может быть представлено в виде обыкновенной дроби , где — целые числа, [1]. Иррациональное число может быть представлено в виде бесконечной непериодической десятичной дроби.
Другими словами, множество иррациональных чисел есть разность множеств вещественных и рациональных чисел.
О существовании иррациональных чисел (точнее отрезков, несоизмеримых с отрезком единичной длины), знали уже древние математики: им была известна, например, несоизмеримость диагонали и стороны квадрата, что равносильно иррациональности числа [2].
Иррациональными являются, среди прочих, отношение длины окружности к диаметру круга (число π), основание натурального логарифма e, золотое сечение φ, квадратный корень из двух[3][4][5]. Все квадратные корни натуральных чисел, кроме полных квадратов, иррациональны.
Иррациональные числа также могут рассматриваться через бесконечные непрерывные дроби. Следствием доказательства Кантора является то, что действительные числа не счётны, а рациональные — счётны, отсюда следует, что почти все действительные числа иррациональны[6].
Свойства
[править | править код]- Сумма двух положительных иррациональных чисел может быть рациональным числом.
- Иррациональные числа определяют дедекиндовы сечения во множестве рациональных чисел, у которых в нижнем классе нет наибольшего, а в верхнем нет наименьшего числа.
- Множество иррациональных чисел всюду плотно на числовой прямой: между любыми двумя различными числами имеется иррациональное число.
Алгебраические и трансцендентные числа
[править | править код]Каждое иррациональное число является либо алгебраическим, либо трансцендентным. Множество алгебраических чисел является счётным множеством. Так как множество вещественных чисел несчётно, то множество иррациональных чисел также несчётно.
Каждое вещественное трансцендентное число является иррациональным; алгебраическое число может быть как рациональным, так и иррациональным..
Множество иррациональных чисел является множеством второй категории[7].
Иррациональные числа и непрерывные дроби
[править | править код]Иррациональное число представляются бесконечной непрерывной дробью. Пример, число e:
Квадратичным иррациональностям соответствуют периодические непрерывные дроби.
![]() | Этот раздел не завершён. |
Примеры
[править | править код]Иррациональными являются:
- для любого натурального , не являющегося точным квадратом
- Число , а также для любого рационального
- для любого положительного рационального
- Число , а также для любого рационального
Примеры доказательства иррациональности
[править | править код]Корень из 2
[править | править код]Допустим противное: рационален, то есть представляется в виде дроби , где — целое число, а — натуральное число.
Возведём предполагаемое равенство в квадрат:
- .
В каноническое разложение левой части равенства число входит в чётной степени, а в разложение — в нечётной. Поэтому равенство невозможно. Значит, исходное предположение было неверным, и — иррациональное число.
Двоичный логарифм числа 3
[править | править код]Допустим противное: рационален, то есть представляется в виде дроби , где и — целые числа. Поскольку , и могут быть выбраны положительными. Тогда
Но чётно, а правая часть получившегося равенства нечётна. Получаем противоречие.
e
[править | править код]См. раздел «Доказательство иррациональности» в статье «e».
История
[править | править код]Античность
[править | править код]Первое доказательство существования иррациональных чисел, а точнее существование несоизмеримых отрезков, обычно приписывается пифагорейцу Гиппасу из Метапонта (приблизительно 470 год до нашей эры)[8]. Нет точных данных о том, иррациональность какого числа была доказана Гиппасом. Согласно легенде он нашёл его, изучая длины сторон пентаграммы[9][10]. Поэтому разумно предположить, что это было золотое сечение, так как это и есть отношение диагонали к стороне в правильном пятиугольнике.
Греческие математики назвали это отношение несоизмеримых величин алогос (невыразимым), однако согласно легендам не воздали Гиппасу должного уважения. Существует легенда, что Гиппас совершил открытие, находясь в морском походе, и был выброшен за борт другими пифагорейцами «за создание элемента вселенной, который отрицает доктрину, что все сущности во вселенной могут быть сведены к целым числам и их отношениям». Открытие Гиппаса поставило перед пифагорейской математикой серьёзную проблему, разрушив лежавшее в основе всей теории предположение, что числа и геометрические объекты едины и неразделимы.
Феодор Киренский доказал[11] иррациональность корней натуральных чисел до 17 (исключая, естественно, точные квадраты — 1, 4, 9 и 16), но остановился на этом, так как имевшаяся в его инструментарии алгебра не позволяла доказать иррациональность квадратного корня из 17. По поводу того, каким могло быть это доказательство, историками математики было высказано несколько различных предположений. Согласно наиболее правдоподобному[12] предположению Жана Итара[фр.], оно было основано на теореме о том, что нечётное квадратное число делится на восемь с остатком один[13].
Позже Евдокс Книдский (410 или 408 г. до н. э. — 355 или 347 г. до н. э.) развил теорию пропорций, которая принимала во внимание как рациональные, так и иррациональные отношения. Это послужило основанием для понимания фундаментальной сути иррациональных чисел. Величина стала считаться не числом, но обозначением сущностей, таких как отрезки прямых, углы, площади, объёмы, промежутки времени — сущностей, которые могут меняться непрерывно (в современном понимании этого слова). Величины были противопоставлены числам, которые могут меняться лишь «прыжками» от одного числа к соседнему, например, с 4 на 5[14]. Числа составляются из наименьшей неделимой величины, в то время как величины можно уменьшать бесконечно.
Поскольку никакое количественное значение не сопоставлялось величине, Евдокс смог охватить и соизмеримые, и несоизмеримые величины при определении дроби как отношения двух величин, и пропорции как равенства двух дробей. Убрав из уравнений количественные значения (числа), он избежал ловушки, состоящей в необходимости назвать иррациональную величину числом. Теория Евдокса позволила греческим математикам совершить невероятный прогресс в геометрии, предоставив им необходимое логическое обоснование для работы с несоизмеримыми величинами[15]. Десятая книга «Начал» Евклида посвящена классификации иррациональных величин.
Средние века
[править | править код]Средние века ознаменовались принятием таких понятий как ноль, отрицательные числа, целые и дробные числа, сначала индийскими, затем китайскими математиками. Позже присоединились арабские математики, которые первыми стали считать отрицательные числа алгебраическими объектами (наряду и на равных правах с положительными числами), что позволило развить дисциплину, ныне называемую алгеброй.
Арабские математики соединили древнегреческие понятия «числа» и «величины» в единую, более общую идею вещественных чисел. Они критически относились к представлениям Евклида об отношениях, в противовес ей они развили теорию отношений произвольных величин и расширили понятие числа до отношений непрерывных величин. В своих комментариях на Книгу 10 «Начал» Евклида, персидский математик аль-Махани (ок. 800 года н. э.) исследовал и классифицировал квадратичные иррациональные числа и более общие кубические иррациональные числа. Он дал определение рациональным и иррациональным величинам, которые он и называл иррациональными числами. Он легко оперировал этими объектами, но рассуждал как об обособленных объектах, например[16]:
Рациональной [величиной] является, например, 10, 12, 3%, 6% и так далее, поскольку эти величины произнесены и выражены количественно. Что не рационально, то иррационально, и невозможно произнести или представить соответствующую величину количественно. Например, квадратные корни чисел таких, как 10, 15, 20 — не являющихся квадратами.
В противовес концепции Евклида, что величины суть в первую очередь отрезки прямых, Аль Махани считал целые числа и дроби рациональными величинами, а квадратные и кубические корни — иррациональными. Он также ввёл арифметический подход к множеству иррациональных чисел, поскольку именно он показал иррациональность следующих величин[16]:
результат сложения иррациональной величины и рациональной, результат вычитания рациональной величины из иррациональной, результат вычитания иррациональной величины из рациональной.
Египетский математик Абу Камил (ок. 850 г. н. э. — ок. 930 г. н. э.) был первым, кто счёл приемлемым признать иррациональные числа решением квадратных уравнений или коэффициентами в уравнениях — в основном, в виде квадратных или кубических корней, а также корней четвёртой степени[17]. В X веке иракский математик Аль-Хашими вывел общие доказательства (а не наглядные геометрические демонстрации) иррациональности произведения, частного и результатов иных математических преобразований над иррациональными и рациональными числами[18]. Аль-Хазин (900 г. н. э. — 971 г. н. э.) приводит следующее определение рациональной и иррациональной величины[19]:
Пусть единична величина содержится в данной величине один или несколько раз, тогда эта [данная] величина соответствует целому числу… Каждая величина, которая составляет половину, или треть, или четверть единичной величины, или, сравнённая с единичной величиной составляет три пятых от неё, это рациональная величина. И в целом, всякая величина, которая относится к единичной как одно число к другому, является рациональной. Если же величина не может быть представлена как несколько или часть (l/n), или несколько частей (m/n) единичной длины, она иррациональная, то есть невыразимая иначе как с помощью корней.
Многие из этих идей были позже переняты европейскими математиками после перевода на латынь арабских текстов в XII веке. Аль-Хасар, арабский математик из Магриба, специализировавшийся на исламских законах о наследстве, в XII веке ввёл современную символьную математическую нотацию для дробей, разделив числитель и знаменатель горизонтальной чертой[20]. Та же нотация появилась затем в работах Фибоначчи в XIII веке[21]. В течение XIV—XVI вв. Мадхава из Сангамаграмы и представители Керальской школы астрономии и математики исследовали бесконечные ряды, сходящиеся к некоторым иррациональным числам, например, к , а также показали иррациональность некоторых значений тригонометрических функций. Джестадева привёл эти результаты в книге «Йуктибхаза».
Новое время
[править | править код]В XVII—XVIII веке в математике прочно укрепились комплексные числа, вклад в изучение которых внесли Абрахам де Муавр (1667—1754) и Леонард Эйлер (1707—1783). Когда теория комплексных чисел в XIX веке стала замкнутой и чёткой, стало возможным классифицировать иррациональные числа на алгебраические нерациональные и трансцендентные (доказав при этом существование трансцендентных чисел), тем самым переосмыслив работы Евклида по классификации иррациональных чисел. По этой теме в 1872 году были опубликованы работы Вейерштрасса, Гейне, Кантора и Дедекинда. Хотя ещё в 1869 году Мерэ начал рассмотрения, схожие с работами Гейне, именно 1872 год принято считать годом рождения теории. Метод Вейерштрасса был полностью изложен Сальваторе Пинкерле в 1880 году[22], а Дедекинд получил дополнительную известность благодаря более поздней работе автора (1888) и одобрению Поля Таннери (1894). Вейерштрасс, Кантор и Гейне обосновывали свои теории при помощи бесконечных рядов, в то время как Дедекинд работал с (ныне так называемыми) дедекиндовыми сечениями множества вещественных чисел, разделяя все рациональные числа на два множества с определёнными характеристическими свойствами.
Цепные дроби, тесно связанные с иррациональными числами (цепная дробь, представляющая данное число, бесконечна тогда и только тогда, когда число является иррациональным), были впервые исследованы Катальди в 1613 году, затем снова привлекли к себе внимание в работах Эйлера, а в начале XIX века — в работах Лагранжа. Дирихле также внёс значительный вклад в развитие теории цепных дробей. В 1761 году Ламберт с помощью цепных дробей показал, что не является рациональным числом, а также что и иррациональны при любом ненулевом рациональном [23]. Хотя доказательство Ламберта можно назвать незавершённым, принято считать его достаточно строгим, особенно учитывая время его написания. Лежандр в 1794 году, после введения функции Бесселя — Клиффорда, показал, что иррационально, откуда иррациональность следует тривиально (рациональное число в квадрате дало бы рациональное).
Существование трансцендентных чисел было доказано Лиувиллем в 1844—1851 годах. Позже Георг Кантор (1873) показал их существование, используя другой метод, и обосновал, что любой интервал вещественного ряда содержит бесконечно много трансцендентных чисел. Шарль Эрмит доказал в 1873 году, что e трансцендентно, а Фердинанд Линдеман в 1882 году, основываясь на этом результате, показал трансцендентность . Доказательство Линдеманна было затем упрощено Вейерштрассом в 1885 году, ещё более упрощено Давидом Гильбертом в 1893 году и, наконец, доведено до почти элементарного Адольфом Гурвицем и Паулем Горданом[24].
См. также
[править | править код]- Дедекиндово сечение
- Диофантовы и лиувиллевы числа
- Конструктивные способы определения вещественного числа
- Мера иррациональности
Примечания
[править | править код]- ↑ Рациональное число : [арх. 29 марта 2023] // Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов. — М. : Большая российская энциклопедия, 2004—2017.
- ↑ История, 1970, Том 1, с. 73.
- ↑ The 15 Most Famous Transcendental Numbers Архивная копия от 24 октября 2007 на Wayback Machine. by Clifford A. Pickover. URL retrieved 24 October 2007.
- ↑ Irrational Numbers Архивная копия от 29 августа 2010 на Wayback Machine // mathsisfun.com; URL retrieved 24 October 2007.
- ↑ Weisstein, Eric W. Irrational Number (англ.) на сайте Wolfram MathWorld. URL retrieved 26 October 2007.
- ↑ Cantor, Georg. Contributions to the Founding of the Theory of Transfinite Numbers (англ.) / Philip Jourdain[англ.]. — New York: Dover, 1955. — ISBN 978-0-486-60045-1.
- ↑ Ильин, Садовничий, Сендов, 2006, с. 64.
- ↑ Kurt Von Fritz, 1945.
- ↑ James R. Choike. The Pentagram and the Discovery of an Irrational Number (англ.) // The Two-Year College Mathematics Journal[англ.] : magazine. — 1980.
- ↑ Kurt Von Fritz, 1945, p. 242—264.
- ↑ История, 1970, Т 1. С древнейших времён до начала Нового времени, с. 74.
- ↑ А. И. Щетников. Как древнегреческие математики доказывали иррациональность. Архивная копия от 4 марта 2016 на Wayback Machine
- ↑ Jean Itard. Les livres arithmétiques d'Euclide. — Paris: Hermann, 1961. Архивировано 22 ноября 2015 года.
- ↑ Kline 1990, p.48.
- ↑ Kline 1990, p.49.
- ↑ 1 2 Matvievskaya, 1987, p. 253–277 [259].
- ↑ Jacques Sesiano, «Islamic mathematics», p. 148, in Selin, Helaine; D'Ambrosio, Ubiratan. Mathematics Across Cultures: The History of Non-western Mathematics (англ.). — Springer, 2000. — ISBN 1-4020-0260-2..
- ↑ Matvievskaya, 1987, p. 253–277 [260].
- ↑ Matvievskaya, 1987, p. 253–277 [261].
- ↑ Cajori, Florian (1928), A History of Mathematical Notations (Vol.1), La Salle, Illinois: The Open Court Publishing Company pg. 269.
- ↑ (Cajori 1928, pg.89)
- ↑ Salvatore Pincherle. Saggio di una introduzione alla teoria delle funzioni analitiche secondo i principii del prof. C. Weierstrass (итал.) // Giornale di Matematiche : diario. — 1880. — P. 178—254,317—320.
- ↑ J. H. Lambert. Mémoire sur quelques propriétés remarquables des quantités transcendentes, circulaires et logarithmiques (фр.) // Mémoires de l'Académie royale des sciences de Berlin : magazine. — 1761. — P. 265—322. Архивировано 28 апреля 2016 года.
- ↑ Gordan, Paul. Transcendenz von e und π // Mathematische Annalen. — Teubner, 1893. — Т. 43. — С. 222—224. — doi:10.1007/bf01443647.
Литература
[править | править код]- В. А. Ильин, В. А. Садовничий, Бл. Х. Сендов. Глава 2. Вещественные числа // Математический анализ / Под ред. А. Н. Тихонова. — 3-е изд., перераб. и доп. — М.: Проспект, 2006. — Т. 1. — 672 с. — ISBN 5-482-00445-7.
- История математики с древнейших времён до начала XIX столетия. В трёх томах / под ред. Юшкевича. — М.: Наука, 1970.
- Kline, M. (1990). Mathematical Thought from Ancient to Modern Times, Vol. 1. New York: Oxford University Press. (Original work published 1972).
- Matvievskaya, Galina. The Theory of Quadratic Irrationals in Medieval Oriental Mathematics (англ.) // Annals of the New York Academy of Sciences[англ.] : journal. — 1987. — Vol. 500. — doi:10.1111/j.1749-6632.1987.tb37206.x.
- Kurt Von Fritz. The Discovery of Incommensurability by Hippasus of Metapontum (англ.) // The Annals of Mathematics : journal. — 1945.