Натуральные, целые и рациональные числа
В процессе счёта возникли натуральные числа.
latexN={1,2,3,…,n,…}.
Сложение и умножение натуральных чисел снова даёт натуральное число. Операция «вычитание» во множестве натуральных чисел приводит к целым числам.
latexZ={0,1,−1,2,−2,…,n,−n}.
Операция «деление» во множестве целых чисел приводит к рациональным числам.
latexQ={mn,m∈Z,n∈N}.
Например: latex12;58;−12;−118;−130…
Во множестве рациональных чисел latexQ выполняются все 4 арифметических действия. В данном множестве можно решать уравнения 1-ой степени latex(a∗x+b=c), однако, простейшее уравнение latexx2=a, latexa∈N не всегда разрешимо в latexQ, в частности, уравнение latexx2=2 не имеет решений в latexQ.
Необходимость иррациональных чисел
Докажем, что уравнение latexx2=2 не имеет решений в latexQ.
Теорема
Не существует рационального числа, квадрат которого равен 2.
latex Предположим противное. Предположим, что существует такое рациональное число, квадрат которого равен 2. Числа latexp и latexq — числитель и знаменатель данного рационального числа; latexp и latexq — взаимно простые (числа, наибольший общий делитель которых равен 1).
latexpq∈Q, latex(pq)2=2
latexp2=2q2 latex⇒ latexp2⋮2
latexp2 — чётное число, тогда latexp — чётное.
Отсюда: latexp=2s
latex4s2=2q2|:2
latex2s2=q2⇒q2 — чётное latex⇒q — чётное.
Получили противоречие того утверждения, что latexp и latexq — взаимно простые. latex
Таким образом, проблема решения уже таких уравнений приводит к необходимости расширения множества рациональных чисел путём добавления к ним иррациональных чисел.
Бесконечные дроби: периодические десятичные дроби
Зная рациональное число, его можно представить либо в виде конечной десятичной дроби, либо в виде бесконечной периодической десятичной дроби.
latex1) latex38=0,375 — конечная десятичная дробь;
latex0,375=3751000=38.
latex2) latex2711=2,454545…=2,(45) — бесконечная периодическая десятичная дробь.
latex2,(45)=2+45100+451002+451003+⋯ latex=2+45(1100+11002+11003+⋯).
Используем формулу суммы бесконечно убывающей геометрической прогрессии: latexSn=b11−q, где latexb1 — первый член геометрической прогрессии, latexq — знаменатель прогрессии.
Получим: latex2+45(1100+11002+11003+⋯)= latex2+45∗11001−1100=
latex=2+4599=2511.
Договоримся, конечную десятичную дробь будем отождествлять с бесконечной десятичной дробью с latex«0» в периоде.
latex0,375=0,375(0).
Между множеством множеством всех рациональных чисел и множеством всех периодических бесконечных десятичных дробей установлена связь, если отождествлять бесконечную периодическую дробь с latex(9) с бесконечной периодической периодической дробью с latex(0).
latex2,5=2,5(0)=2,4+0,1=2,4+110= latex2,4+(9100+91000+910000+⋯)= latex=2,4+910(110+1102+1103+⋯) latex=2,4+0,9(9)=2,4(9).
Тест "Существование иррациональных чисел".
Тестовые задания по вышеизложенной теме.
Источники:
- З. М. Лысенко. Лекции по математическому анализу.
- В. И. Коляда, А.А.Кореновский «Курс лекций по мат.анализу, часть 1» (Одесса, «Астропринт», 2009г.), стр.1.
- В. И. Ильин, Э.Г.Позняк «Основы мат.анализа, часть 1, выпуск 2» (Издание четвёртое, переработанное и дополненное, 1982г.) стр.40. (скачать учебник можно здесь).
Подробнее про «существование иррациональных чисел» на: