ГЛАВА II. Рациональные числа

§ 1. Определение рациональных чисел

Как мы уже видели, множество натуральных чисел

замкнуто относительно сложения и умножения, а множество целых чисел

замкнуто относительно сложения, умножения и вычитания. Однако ни одно из этих множеств не замкнуто относительно деления, поскольку деление целых чисел может привести к дробям, как, например, в случаях 4/3, 7/6, —2/5 и т.д. Совокупность всех таких дробей образует множество рациональных чисел. Таким образом, рациональное число (рациональная дробь) есть такое число, которое можно представить в виде , где а и d — целые числа, причем d не равно нулю. Сделаем по поводу этого определения несколько замечаний.

1) Мы потребовали, чтобы d было отлично от нуля. Это требование (математически записываемое неравенством ) необходимо, поскольку здесь d является делителем. Рассмотрим следующие примеры:

Случай 1. .

Случай 2. .

В случае 1 d является делителем в смысле предыдущей главы, т. е. 7 есть точный делитель 21, В случае 2 d по-прежнему является делителем, но уже в другом смысле, поскольку 7 не есть точный делитель 25.

Если 25 назвать делимым, а 7 — делителем, то мы получим частное 3 и остаток 4. Итак, слово делитель используется здесь в более общем смысле и применимо к большему числу случаев, чем в гл. I. Однако в случаях, подобных случаю 1, должно оставаться применимым понятие делителя, введенное в гл. I; поэтому необходимо, как и в гл. I, исключить возможность d = 0.

2) Отметим, что, в то время как выражения рациональное число и рациональная дробь являются синонимами, само по себе слово дробь используется для обозначения любого алгебраического выражения, состоящего из числителя и знаменателя, как, например,

3) В определение рационального числа входит выражение «число, которое можно представить в виде , где а и d — целые числа и . Почему его нельзя заменить выражением «число вида , где а и d — целые числа и Причиной этому является то обстоятельство, что существует бесконечно много способов выражения одной и той же дроби (например, 2/3 можно также записать, как 4/6, 6/9, или или 213/33, или и т. п.), и нам желательно, чтобы наше определение рационального числа не зависело от частного способа его выражения.

Дробь определяется таким образом, что ее значение не меняется при умножении числителя и знаменателя на одно и то же число. Однако не всегда можно сказать, просто посмотрев на данную дробь, является она рациональной или нет. Рассмотрим, например, числа

Ни одно из них в выбранной нами записи не имеет вида , где а и d — целые числа.

Мы можем, однако, произвести над первой дробью ряд арифметических преобразований и получить

Таким образом, мы приходим к дроби, равной исходу ной дроби, для которой . Число следовательно, рационально, но оно не было бы рациональным, если бы определение рационального числа требовало бы, чтобы число имело вид а/b, где а и b — целые числа. В случае дроби преобразования

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

4) Отметим, что всякое целое число рационально. Как мы только что видели, это верно в случае числа 2. В общем случае произвольных целых чисел можно, аналогично, приписать каждому из них знаменатель, равный 1, и получить их представление в виде рациональных дробей:

Упражнения

1. Доказать, что число 2 может быть записано в виде, рациональной дроби (с целыми ) бесконечным числом способов.

2. Доказать, что рациональное число может быть записано в виде рациональной дроби бесконечным числом способов.

3. Доказать, что число 0 может быть записано в виде рациональной дроби бесконечным числом способов.

4. Доказать, что каждое рациональное число имеет бесконечно много различных представлений в виде рациональной дроби.

5. Определение. Пусть k — произвольное число. Обратным к k называется такое число что 1. Из этого определения вытекает, что все числа, исключая 0, имеют обратные. Если дано число то, по определению, обратное к нему число удовлетворяет уравнению Отсюда

(Это выражение имеет смысл лишь при ) Доказать, что обратное к любому рациональному числу (отличному от нуля) есть число рациональное.