Рациональное число

Разделы:

Рационáльное числó (лат. ratio «отношение, деление, дробь») — число, которое можно представить обыкновенной дробью mn{displaystyle {frac {m}{n}}} ${frac {m}{n}}$ , числитель m{displaystyle m} $m$ — целое число, а знаменатель n{displaystyle n} $n$ — натуральное число. К примеру 23{displaystyle {frac {2}{3}}} ${frac {2}{3}}$ , где m=2{displaystyle m=2} ${displaystyle m=2}$ , а n=3{displaystyle n=3} $n=3$ . Понятие дроби возникло несколько тысяч лет назад, когда, сталкиваясь с необходимостью измерять некоторые величины (длину, вес, площадь и т. п.), люди поняли, что не удаётся обойтись целыми числами и необходимо ввести понятие доли: половины, трети и т. п. Дробями и операциями над ними пользовались, например, шумеры, древние египтяне и греки.

Четверти

Содержание

1 Множество рациональных чисел
2 Терминология
3 Свойства
- 3.1 Основные свойства
- 3.2 Дополнительные свойства
4 Счётность множества
5 Недостаточность рациональных чисел
6 См. также
7 Примечания
8 Литература

Множество рациональных чисел

Множество рациональных чисел обозначается Q{displaystyle mathbb {Q} }

$mathbb {Q}$ (от лат. quotient, «частное») и может быть записано в таком виде:

Q={mn∣m∈Z, n∈N}.{displaystyle mathbb {Q} =left{{frac {m}{n}}mid min mathbb {Z} , nin mathbb {N} right}.}

{displaystyle mathbb {Q} =left{{frac {m}{n}}mid min mathbb {Z} , nin mathbb {N} right}.}

Другими словами, числитель (m) может иметь знак, а знаменатель (n) должен быть натуральным числом.

При этом оказывается, что разные записи могут представлять одну и ту же дробь, например, 34{displaystyle {frac {3}{4}}}

${frac {3}{4}}$ и 912{displaystyle {frac {9}{12}}} ${frac {9}{12}}$ , (все дроби, которые можно получить друг из друга умножением или делением числителя и знаменателя на одно и то же натуральное число, представляют одно и то же рациональное число). Поскольку делением числителя и знаменателя дроби на их наибольший общий делитель можно получить единственное несократимое представление рационального числа, то можно говорить об их множестве как о множестве несократимых дробей со взаимно простыми целым числителем и натуральным знаменателем:

Q={mn∣m∈Z, n∈N, gcd(m,n)=1}.{displaystyle mathbb {Q} =left{{frac {m}{n}}mid min mathbb {Z} , nin mathbb {N} , gcd(m,n)=1right}.}

{displaystyle mathbb {Q} =left{{frac {m}{n}}mid min mathbb {Z} , nin mathbb {N} , gcd(m,n)=1right}.}

Здесь gcd(m,n){displaystyle gcd(m,n)}

$gcd(m,n)$ — наибольший общий делитель чисел m{displaystyle m} $m$ и n{displaystyle n} $n$ .

Множество рациональных чисел является естественным обобщением множества целых чисел. Легко видеть, что если у рационального числа a=mn{displaystyle a={frac {m}{n}}}

$a={frac {m}{n}}$ знаменатель n=1{displaystyle n=1} $n=1$ , то a=m{displaystyle a=m} $a=m$ является целым числом.

Множество рациональных чисел располагается всюду плотно на числовой оси: между любыми двумя различными рациональными числами расположено хотя бы одно рациональное число (а значит, и бесконечное множество рациональных чисел). Тем не менее, оказывается, что множество рациональных чисел имеет счётную мощность (то есть все его элементы можно перенумеровать). Со времён древних греков известно о существовании чисел, не представимых в виде дроби: они доказали, что не существует рационального числа, квадрат которого равен двум. Недостаточность рациональных чисел для выражения всех величин привела в дальнейшем к понятию вещественного числа. В отличие

от множества вещественных чисел (которое соответствует одномерному пространству), множество рациональных чисел имеет меру нуль.

Терминология

Формальное определение

См. также: Кольцо частных

Формально рациональные числа определяются как множество классов эквивалентности пар {(m,n)∣m∈Z,n∈N}{displaystyle left{(m,;n)mid min mathbb {Z} ,;nin mathbb {N} right}}

$left{(m,;n)mid min {mathbb {Z}},;nin {mathbb {N}}right}$ по отношению эквивалентности (m,n)∼(m′,n′){displaystyle (m,;n)sim (m’,;n’)} $(m,;n)sim (m',;n')$ , если m⋅n′=m′⋅n{displaystyle mcdot n’=m’cdot n} $mcdot n'=m'cdot n$ . При этом операции сложения и умножения определяются следующим образом:

(m1,n1)+(m2,n2)=(m1⋅n2+m2⋅n1,n1⋅n2);{displaystyle left(m_{1},;n_{1}right)+left(m_{2},;n_{2}right)=left(m_{1}cdot n_{2}+m_{2}cdot n_{1},;n_{1}cdot n_{2}right);} $left(m_{1},;n_{1}right)+left(m_{2},;n_{2}right)=left(m_{1}cdot n_{2}+m_{2}cdot n_{1},;n_{1}cdot n_{2}right);$
(m1,n1)⋅(m2,n2)=(m1⋅m2,n1⋅n2).{displaystyle left(m_{1},;n_{1}right)cdot left(m_{2},;n_{2}right)=left(m_{1}cdot m_{2},;n_{1}cdot n_{2}right).} $left(m_{1},;n_{1}right)cdot left(m_{2},;n_{2}right)=left(m_{1}cdot m_{2},;n_{1}cdot n_{2}right).$

Связанные определения

См. также: Дробь (математика)

Правильные, неправильные и смешанные дроби

Правильной называется дробь, у которой модуль числителя меньше модуля знаменателя. Правильные дроби представляют рациональные числа, по модулю меньшие единицы. Дробь, не являющаяся правильной, называется неправильной и представляет рациональное число, большее или равное единице по модулю.

Неправильную дробь можно представить в виде суммы целого числа и правильной дроби, называемой смешанной дробью. Например, 237=2+37=147+37=177{displaystyle 2{frac {3}{7}}=2+{frac {3}{7}}={frac {14}{7}}+{frac {3}{7}}={frac {17}{7}}}

$2{frac {3}{7}}=2+{frac {3}{7}}={frac {14}{7}}+{frac {3}{7}}={frac {17}{7}}$ . Подобная запись (с пропущенным знаком сложения), хотя и употребляется в элементарной арифметике, избегается в строгой математической литературе из-за схожести обозначения смешанной дроби с обозначением произведения целого числа на дробь.

Высота дроби

Высота обыкновенной дроби — это сумма модуля числителя и знаменателя этой дроби.Высота рационального числа — это сумма модуля числителя и знаменателя несократимой обыкновенной дроби, соответствующей этому числу[1].

Например, чтобы узнать высоту дроби −156{displaystyle -{frac {15}{6}}}

$-{frac {15}{6}}$ нужно сначала из неё получить несократимую дробь. Несократимая дробь будет выглядеть так: −52{displaystyle -{frac {5}{2}}} $-{frac {5}{2}}$ . Потом нужно сложить модуль числителя и знаменатель: 5+2=7{displaystyle 5+2=7} $5+2=7$ . Значит высота дроби −156{displaystyle -{frac {15}{6}}} $-{frac {15}{6}}$ равна 7{displaystyle 7} $7$ .

Комментарий

Термин дробное число (дробь) иногдаa:not(:hover){border-bottom:1px dotted;text-decoration:none}}]]>[уточнить] используется как синоним к термину рациональное число, а иногда синоним любого нецелого числа. В последнем случае дробные и рациональные числа являются разными вещами, так как тогда нецелые рациональные числа — всего лишь частный случай дробных.

Свойства

Основные свойства

Множество рациональных чисел удовлетворяют шестнадцати основным свойствам, которые легко могут быть получены из свойств целых чисел.[2]

Упорядоченность. Для любых рациональных чисел a{displaystyle a} и b{displaystyle b} существует правило, позволяющее однозначно идентифицировать между ними одно и только одно из трёх отношений: «<{displaystyle <} », «>{displaystyle >} » или «={displaystyle =} ». Это правило называется правилом упорядочения и формулируется следующим образом:
- два неотрицательных числа a=mana{displaystyle a={frac {m_{a}}{n_{a}}}} $a={frac {m_{a}}{n_{a}}}$ и b=mbnb{displaystyle b={frac {m_{b}}{n_{b}}}} $b={frac {m_{b}}{n_{b}}}$ связаны тем же отношением, что и два целых числа ma⋅nb{displaystyle m_{a}cdot n_{b}} $m_{a}cdot n_{b}$ и mb⋅na{displaystyle m_{b}cdot n_{a}} $m_{b}cdot n_{a}$ ;
- два отрицательных числа a{displaystyle a} $a$ и b{displaystyle b} $b$ связаны тем же отношением, что и два неотрицательных числа |b|{displaystyle left|bright|} $left|bright|$ и |a|{displaystyle left|aright|} $left|aright|$ ;
- если же a{displaystyle a} $a$ неотрицательно, а b{displaystyle b} $b$ — отрицательно, то a>b{displaystyle a>b} $a>b$ .
∀a,b∈Q (a<b∨a>b∨a=b){displaystyle forall a,bin mathbb {Q} ~left(a<blor a>blor a=bright)} $forall a,bin {mathbb {Q}}~left(a<blor a>blor a=bright)$

Суммирование дробей

Операция сложения. Для любых рациональных чисел a{displaystyle a} $a$ и b{displaystyle b} $b$ существует бинарная операция сложение, которое ставит им в соответствие некоторое рациональное число c{displaystyle c} $c$ . При этом само число c{displaystyle c} $c$ называется суммой чисел a{displaystyle a} $a$ и b{displaystyle b} $b$ и обозначается (a+b){displaystyle left(a+bright)} $left(a+bright)$ , а процесс отыскания такого числа называется сложением. Правило сложения имеет следующий вид: mana+mbnb=ma⋅nb+mb⋅nana⋅nb{displaystyle {frac {m_{a}}{n_{a}}}+{frac {m_{b}}{n_{b}}}={frac {m_{a}cdot n_{b}+m_{b}cdot n_{a}}{n_{a}cdot n_{b}}}} ${frac {m_{a}}{n_{a}}}+{frac {m_{b}}{n_{b}}}={frac {m_{a}cdot n_{b}+m_{b}cdot n_{a}}{n_{a}cdot n_{b}}}$ ; ∀a,b∈Q ∃!(a+b)∈Q.{displaystyle forall a,bin mathbb {Q} ~exists !left(a+bright)in mathbb {Q} .} ${displaystyle forall a,bin mathbb {Q} ~exists !left(a+bright)in mathbb {Q} .}$
Операция умножения. Для любых рациональных чисел a{displaystyle a} $a$ и b{displaystyle b} $b$ существует бинарная операция умножение, которое ставит им в соответствие некоторое рациональное число c{displaystyle c} $c$ . При этом само число c{displaystyle c} $c$ называется произведением чисел a{displaystyle a} $a$ и b{displaystyle b} $b$ и обозначается (a⋅b){displaystyle left(acdot bright)} $left(acdot bright)$ , а процесс отыскания такого числа также называется умножением. Правило умножения имеет следующий вид: mana⋅mbnb=ma⋅mbna⋅nb{displaystyle {frac {m_{a}}{n_{a}}}cdot {frac {m_{b}}{n_{b}}}={frac {m_{a}cdot m_{b}}{n_{a}cdot n_{b}}}} ${frac {m_{a}}{n_{a}}}cdot {frac {m_{b}}{n_{b}}}={frac {m_{a}cdot m_{b}}{n_{a}cdot n_{b}}}$ ; ∀a,b∈Q ∃(a⋅b)∈Q{displaystyle forall a,bin mathbb {Q} ~exists left(acdot bright)in mathbb {Q} } $forall a,bin {mathbb {Q}}~exists left(acdot bright)in {mathbb {Q}}$ .
Транзитивность отношения порядка. Для любой тройки рациональных чисел a{displaystyle a} $a$ , b{displaystyle b} $b$ и c{displaystyle c} $c$ если a{displaystyle a} $a$ меньше b{displaystyle b} $b$ и b{displaystyle b} $b$ меньше c{displaystyle c} $c$ , то a{displaystyle a} $a$ меньше c{displaystyle c} $c$ , а если a{displaystyle a} $a$ равно b{displaystyle b} $b$ и b{displaystyle b} $b$ равно c{displaystyle c} $c$ , то a{displaystyle a} $a$ равно c{displaystyle c} $c$ .

∀a,b,c∈Q (a<b∧b<c⇒a<c)∧(a=b∧b=c⇒a=c){displaystyle forall a,b,cin mathbb {Q} ~left(a<bland b<cRightarrow a<cright)land left(a=bland b=cRightarrow a=cright)} $forall a,b,cin {mathbb {Q}}~left(a<bland b<cRightarrow a<cright)land left(a=bland b=cRightarrow a=cright)$
Коммутативность сложения. От перемены мест рациональных слагаемых сумма не меняется.

∀a,b∈Q a+b=b+a{displaystyle forall a,bin mathbb {Q} ~~a+b=b+a} $forall a,bin {mathbb {Q}}~~a+b=b+a$
Ассоциативность сложения. Порядок сложения трёх рациональных чисел не влияет на результат.

∀a,b,c∈Q (a+b)+c=a+(b+c){displaystyle forall a,b,cin mathbb {Q} ~~left(a+bright)+c=a+left(b+cright)} $forall a,b,cin {mathbb {Q}}~~left(a+bright)+c=a+left(b+cright)$
Наличие нуля. Существует рациональное число 0, которое сохраняет любое другое рациональное число при суммировании.

∃0∈Q ∀a∈Q a+0=a{displaystyle exists 0in mathbb {Q} ~forall ain mathbb {Q} ~~a+0=a} $exists 0in {mathbb {Q}}~forall ain {mathbb {Q}}~~a+0=a$
Наличие противоположных чисел. Любое рациональное число имеет противоположное рациональное число, при суммировании с которым даёт 0.

∀a∈Q ∃(−a)∈Q a+(−a)=0{displaystyle forall ain mathbb {Q} ~exists left(-aright)in mathbb {Q} ~~a+left(-aright)=0} $forall ain {mathbb {Q}}~exists left(-aright)in {mathbb {Q}}~~a+left(-aright)=0$
Коммутативность умножения. От перемены мест рациональных множителей произведение не меняется.

∀a,b∈Q a⋅b=b⋅a{displaystyle forall a,bin mathbb {Q} ~~acdot b=bcdot a} $forall a,bin {mathbb {Q}}~~acdot b=bcdot a$
Ассоциативность умножения. Порядок перемножения трёх рациональных чисел не влияет на результат.

∀a,b,c∈Q (a⋅b)⋅c=a⋅(b⋅c){displaystyle forall a,b,cin mathbb {Q} ~~left(acdot bright)cdot c=acdot left(bcdot cright)} $forall a,b,cin {mathbb {Q}}~~left(acdot bright)cdot c=acdot left(bcdot cright)$
Наличие единицы. Существует рациональное число 1, которое сохраняет любое другое рациональное число при умножении.

∃1∈Q ∀a∈Q a⋅1=a{displaystyle exists 1in mathbb {Q} ~forall ain mathbb {Q} ~~acdot 1=a} $exists 1in {mathbb {Q}}~forall ain {mathbb {Q}}~~acdot 1=a$
Наличие обратных чисел. Любое ненулевое рациональное число имеет обратное рациональное число, умножение на которое даёт 1.

∀a∈Q ∃a−1∈Q a⋅a−1=1{displaystyle forall ain mathbb {Q} ~exists a^{-1}in mathbb {Q} ~~acdot a^{-1}=1} $forall ain {mathbb {Q}}~exists a^{{-1}}in {mathbb {Q}}~~acdot a^{{-1}}=1$
Дистрибутивность умножения относительно сложения. Операция умножения согласована с операцией сложения посредством распределительного закона:

∀a,b,c∈Q (a+b)⋅c=a⋅c+b⋅c{displaystyle forall a,b,cin mathbb {Q} ~~left(a+bright)cdot c=acdot c+bcdot c} $forall a,b,cin {mathbb {Q}}~~left(a+bright)cdot c=acdot c+bcdot c$
Связь отношения порядка с операцией сложения. К левой и правой частям рационального неравенства можно прибавлять одно и то же рациональное число.

∀a,b,c∈Q a<b⇒a+c<b+c{displaystyle forall a,b,cin mathbb {Q} ~~a<bRightarrow a+c<b+c} $forall a,b,cin {mathbb {Q}}~~a<bRightarrow a+c<b+c$
Связь отношения порядка с операцией умножения. Левую и правую части рационального неравенства можно умножать на одно и то же положительное рациональное число.

∀a,b,c∈Q c>0∧a<b⇒a⋅c<b⋅c{displaystyle forall a,b,cin mathbb {Q} ~~c>0land a<bRightarrow acdot c<bcdot c} $forall a,b,cin {mathbb {Q}}~~c>0land a<bRightarrow acdot c<bcdot c$
Аксиома Архимеда. Каково бы ни было рациональное число a{displaystyle a} $a$ , можно взять столько единиц, что их сумма превзойдёт a{displaystyle a} $a$ .

∀a∈Q ∃n∈N ∑k=1n1>a{displaystyle forall ain mathbb {Q} ~exists nin mathbb {N} ~~sum _{k=1}^{n}1>a} $forall ain {mathbb {Q}}~exists nin {mathbb {N}}~~sum _{{k=1}}^{{n}}1>a$

Дополнительные свойства

Все остальные свойства, присущие рациональным числам, не выделяют в основные, потому что они, вообще говоря, уже не опираются непосредственно на свойства целых чисел, а могут быть доказаны исходя из приведённых основных свойств или непосредственно по определению некоторого математического объекта. Таких дополнительных свойств очень много. Здесь имеет смысл привести лишь некоторые из них.

Отношение порядка «>» (с противоположным порядком аргументов) также транзитивно.

∀a,b,c∈Q a>b∧b>c⇒a>c{displaystyle forall a,b,cin mathbb {Q} ~~a>bland b>cRightarrow a>c} $forall a,b,cin {mathbb {Q}}~~a>bland b>cRightarrow a>c$
Произведение любого рационального числа на ноль равно нулю.

∀a∈Q a⋅0=0{displaystyle forall ain mathbb {Q} ~~acdot 0=0} $forall ain {mathbb {Q}}~~acdot 0=0$
Рациональные неравенства одного знака можно почленно складывать.

∀a,b,c,d∈Q a>b∧c>d⇒a+c>b+d{displaystyle forall a,b,c,din mathbb {Q} ~~a>bland c>dRightarrow a+c>b+d} $forall a,b,c,din {mathbb {Q}}~~a>bland c>dRightarrow a+c>b+d$
Множество рациональных чисел Q{displaystyle mathbb {Q} } $mathbb {Q}$ является полем (а именно, полем частных кольца целых чисел Z{displaystyle mathbb {Z} } $mathbb {Z}$ ) относительно операций сложения и умножения дробей.

(Q,+,⋅){displaystyle left(mathbb {Q} ,+,cdot right)} $left({mathbb {Q}},+,cdot right)$ — поле
В позиционной системе счисления рациональное число представляется периодической дробью. Более того, наличие представления в виде периодической дроби является критерием рациональности вещественного числа.
Каждое рациональное число является алгебраическим.

Q⊂A{displaystyle mathbb {Q} subset mathbb {A} } ${mathbb {Q}}subset {mathbb {A}}$
Между любыми двумя различными рациональными числами a{displaystyle a} $a$ и b{displaystyle b} $b$ существует хотя бы одно рациональное число x{displaystyle x} $x$ , такое, что a<x{displaystyle a<x} $a<x$ и x<b{displaystyle x<b} $x<b$ . (В качестве примера такого числа можно взять x=a+b2{displaystyle x=textstyle {frac {a+b}{2}}} $x=textstyle {{frac {a+b}{2}}}$ .) Ясно, что между a{displaystyle a} $a$ и x{displaystyle x} $x$ , а также между x{displaystyle x} $x$ и b{displaystyle b} $b$ тоже существует хотя бы по одному рациональному числу. Отсюда следует, что между любыми двумя различными рациональными числами a{displaystyle a} $a$ и b{displaystyle b} $b$ существует бесконечно много рациональных чисел. Иначе говоря, не существует двух соседних рациональных чисел. В частности, не существует наименьшего положительного рационального числа.
Не существует наибольшего и наименьшего рационального числа. Для любого рационального числа x{displaystyle x} $x$ найдутся рациональные (и даже целые) числа a{displaystyle a} $a$ и b{displaystyle b} $b$ такие, что a<x{displaystyle a<x} $a<x$ и x<b{displaystyle x<b} $x<b$ .

Счётность множества

Нумерация положительных рациональных чисел

Чтобы оценить количество рациональных чисел, нужно найти мощность их множества. Легко доказать, что множество рациональных чисел счётно. Для этого достаточно привести алгоритм, который нумерует рациональные числа, то есть устанавливает биекцию между множествами рациональных и натуральных чисел.Примером такого построения может служить следующий простой алгоритм. Составляется бесконечная таблица обыкновенных дробей, на каждой i{displaystyle i}

$i$ -ой строке в каждом j{displaystyle j} $j$ -ом столбце которой располагается дробь ij{displaystyle {frac {i}{j}}} ${frac {i}{j}}$ . Для определённости считается, что строки и столбцы этой таблицы нумеруются с единицы. Ячейки таблицы обозначаются (i,j){displaystyle left(i,jright)} $left(i,jright)$ , где i{displaystyle i} $i$ — номер строки таблицы, в которой располагается ячейка, а j{displaystyle j} $j$ — номер столбца.

Полученная таблица обходится «змейкой» по следующему формальному алгоритму.

Если текущее положение (i,j){displaystyle left(i,jright)} $left(i,jright)$ таково, что i{displaystyle i} $i$ — нечётное, а j=1{displaystyle j=1} $j=1$ , то следующим положением выбирается (i+1,j){displaystyle left(i+1,jright)} $left(i+1,jright)$ .
Если текущее положение (i,j){displaystyle left(i,jright)} $left(i,jright)$ таково, что i=1{displaystyle i=1} $i=1$ , а j{displaystyle j} $j$ — чётное, то следующим положением выбирается (i,j+1){displaystyle left(i,j+1right)} $left(i,j+1right)$ .
Если для текущего положения (i,j){displaystyle left(i,jright)} $left(i,jright)$ сумма индексов (i+j){displaystyle left(i+jright)} $left(i+jright)$ нечётна, то следующее положение — (i−1,j+1){displaystyle left(i-1,j+1right)} $left(i-1,j+1right)$ .
Если для текущего положения (i,j){displaystyle left(i,jright)} $left(i,jright)$ сумма индексов (i+j){displaystyle left(i+jright)} $left(i+jright)$ чётна, то следующее положение — (i+1,j−1){displaystyle left(i+1,j-1right)} $left(i+1,j-1right)$ .

Эти правила просматриваются сверху вниз и следующее положение выбирается по первому совпадению.

В процессе такого обхода каждому новому рациональному числу ставится в соответствие очередное натуральное число. То есть дроби 1/1{displaystyle 1/1}

$1/1$ ставится в соответствие число 1, дроби 2/1{displaystyle 2/1} $2/1$ — число 2, и т. д. Нужно отметить, что нумеруются только несократимые дроби. Формальным признаком несократимости является равенство единице наибольшего общего делителя числителя и знаменателя дроби.

Следуя этому алгоритму, можно занумеровать все положительные рациональные числа. Это значит, что множество положительных рациональных чисел Q+{displaystyle mathbb {Q} _{+}}

${mathbb {Q}}_{+}$ счётно. Легко установить биекцию между множествами положительных и отрицательных рациональных чисел, просто поставив в соответствие каждому рациональному числу противоположное ему. Т. о. множество отрицательных рациональных чисел Q−{displaystyle mathbb {Q} _{-}} ${mathbb {Q}}_{-}$ тоже счётно. Их объединение Q+∪Q−{displaystyle mathbb {Q} _{+}cup mathbb {Q} _{-}} ${mathbb {Q}}_{+}cup {mathbb {Q}}_{-}$ также счётно по свойству счётных множеств. Множество же рациональных чисел Q=Q+∪Q−∪{0}{displaystyle mathbb {Q} =mathbb {Q} _{+}cup mathbb {Q} _{-}cup left{0right}} ${mathbb {Q}}={mathbb {Q}}_{+}cup {mathbb {Q}}_{-}cup left{0right}$ тоже счётно как объединение счётного множества с конечным.

Разумеется, существуют и другие способы занумеровать рациональные числа. Например, для этого можно воспользоваться такими структурами как дерево Калкина — Уилфа, дерево Штерна — Броко или ряд Фарея.

Утверждение о счётности множества рациональных чисел может вызывать некоторое недоумение, так как на первый взгляд складывается впечатление, что оно гораздо обширнее множества натуральных чисел. На самом деле это не так и натуральных чисел хватает, чтобы занумеровать все рациональные.

Недостаточность рациональных чисел

Гипотенуза такого треугольника не выражается никаким рациональным числом

В геометрии следствием так называемой аксиомы Архимеда (в более общем понимании, чем упомянуто выше) является возможность построения сколь угодно малых (то есть, коротких) величин, выражаемых рациональными числами вида 1/n{displaystyle 1/n}

$1/n$ . Этот факт создаёт обманчивое впечатление, что рациональными числами можно измерить вообще любые геометрические расстояния. Легко показать, что это не верно.

Из теоремы Пифагора известно, что гипотенуза прямоугольного треугольника выражается как квадратный корень суммы квадратов его катетов. Т. о. длина гипотенузы равнобедренного прямоугольного треугольника с единичным катетом равна 2{displaystyle {sqrt {2}}}

${sqrt {2}}$ , то есть числу, квадрат которого равен 2.

Если допустить, что число 2{displaystyle {sqrt {2}}}

${sqrt {2}}$ представляется некоторым рациональным числом, то найдётся такое целое число m{displaystyle m} $m$ и такое натуральное число n{displaystyle n} $n$ , что 2=mn{displaystyle {sqrt {2}}={frac {m}{n}}} ${sqrt {2}}={frac {m}{n}}$ , причём дробь mn{displaystyle {frac {m}{n}}} ${frac {m}{n}}$ несократима, то есть числа m{displaystyle m} $m$ и n{displaystyle n} $n$ — взаимно простые.

Если 2=mn{displaystyle {sqrt {2}}={frac {m}{n}}}

${sqrt {2}}={frac {m}{n}}$ , то 2=2⋅2=mn⋅mn=m2n2{displaystyle 2={sqrt {2}}cdot {sqrt {2}}={frac {m}{n}}cdot {frac {m}{n}}={frac {m^{2}}{n^{2}}}} $2={sqrt {2}}cdot {sqrt {2}}={frac {m}{n}}cdot {frac {m}{n}}={frac {m^{2}}{n^{2}}}$ , то есть m2=2n2{displaystyle m^{2}=2n^{2}} $m^{2}=2n^{2}$ . Следовательно, число m2{displaystyle m^{2}} $m^{2}$ чётно, но произведение двух нечётных чисел нечётно, что означает, что само число m{displaystyle m} $m$ также чётно. А значит найдётся натуральное число k{displaystyle k} $k$ , такое что число m{displaystyle m} $m$ можно представить в виде m=2k{displaystyle m=2k} $m=2k$ . Квадрат числа m{displaystyle m} $m$ в этом смысле m2=4k2{displaystyle m^{2}=4k^{2}} $m^{2}=4k^{2}$ , но с другой стороны m2=2n2{displaystyle m^{2}=2n^{2}} $m^{2}=2n^{2}$ , значит 4k2=2n2{displaystyle 4k^{2}=2n^{2}} $4k^{2}=2n^{2}$ , или n2=2k2{displaystyle n^{2}=2k^{2}} $n^{2}=2k^{2}$ . Как уже показано ранее для числа m{displaystyle m} $m$ , это значит, что число n{displaystyle n} $n$ — чётно, как и m{displaystyle m} $m$ . Но тогда они не являются взаимно простыми, так как оба делятся на 2. Полученное противоречие доказывает, что 2{displaystyle {sqrt {2}}} ${sqrt {2}}$ не есть рациональное число.

Из вышесказанного следует, что существуют отрезки на плоскости, а, значит, и на числовой прямой, которые не могут быть измерены рациональными числами. Это приводит к возможности расширения понятия рациональных чисел до вещественных.

См. также

Примечания

↑ Шиханович Ю. А. Введение в современную математику (Начальные понятия). — М.: Наука, 1965. — С. 191. — 376 с.
↑ В. А. Ильин, В. А. Садовничий, Бл. Х. Сендов. Глава 2. Вещественные числа // Математический анализ / Под ред. А. Н. Тихонова. — 3-е изд., перераб. и доп. — М.: Проспект, 2006. — Т. 1. — С. 30—31. — 672 с. — ISBN 5-482-00445-7.

Литература

И.Кушнир. Справочник по математике для школьников. — Киев: АСТАРТА, 1998. — 520 с.
П. С. Александров. Введение в теорию множеств и общую топологию. — М.: глав. ред. физ.-мат. лит. изд. «Наука», 1977
И. Л. Хмельницкий. Введение в теорию алгебраических систем