Квадратриса

Материал из testwiki
Перейти к навигации Перейти к поиску

Квадратри́са — плоская трансцендентная кривая, определяемая кинематически. Была предложена в античные времена (V веке Шаблон:Донэ) для решения задач квадратуры круга и трисекции угла. Квадратриса стала первой в математике трансцендентной кривой[1].

Файл:Quadratrix trisection.png
Рис. 1. Кинематическое определение квадратрисы
Рис. 2. То же с анимацией

Определение

Кинематическое определение квадратрисы следующее: рассмотрим квадрат ABCD (рис. 1), в который вписан сектор четверти круга. Пусть точка E равномерно движется по дуге от точки D до точки B; одновременно отрезок AB равномерно движется из положения DC в положение AB. Наконец, потребуем, чтобы оба движения начались и закончились одновременно. Тогда точка пересечения радиуса AE и отрезка AB опишет квадратрису (см. рисунки 1 и 2, выделена красным цветом).

Античные математики предубеждённо относились к кинематическим определениям кривых, считая их недостойными геометрической науки. Поэтому они предложили два других определения, не использующих понятия механического движения; эти определения приведены в сочинениях Паппа Александрийского и представляют квадратрису как проекцию некоторых кривых, связанных с винтовой линией или спиралью АрхимедаШаблон:Sfn. Построения эти довольно сложны и на практике не используются.

В Новое время были обнаружены и другие построения, где возникает квадратриса; например, рассмотрим пересечение витка геликоида с плоскостью, содержащей ось этой поверхности. Тогда проекция линии пересечения на плоскость, перпендикулярную оси, представляет собой ветку квадратрисы[2]. Шаблон:Clear

История

Первое упоминание о квадратрисе сделали Папп Александрийский[3] и Ямвлих в конце III века. Папп дал и подробное описание способов её построения. Кривая открыта, по сообщению Прокла Диадоха, софистом Гиппием в V веке Шаблон:Донэ и использовалась им для решения задачи трисекции угла. Другой античный геометр, Динострат, провёл в IV веке Шаблон:Донэ исследование этой кривой и показал, что она обеспечивает также решение задачи квадратуры круга. В источниках данную кривую называют «квадратрисой Динострата» или «квадратрисой Гиппия»Шаблон:Sfn.

Папп пишет, что математик III века Спор Никейский выдвинул два серьёзных возражения против использования квадратрисы для квадратуры круга, с которыми Папп полностью согласенШаблон:Sfn:

  1. Невозможно точно согласовать движение отрезков ВС и АВ, если не знать заранее отношение длины дуги четверти окружности к радиусу, поэтому получается порочный круг.
  2. Точку К построить нельзя, потому что в соответствующий момент времени отрезок и радиус совпадают. В современной терминологии, точка К есть предел точек квадратрисы — понятие, чуждое античной математике.

В Новое время кривую исследовали Роберваль (1636), Ферма, Барроу (1670) и другие известные математики. Декарт посвятил исследованию квадратрисы немало страниц в своей «Геометрии» (1637)Шаблон:Sfn. Ньютон в 1676 году определил длину дуги квадратрисы, её кривизну и площадь её сегмента в виде ряда, а также указал способ проведения касательных[4].

Уравнения кривой

ρ=2Rπφsinφ.
x=yctgπy2R

Основное свойство

Уравнение квадратрисы в полярных координатах можно записать в виде:

ρsinφ=2Rπφ, или: y=kφ, где k=2Rπ.

Отсюда следует основное свойство данной кривойШаблон:Sfn: Шаблон:Рамка Ординаты любых двух точек квадратрисы относятся, как полярные углы этих точек: y1y2=φ1φ2. Шаблон:Конец рамки Квадратриса — единственная (невырожденная) кривая в первом координатном квадранте, обладающая таким свойством (это легко доказать, повторив приведённые рассуждения в обратном порядке).

Другие свойства

Площадь сегмента ADFG квадратрисы определяется формулойШаблон:Sfn:

S=2R2ln2π

Применение

Трисекция угла

Трисекция угла, то есть деление произвольного угла на три равные части, с помощью квадратрисы проводится элементарно. Пусть EAB (рис. 1) — некоторый угол, треть которого надо построить. Алгоритм деления следующий:

  1. Находим точку F на квадратрисе и её ординату A.
  2. Откладываем на отрезке AA его третью часть; получим некоторую точку H.
  3. Находим на квадратрисе точку K с ординатой H.
  4. Проводим луч AK. Угол KAB — искомый.

Доказательство данного алгоритма сразу следует из основного свойства квадратрисы. Очевидно также, что аналогичным способом можно разделить угол не только на три, но и на любое другое число частейШаблон:Sfn.

Квадратура круга

Рис. 3. Схема квадратуры круга с помощью квадратрисы

Задача квадратуры круга ставится так: построить квадрат с такой же площадью, как у заданного круга радиуса R. Алгебраически это означает решение уравнения: x2=πR2.

Построим для исходного круга квадратрису, как на рис. 1. Используя первый замечательный предел, получаем, что абсцисса AG её нижней точки (на рис. 3 это отрезок AJ) равна 2Rπ. Выразим это в виде пропорции: C:2R=2R:AG, где C=2πR — длина окружности. Приведённое соотношение позволяет построить отрезок длины C. Прямоугольник со сторонами R и C/2 будет иметь нужную площадь, а построить равновеликий ему квадрат — дело несложное, см. статью Квадратура (математика) или рис. 3.

Вариации

Помимо рассмотренной выше квадратрисы Динострата, существует ряд иных кривых, которые можно использовать для квадратуры круга, и поэтому также называемых квадратрисами[2].

y=asinπx2a
x=2asin2y2a
Рис. 4. График «полной» квадратрисы при R=1

Кроме того, ряд авторов предпочитают поменять местами x и y в уравнении квадратрисы ДиностратаШаблон:Sfn:

y=xctgπx2R

Этот вариант (полная квадратриса) имеет то преимущество, что функция y(x) определена на всей вещественной оси, кроме особых точек ±2R,±4R,±6R (В точке x=0 функция y(x) доопределяется предельным переходом; см. её график при R=1 на рис. 4.) В полярных координатах центральная ветка данного варианта кривой описывается формулой[6]:

ρ=Rππ2φcosφ

Данная кривая имеет бесконечное число ветвей, для которых вертикальные прямые в особых точках являются асимптотами. Точки кривой с ординатой y=2Rπ (за исключением точки на оси ординат) являются точками перегиба[6].

Примечания

Шаблон:Примечания

Литература

Ссылки

Шаблон:Кривые

Шаблон:Добротная статья

  1. Шаблон:Книга
  2. 2,0 2,1 Ошибка цитирования Неверный тег <ref>; для сносок SAV230 не указан текст
  3. Папп Александрийский. Математическое собрание, книга IV, 30—34.
  4. Шаблон:Книга
  5. 5,0 5,1 Шаблон:Книга
  6. 6,0 6,1 Ошибка цитирования Неверный тег <ref>; для сносок SAV228 не указан текст