Несоизмеримые отрезки

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

История открытия

Пифагорейская школа и проблема соизмеримости

В VI–V веках до н. э. пифагорейцы, древнегреческие философы и математики, полагали, что все геометрические величины (длины, площади, объёмы) выражаются целыми числами или их отношениями (рациональными числами). Основой их учения было утверждение: «Всё есть число». Считалось, что любые два отрезка обязательно соизмеримы — существует общая единица измерения, которая укладывается в каждом из них целое число раз.

Открытие несоизмеримости

Согласно историческим свидетельствам, первое доказательство существования несоизмеримых отрезков было получено в рамках пифагорейской школы, вероятно, Гиппасом Метапонтским (ок. 500 г. до н. э.). Классическим примером является несоизмеримость стороны квадрата и его диагонали. Если принять сторону квадрата за единицу, то диагональ, согласно теореме Пифагора, равна √2. Доказательство того, что √2 не может быть выражен отношением целых чисел, стало первым строгим доказательством иррациональности.

Легенда гласит, что Гиппас был казнён пифагорейцами за разглашение этого открытия, поскольку оно подрывало основы их учения. Однако историческая достоверность этой легенды остаётся предметом дискуссий.

Реакция античных математиков

Открытие несоизмеримости вызвало кризис в древнегреческой математике. Пифагорейцы отказались от арифметического подхода к геометрии, перейдя к чисто геометрическим методам. Это привело к созданию Евдоксом Книдским (ок. 408–355 гг. до н. э.) теории отношений, изложенной в V книге «Начал» Евклида. Теория Евдокса позволяла работать с несоизмеримыми величинами, не прибегая к числовым значениям, и стала основой для античной геометрии.

Математическое определение

Формальное определение

Два отрезка называются соизмеримыми, если существует третий отрезок (общая мера), который укладывается целое число раз в каждом из них. Если такого отрезка не существует, отрезки называются несоизмеримыми.

В современной терминологии: отрезки с длинами \(a\) и \(b\) соизмеримы тогда и только тогда, когда отношение \(a/b\) является рациональным числом. Если отношение иррационально, отрезки несоизмеримы.

Примеры несоизмеримых отрезков

1. Сторона и диагональ квадрата: отношение \(1 : \sqrt{2}\) иррационально.
2. Сторона и диагональ правильного пятиугольника: отношение равно золотому сечению \(\varphi = (1 + \sqrt{5})/2\), которое также иррационально.
3. Сторона и высота равностороннего треугольника: отношение \(1 : \sqrt{3}/2\) иррационально.
4. Длина окружности и её диаметр: отношение равно \(\pi\), иррациональному числу.

Доказательство несоизмеримости

Классическое доказательство для √2

Доказательство от противного, приписываемое пифагорейцам, выглядит следующим образом:

1. Предположим, что диагональ \(d\) и сторона \(a\) квадрата соизмеримы. Тогда \(d/a = p/q\), где \(p\) и \(q\) — взаимно простые целые числа.
2. По теореме Пифагора, \(d^2 = a^2 + a^2 = 2a^2\), следовательно, \(p^2/q^2 = 2\), или \(p^2 = 2q^2\).
3. Отсюда \(p^2\) чётно, значит, \(p\) чётно. Пусть \(p = 2r\). Тогда \(4r^2 = 2q^2\), или \(q^2 = 2r^2\).
4. Следовательно, \(q^2\) чётно, и \(q\) чётно. Но тогда \(p\) и \(q\) оба чётны, что противоречит их взаимной простоте.
5. Значит, исходное предположение ложно, и отрезки несоизмеримы.

Геометрическое доказательство (алгоритм Евклида)

В «Началах» Евклида (книга X) используется метод последовательного вычитания меньшего отрезка из большего. Если этот процесс никогда не заканчивается, отрезки несоизмеримы. Для стороны и диагонали квадрата процесс бесконечен, что доказывает их несоизмеримость.

Значение в математике

Введение иррациональных чисел

Открытие несоизмеримых отрезков привело к необходимости расширения понятия числа. В античности это привело к разделению математики на арифметику (дискретные величины) и геометрию (непрерывные величины). В XIX веке, с развитием анализа, были строго определены иррациональные числа (работы Дедекинда, Кантора, Вейерштрасса), что позволило единообразно описывать все отрезки.

Теория меры

В современной математике несоизмеримость связана с понятием меры. Классическим примером является несоизмеримость множества рациональных чисел на отрезке: хотя рациональные числа всюду плотны, их мера (длина) равна нулю, а иррациональные числа занимают всю длину отрезка.

Фракталы и несоизмеримость

В теории фракталов несоизмеримость проявляется в свойствах самоподобия. Например, ковёр Серпинского имеет дробную размерность, что делает его длину и площадь несоизмеримыми с обычными геометрическими фигурами.

Применение в науке

Физика

В квантовой механике несоизмеримость проявляется в соотношении неопределённостей Гейзенберга: координата и импульс частицы не могут быть одновременно измерены с произвольной точностью, что связано с несоизмеримостью соответствующих операторов.

Кристаллография

Несоизмеримые модулированные структуры — это кристаллы, в которых периодичность атомного расположения не кратна основной решётке. Такие структуры изучаются в физике твёрдого тела и материаловедении.

Криптография

Свойства несоизмеримости используются в некоторых криптографических алгоритмах, основанных на сложности дискретного логарифмирования в группах, связанных с иррациональными числами.

Интересные факты

• В Древней Греции несоизмеримые отрезки называли «алогос» (невыразимые), что подчёркивало их мистический характер.
• Платон в диалоге «Теэтет» упоминает, что ученик Феодора Киренского доказал несоизмеримость корней из 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15 и 17.
• В современной математике несоизмеримость является частным случаем алгебраической независимости чисел. Например, числа π и e алгебраически независимы, что означает несоизмеримость соответствующих отрезков.
• Проблема несоизмеримости привела к созданию теории непрерывных дробей, которая позволяет приближать иррациональные числа рациональными с любой точностью.

Источники

• «Начала» Евклида, книга X (перевод и комментарии Д. Д. Мордухай-Болтовского).
• Ван дер Варден Б. Л. «Пробуждающаяся наука. Математика Древнего Египта, Вавилона и Греции».
• Клайн М. «Математика. Утрата определённости».
• Бурбаки Н. «Очерки по истории математики».
• Фихтенгольц Г. М. «Курс дифференциального и интегрального исчисления», том 1.