In mathematics, Cramer's paradox or the Cramer–Euler paradox is the statement that the number of points of intersection of two higher-order curves in the plane can be greater than the number of arbitrary points that are usually needed to define one such curve. It is named after the Swiss mathematician Gabriel Cramer.
This paradox is the result of a naive understanding or a misapplication of two theorems:
- Bézout's theorem (the number of points of intersection of two algebraic curves is equal to the product of their degrees, provided that certain necessary conditions are met).
- Cramer's theorem (a curve of degree n is determined by n(n + 3)/2 points, again assuming that certain conditions hold).
Observe that for all n ≥ 3, n2 ≥ n(n + 3)/2, so it would naively appear that for degree three or higher there could be enough points shared by each of two curves that those points should determine either of the curves uniquely.
The resolution of the paradox is in two parts. First, Bézout's theorem includes points at infinity, complex points, and multiplicities, so the actual number of finite intersections in the real plane can be less than n2 and even less than n(n + 3) / 2. Second, in certain degenerate cases n(n + 3) / 2 points are not enough to determine a curve uniquely.
It has become known as Cramer's paradox after featuring in his 1750 book Introduction à l'analyse des lignes courbes algébriques, although Cramer quoted Maclaurin as the source of the statement.
No paradox for lines and nondegenerate conics
For first order curves (that is lines) the paradox does not occur, because n = 1 so n2 = 1 < n(n + 3) / 2 = 2. In general two distinct lines L1 and L2 intersect at a single point P unless the lines are of equal gradient (slope), in which case they do not intersect at all. A single point is not sufficient to define a line (two are needed); through the point P there pass not only the two given lines but an infinite number of other lines as well.
Similarly two nondegenerate conics intersect at most at 4 finite points in the real plane, which is fewer than the 32 = 9 given as a maximum by Bézout's theorem, and 5 points are needed to define a nondegenerate conic.
Cramer's example for cubic curves
In a letter to Euler, Cramer pointed out that the cubic curves x3 − x = 0 and y3 − y = 0 intersect in precisely 9 points (each equation represents a set of three parallel lines x = −1, x = 0, x = +1; and y = −1, y = 0, y = +1 respectively). Hence 9 points are not sufficient to uniquely determine a cubic curve, at least in degenerate cases such as these.
- Weisstein, Eric W. "Cramér-Euler Paradox." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/Cramer-EulerParadox.html
- Maclaurin, Colin (1720). Geometria Organica. London.
- Tweedie, Charles (January 1891). "V.—The "Geometria Organica" of Colin Maclaurin: A Historical and Critical Survey". Transactions of the Royal Society of Edinburgh 36 (1-2): 87–150. Retrieved 28 September 2012.
- Struik, D. J. (1969). A Source Book in Mathematics, 1200-1800. Harvard University Press. p. 182. ISBN 0674823559.
- Tweedie, Charles (1915). "A Study of the Life and Writings of Colin Maclaurin". The Mathematical Gazette 8 (119): 133–151. JSTOR 3604693.
- Euler, L. "Sur une contradiction apparente dans la doctrine des lignes courbes." Mémoires de l'Academie des Sciences de Berlin 4, 219-233, 1750