и, положивши b = 2а, получаем:
Все это так сложно формулируется потому, что у Евклида в его Началах (книга IX) степени — квадраты, кубы и так далее — так и вводятся, через пропорции, и опираются на известные свойства геометрической прогрессии:
1, x, x2, x3, x4 … xn
где ясно, что каждый член является средней геометрической
— 428 —
между двумя своими соседями справа и слева, как например:
а четыре последовательных члена связаны двойной непрерывной пропорцией:
1 : х = х : х2 = х2 : х3,
которой и пользуется Гиппократ. Теперь возвращаюсь к построению: циркуль дает одну среднюю пропорциональную, которую мы разбирали в Схолии Пятнадцатой, тогда как два прямых угла действуют словно два объединившихся циркуля, они дают нам разом две средних, как это ясно из другого чертежа. Прямой угол мы всегда можем себе представить опирающимся на диаметр некоторой окружности, не так ли?.. А если у нас имеются два прямых угла, причем их всегда можно сдвигать и раздвигать так, что эти диаметры воображаемых окружностей могут изменяться (и при этом независимо друг от друга), то мы получаем особый прибор вроде двоякого циркуля, который может дать нам сразу две средние пропорциональные, те самые, которые требуются для пропорции Гиппократа.
Принцип прибора Платона.
— 429 —
— По-моему, — сказал Илья, внимательно осмотрев чертежи Радикса, — как будто все правильно. Какой интересный этот способ двух прямых углов! И если а = 1, то икс и будет корнем кубическим из двух. Все верно.
— Прекрасно! — похвалил Мнимий. — Итак, после этого поучительного примера я могу продолжать свой рассказ. Алгебра дала ученым формулу (а формула — это ведь и есть самое значительное завоевание алгебры!) для решения любого квадратного уравнения. В шестнадцатом веке ученые заинтересовались алгебраическим решением кубического уравнения, о котором еще в начале того же века Лука Пачиоли, итальянец, говорил, что эта задача столь же непосильна для науки, как и квадратура круга. Конечно, надо все-таки принимать во внимание, что наука, развиваясь, ставит себе все более и более сложные задачи, а для их разрешения, понятно, требуются все более сложные способы. Вот с одной такой необычайной сложностью ученые и столкнулись в шестнадцатом веке. Понадобилось без малого триста лет, чтобы разгрызть этот орешек! О нем-то и будет идти речь. Задачка была особенная. Древние почти ничего здесь не сделали, европейцам все пришлось изучать и рассматривать заново. Арабы тоже брались за этот вопрос, старательно изучали частные случаи, многое изучили и придумали, но по части именно алгебраической у них не получилось. Пачиоли прямо говорил, что решение таких уравнений невозможно, ибо они «диспропорциональны», то есть невыразимы с помощью пропорций, что, разумеется, неосновательно, как это ясно из Гиппократова решения задачи о двоекубии. Как неосновательны были и сетования Пачиоли насчет квадратуры круга, но Архимед тогда еще очень был мало известен… И, наконец, в городе Болонье в шестнадцатом веке напали на алгебраическое решение. Оно…
— А какое это было решение?
— А вот сейчас его продемонстрируем. Сперва надо сказать еще несколько слов об одном особом способе решать квадратные уравнения, вам хорошо известные. Вы знаете способ, который построен на выделении точного квадрата. Но можно действовать еще и по-иному. Выходит не хуже. Если уравнение представлено в двучленной форме, то есть вот так:
xn = a
то решить его нетрудно (разумеется, мы полагаем, что а больше нуля, то есть положительное число), какова бы ни была его степень. Надо только извлечь корень данной степени, а это вопрос разрешимый…
— 430 —
— С логарифмами… — подсказал Илюша.
— Точно, — отвечал Мнимий, — именно с логарифмами. Следовательно, если мы сумеем данное уравнение привести к такому виду, мы уже никаких особых препятствий не встретим. Уравнение первой степени приводится к двучленному виду проще простого: сделай приведение, перенеси известные в одну сторону, неизвестные в другую — и готово. Посмотрим теперь, как этого достигнуть с квадратным уравнением, которое нам тоже хорошо знакомо. Любое квадратное уравнение можно представить в таком виде: