Пойдем дальше по пути обобщения. Существуют ли еще урав­нения, которых мы не научились решать? Конечно. Например, нам не под силу уравнение b=2¹/₂=Ц2. Невозможно найти рациональную дробь, квадрат которой равен 2. В наше время это выяснить довольно просто. Мы знаем десятичную систему и не пугаемся бесконечной десятичной дроби, которую можно использовать для приближения корня из двух. Хотя идея та­кого приближения появилась еще у древних греков, однако усваивалась она с большим трудом. Чтобы точно сформули­ровать суть такого приближения, надо постичь такие высокие материи, как непрерывность и соотношения порядка, а это очень трудный шаг. Это сделал Дедекинд очень точно и очень формально. Однако, если не заботиться о математической стро­гости, легко понять, что числа типа Ц2 можно представить в виде целой последовательности десятичных дробей (потому что если остановиться на какой-нибудь десятичной дроби, то получится рациональное число), которая все ближе и ближе подходит к желанному результату. Этих знаний нам вполне до­статочно; они позволят свободно обращаться с иррациональ­ными числами и вычислять числа типа Ц2 с нужной точностью.

§ 4. Приближенное вычисление иррациональных чисел

Теперь такой вопрос: как возвести число в иррациональную степень? Например, нам хочется узнать, что такое 10^Ц2 . Ответ в принципе очень прост. Возьмем вместо Ц2 его прибли­жение в виде конечной десятичной дроби — это рациональное число. Возводить в рациональную степень мы умеем; дело сво­дится к возведению в целую степень и извлечению корня. Мы получим приближенное значение числа 10^Ц2 . Можно взять десятичную дробь подлиннее (это снова рациональное число). Тогда придется извлечь корень большей степени; ведь знамена­тель рациональной дроби увеличится, но зато мы получим бо­лее точное приближение. Конечно, если взять приближенное значение Ц2 в виде очень длинной дроби, то возведение в сте­пень будет делом очень трудным. Как справиться с этой задачей?