Иррациональные числа

   Будем извлекать корень квадратный из двух с точностью до 1/10, 1/10², …, 1/10n и т.д. Продолжая этот процесс неограниченно, получим в результате бесконечную десятичную дробь, которая не может быть периодической, так как не является рациональным числом. Таким образом, при извлечении корней появляются бесконечные непериодические десятичные дроби, Дроби такого типа определяют новые, нерациональные числа.
   Определение. Всякая бесконечная непериодическая десятичная дробь вида
a = A, b1b2bn                     (13)
(A ≥ 0, b1, b2 ... - цифры) называется положительным иррационалъным числом.
   Каждому положительному иррациональному числу (13) сопоставляется противоположное ему отрицательное число
- a = - A, b1b2bn
   Определения. 1. Два иррациональных числа
a = A, b1b2bn… и a′ = A′, b1b2bn
считаются равными в том и только в том случае, если A = A′, b1 = b1′, b2 = b2′, …, bn = bn′… и т.д.
   Число а больше числа а': а > а', если A > A, или если А = A' но b1 > b1' или если A = A' и b1 = b1', но b2 > b'2 и т. д.
   3. Если a > а' > 0, то считают - а < - а' и обратно.
   Пусть a = A, b1b2 ... .
Дроби A, b1; A, b1b2; … A, b1b2bn и т. д. называются десятичными приближениями для иррационального числа а по недостатку. Дроби A, (b1 +1); A, b1(b2 +1); … A, b1b2…(bn +1) и т. д. называются десятичными приближениями для иррационального числа а по избытку.
   Для сравнения иррационального числа с числом рациональным последнее можно представить в виде периодической дроби и затем можно сравнить десятичные приближения для этих чисел по тому же правилу, как и при сравнении двух иррациональных чисел. При этом конечная десятичная дробь рассматривается как периодическая с периодом нуль. Например, > 1,41, так как = 1,414..., а 1,41 = 1,4100 ... .
   Иррациональные числа разделяются на алгебраические, и трансцендентные (неалгебраические). Алгебраическим иррациональным числом называется всякое иррациональное число, которое является корнем многочлена (см. гл. II, § 3) с рациональными коэффициентами вида
c0·xn + c1·xn-1 + … + cn
где c0 ≠ 0, n - натуральное число.
Например, - алгебраическое иррациональное число, так как является корнем многочлена х ² - 2.
   Доказано, что число π = 3,14... - трансцендентное иррациональное число.
   Извлечение корня приводит к алгебраическим иррациональным числам. Значения логарифмов положительных чисел и тригонометрических функций, как правило, - трансцендентные иррациональные числа.
   Замечание. Конкретные иррациональные числа обычно обозначают символом той операции, в результате которой они возникают:
   Над иррациональными числами устанавливаются арифметические действия, причем вычитание и деление определяются как действия, обратные сложению и умножению. Строгое обоснование этих действий и их свойств приводится в курсе высшей математики.
   Поясним не примере понятие суммы. Рассмотрим числа а = = 1,414... и b = = 1,732… Возьмём последовательности десятичных приближений для а и b по недостатку
a 1,4 1,41 1,414
b 1,7 1,73 1,732
и по избытку
a 1,5 1,42 1,415
b 1,8 1,74 1,733
Образуем две новые последовательности
1,4 + 1,7 1,41 + 1,73 1,414 + 1,732
1,5 + 1,8 1,42 + 1,74 1,415 + 1,733
Оказывается, существует и притом единственное число, для которого эти последовательности являются последовательностями десятичных приближений соответственно по недостатку и по избытку. Это число и называется суммой чисел а и b.
   После установления арифметических действий вводится важное понятие предела числовой последовательности (см. гл. V, § 4). Эта формула позволяет получить правило для обращения периодических дробей.

Правило обращения периодических дробей

   Любая периодическая дробь вида 0,b1b2bn… равна обыкновенной дроби, составленной по следующему правилу:    Доказательство. Рассмотрим для определённости (без ограничения общности доказательства) смешанную периодическую дробь вида
Надо доказать, что эта дробь равна дроби
.
   В самом деле, периодическая дробь равна
,
где S – сумма членов бесконечно убывающей геометрической прогрессии
÷÷,
у которой первый член , а знаменатель .
   Так как , то имеем
.
Таким образом,
,
или
,
что и утверждалось.
   Например,
,
,
.