Время переменных. Математический анализ в безумном мире (Орлин) - страница 89

Хотите получить представление о его уме? Возьмите куб и разрежьте его на три равные части.

Три получившиеся фигуры – это идентичные пирамиды, каждая из которых имеет квадратное основание и острую вершину над одним из углов основания. Таким образом, каждая из них должна занимать 1/3 объема первоначального куба.

Пока все идет замечательно, но мы только начали.

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

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

Теперь перейдем к дальнейшим действиям. Представьте себе эти квадраты как стопку бесконечного количества карт, каждая из которых толщиной с волос. Если перекладывать их с места на место, то объем не изменится, так что поехали! В данный момент у всех наших квадратов есть общий угол. Но почему бы не переместить их так, чтобы у них был общий центр? Это превратит нашу асимметричную пирамиду странного вида в классическую, в египетском стиле.

Самое замечательное – это то, что объем не изменяется. Он так и остается 1/3 от объема куба.

Теперь мы подошли к настолько гениальному и удобному шагу, что, когда математик Бонавентура Кавальери переоткрыл его в начале XIX в., его назвали «принципом Кавальери». На самом деле этот принцип придумал Антифон (V в. до н. э.), развил Евдокс (IV в. до н. э. – в действительности он впервые привел аргумент, о котором я говорю сейчас) и усовершенствовал Архимед (III в. до н. э. – вскоре мы доберемся до его уникального дополнения). Я собираюсь назвать его в честь охватившей ряды римлян паники «принципом бесчисленных бед».

Идея проста. Если вы имеете дело с трехмерными фигурами, то объем не меняется, когда вы заменяете одни поперечные сечения другими той же площади. Например, мы можем поменять наши квадраты на прямоугольники. Объем полученной теперь продолговатой пирамиды по-прежнему составляет 1/3 призмы, ранее известной как куб.

Или – эндшпиль великого гроссмейстера – мы можем превратить наши квадраты в круги. Неважно, что в действительности это делается с помощью карандаша и бумаги, называется квадратурой круга и по-настоящему невозможно. На практике – это для гимнастов, мы же с вами скользим по облакам чистой геометрии. Поэтому просто представьте, как каждый квадрат медленно превращается в круг, а площадь его не меняется.