Парадокс Крамера

Парадокс Крамера или парадокс Эйлера — Крамера[1] — это утверждение, что число точек пересечения двух кривых высокого порядка на плоскости может быть больше числа произвольных точек, которые обычно нужны для однозначного определения каждой такой кривой. Парадокс назван именем математика из Женевы Габриэля Крамера.

Кубические кривые, пересекающиеся в 9 точках

Парадокс является результатом наивного понимания двух теорем:

Теорема Безу (число точек пересечения двух алгебраических кривых равно произведению их степеней при выполнении некоторых условий).
Теорема Крамера (кривая степени n однозначно определяется по n(n + 3)/2 точкам, опять же при выполнении некоторых условий).

Заметим, что для всех $n\geqslant 3,n^{2}\geqslant n(n+3)/2$ , так что наивно кажется, что для степеней три и выше могло бы быть достаточно точек пересечения двух кривых, чтобы они однозначно определяли обе кривые.

Проблема заключается в том, что в некоторых вырожденных случаях n(n + 3) / 2 точек оказывается недостаточно для однозначного определения кривой.

История

Парадокс первым опубликовал Маклорен[2][3]. Крамер и Эйлер переписывались по поводу парадокса в 1744—1745 годах и Эйлер объяснил проблему Крамеру[4]. Проблема стала называться парадоксом Крамера после публикации в 1750 году в книге Крамера Introduction à l'analyse des lignes courbes algébriques, хотя Крамер и указал на Маклорена как источник утверждения[5]. Примерно в то же самое время Эйлер опубликовал примеры, показывающие, что кубическая кривая может не определяться однозначно 9 точками[4][6] и обсудил проблему в своей книге Introductio in analysin infinitorum. Результат был обнародован Джеймсом Стирлингом, а объяснение дал Юлиус Плюккер[1].

Никакого парадокса для прямых и невырожденных конических сечений

Для кривых первого порядка (то есть прямых) парадокс не проявляется, поскольку n = 1, так что n² = 1 < n(n + 3) / 2 = 2. В общем случае две различные прямые L₁ и L₂ пересекаются в одной точке P, если только прямые не имеют одинаковый наклон, и в этом случае прямые не пересекаются вообще. Одна точка недостаточна для однозначного определения прямой (нужны две). Через точку P проходят не две, а бесконечно много прямых.

Аналогично, два невырожденных конических сечения пересекаются максимум в 4 конечных точках, а для однозначного определения невырожденной кривой нужно 5 точек.

Пример Крамера для кубических кривых

В письме Эйлеру Крамер указал, что кубические кривые $x^{3}-x=0$ и $y^{3}-y=0$ пересекаются ровно в 9 точках (каждое уравнение представляет набор трёх параллельных прямых $x=-1,x=0,x=+1$ и $y=-1,y=0,y=+1$ соответственно). Получается, что эти 9 точек не достаточны для однозначного определения кубической кривой, так что, по меньшей мере в вырожденном случае, утверждение имеет место.

Примечания

Weisstein, Eric W. "Cramér-Euler Paradox." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/Cramer-EulerParadox.html
Maclaurin, 1720.
Tweedie, 1891, с. 87–150.
Struik, 1969, с. 182.
Tweedie, 1915, с. 133–151.
Euler, 1750, с. 219-233.

Литература

Colin Maclaurin. Geometria Organica. — London, 1720.
Charles Tweedie. V.—The "Geometria Organica" of Colin Maclaurin: A Historical and Critical Survey // Transactions of the Royal Society of Edinburgh. — 1891. — Январь (т. 36, вып. 1-2). — doi:10.1017/S0080456800004932.
Charles Tweedie. A Study of the Life and Writings of Colin Maclaurin // The Mathematical Gazette. — 1915. — Т. 8, вып. 119. — .
Struik D. J. A Source Book in Mathematics, 1200-1800. — 1969. — ISBN 0674823559.
Euler L. Sur une contradiction apparente dans la doctrine des lignes courbes. // Mémoires de l'Académie des Sciences de Berlin. — 1750. — Т. 4.

Ссылки

Ed Sandifer "Cramer’s Paradox"
Cramer's Paradox at MathPages

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[Weisstein-1] Weisstein, Eric W. "Cramér-Euler Paradox." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/Cramer-EulerParadox.html

[_4eda8e3170ce2e0d-2] Maclaurin, 1720.

[_8605f2f0afec67df-3] Tweedie, 1891, с. 87–150.

[_73db1168460b3159-4] Struik, 1969, с. 182.

[_63bd228c509a7e57-5] Tweedie, 1915, с. 133–151.

[_4d1c6c362034e7a4-6] Euler, 1750, с. 219-233.