Русская Википедия:Квадратура круга

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

Файл:Squaring the circle.svg
Круг и квадрат одинаковой площади

Квадрату́ра кру́га — задача, заключающаяся в нахождении способа построения с помощью циркуля и линейки (без шкалы с делениями) квадрата, равновеликого по площади данному кругу. Наряду с трисекцией угла и удвоением куба, является одной из самых известных неразрешимых задач на построение с помощью циркуля и линейки.

Если обозначить <math>R</math> радиус заданного круга, <math>x</math> — длину стороны искомого квадрата, то, в современном понимании, задача сводится к решению уравнения: <math>x^2 = \pi R^2,</math> откуда получаем: <math>x = \sqrt{\pi} R \approx 1{,}77245 R.</math> Доказано, что с помощью циркуля и линейки точно построить такую величину невозможно.

История

Из формулировки проблемы видно, что она тесно связана с практически важной задачей нахождения площади круга. В древнем Египте уже знали, что эта площадь <math>S</math> пропорциональна квадрату диаметра круга <math>d.</math> В папирусе Ринда для вычислений используется формулаШаблон:Sfn

<math>S = \left(\frac{8}{9}d\right)^2.</math>

Из этой формулы видно, что площадь круга диаметра <math>d</math> считалась равной площади квадрата со стороной <math>\frac{8}{9} d.</math> В современной терминологии это значит, что египтяне принимали значение <math>\pi</math> равным <math>\left(\frac{16}{9}\right)^2 \approx 3{,}16.</math>

Древнегреческие математики своей задачей считали не вычисление, а точное построение искомого квадрата («квадратуру»), причём, в соответствии с тогдашними принципами, только с помощью циркуля и линейки. Проблемой занимались крупнейшие античные учёные — Анаксагор, Антифонт, Брисон Гераклейский, Архимед, Спор и другие.

Гиппократ Хиосский в IV веке до н. э. первым обнаружил, что некоторые криволинейные фигуры (гиппократовы луночки) допускают точную квадратуру. Расширить класс таких фигур античным математикам не удалось. По другому пути пошёл его современник Динострат, показавший, что квадратуру круга можно строго выполнить с помощью особой кривой — квадратрисыШаблон:Sfn.

В «Началах» Евклида (III век до н. э.) вопрос о площади круга не затрагивается. Важным этапом в исследовании проблемы стало сочинение Архимеда «Измерение круга», в котором впервые строго доказана теорема: площадь круга равна площади прямоугольного треугольника, у которого один катет равен радиусу круга, а другой — длине окружности. Это означало, что если удастся осуществить «спрямление окружности», то есть построить отрезок такой же длины, то проблема будет полностью решена. Архимед также дал оценкуШаблон:Sfn числа <math>\pi</math>:

<math>\frac{223}{71} < \pi < \frac{22}{7};\quad</math> в десятичной записи: <math>3{,}1408 < \pi < 3{,}1429.</math>

Дальнейшие исследования индийских, исламских и европейских математиков по этой теме долгое время касались в основном уточнения значения числа <math>\pi</math> и подбора приближённых формул для квадратуры круга. В средневековой Европе задачей занимались Фибоначчи, Николай Кузанский и Леонардо да Винчи. Позднее обширные исследования опубликовали Кеплер и Гюйгенс. Постепенно укреплялась уверенность в том, что число <math>\pi</math> не может быть точно выражено с помощью конечного числа арифметических операций (включая извлечение корня), отсюда вытекала бы невозможность квадратуры кругаШаблон:Sfn.

В 1732 году английский математик и школьный учитель Томас Бакстер опубликовал свой труд The Circle Squared, который содержал неверное утверждение без доказательства: «если диаметр круга равен единице, то длина его окружности равна 3,0625»[1].

В 1775 году Парижская академия наук (за которой последовал ряд других академий мира) постановила не принимать к рассмотрению попытки квадратуры круга и прочих неразрешимых задач.

Иррациональность числа <math>\pi</math> была доказана Ламбертом в 1766 году в работе «Предварительные сведения для ищущих квадратуру и спрямление круга». Труд Ламберта содержал пробелы, вскоре исправленные Лежандром (1794 год). Окончательное доказательство неразрешимости квадратуры круга дал в 1882 году Линдеман (см. следующий раздел)Шаблон:Sfn. Математики также предложили множество практически полезных способов приближённой квадратуры круга с хорошей точностьюШаблон:Sfn.

Неразрешимость

Если принять за единицу измерения радиус круга и обозначить x длину стороны искомого квадрата, то задача сводится к решению уравнения: <math>x^2=\pi</math>, откуда: <math>x=\sqrt{\pi}</math>. С помощью циркуля и линейки можно выполнить все 4 арифметических действия и извлечение квадратного корня; отсюда следует, что квадратура круга возможна в том и только в том случае, если с помощью конечного числа таких действий можно построить отрезок длины <math>\pi</math>. Таким образом, неразрешимость этой задачи следует из неалгебраичности (трансцендентности) числа <math>\pi</math>, которая была доказана в 1882 году Линдеманом.

Однако эту неразрешимость следует понимать как неразрешимость при использовании только циркуля и линейки. Задача о квадратуре круга становится разрешимой, если, кроме циркуля и линейки, использовать другие средства (например, квадратрису). Простейший механический способ предложил Леонардо да Винчи[2]. Изготовим круговой цилиндр с радиусом основания <math>R</math> и высотой <math>\frac{R}{2}</math>, намажем чернилами боковую поверхность этого цилиндра и прокатим его по плоскости. За один полный оборот цилиндр отпечатает на плоскости прямоугольник площадью <math>\pi R^2</math>. Располагая таким прямоугольником, уже несложно построить равновеликий ему квадрат.

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

Приближённое решение

Пусть <math>a</math> — сторона квадрата, <math>D</math> — диагональ квадрата, <math>r</math> — радиус круга. Равенство площадей квадрата и круга: <math>\pi r^2 = a^2</math>. По теореме Пифагора <math>D^2 = a^2 + a^2</math>, откуда <math>D = a \sqrt{2}</math>, <math>a = \frac{D}{\sqrt{2}}</math>. Подставив <math>a</math> в равенство, получим <math>\pi r^2 = \left( \frac{D}{\sqrt{2}} \right)^2</math>. Выразив <math>D</math>, получим <math>D = r \sqrt{2 \pi} \approx 2{,}506628275 \cdot r </math>. Диагональ искомого квадрата приближённо равна 2,5 радиусам круга. Построив квадрат со стороной указанной длины и взяв половину его диагонали, получим сторону искомого приближённого квадрата[3]. При данном построении погрешность составит 0,016592653. При исходном радиусе в 1 метр вы получите «недостачу по площади» в размере чуть более 10 спичечных коробков.

Метафора «квадратура круга»

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

См. также

Примечания

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

Литература

Шаблон:Родственные проекты

Шаблон:Математика в Древней Греции

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ Шаблон:Cite book
  2. ↑ Шаблон:Книга
  3. ↑ Шаблон:Cite web
Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Квадратура_круга&oldid=10105417