クラメールのパラドックスとは？わかりやすく解説

クラメールのパラドックス (Cramer's paradox) とは、任意の平面代数曲線を一意に決定する点の個数に関するパラドックスである。最初に提唱したのはコリン・マクローリンとされるが、その方面での研究を行ったスイスの数学者ガブリエル・クラメールの名が冠されている。

パラドックスの内容

9個の点で交わる三次曲線。この図からは、9点では三次曲線を定めるのに不足であるように思われる。赤の曲線は (x³ - x) - 10(y³ - y) = 0 で、青の曲線は -10(x³ - x) + (y³ - y) = 0 である。

例えば、2点を通る一次曲線（直線）は一意に定まり、5点を通る二次曲線は一意に定まる。そこで、一般に n 次曲線は何個の点を与えれば一意に定まるか、という問題が考えられる。少しの考察からは、矛盾する次のふたつの結論が得られる。

平面代数曲線は Ayⁿ + (B + Cx) y^n-1 + (D + Ex + Fx²) y^n-2 + (G + Hx + Jx² + Kx³) y^n-3 + etc. = 0 と書けるため、係数をすべて求めるためには n (n + 3)/2 個の方程式が必要となる^[1]。つまり、n (n + 3)/2 個の点が n 次の平面代数曲線を一意に決定するであろう。
二つの n 次の平面代数曲線において、n² 回交わることができるものが存在する。つまり、これらの n² 個の点を通る曲線は少なくとも2本存在する。したがって、これら一方の曲線を決定するためには、これらの n² 個の点では十分でなく、それより多くの点が必要であろう。

例えば、任意の3次平面代数曲線を一意に決定するためには、前者に従えば9個の点で十分であるが、後者に従えば9個より多くの点を必要とする曲線が存在する。

現代からすれば、これはパラドックスではなく、別の条件が必要となることが容易にわかる。数学史上においては、レオンハルト・オイラーによって解決された^[2]。

例および解釈

次の9点を通る三次曲線を求めよう。

(0, 0), (0, 1), (0, -1), (1, 0), (1, 1), (1, -1), (-1, 0), (-1, 1), (-1, -1)

三次曲線の方程式を Ay³ + (B + Cx) y² + (D + Ex + Fx²) y + (G + Hx + Jx² + Kx³) = 0 とおくと、係数は次の連立方程式を満たす必要がある。

${\begin{pmatrix}0&0&0&0&0&0&1&0&0&0\\1&1&0&1&0&0&1&0&0&0\\-1&1&0&-1&0&0&1&0&0&0\\0&0&0&0&0&0&1&1&1&1\\1&1&1&1&1&1&1&1&1&1\\-1&1&1&-1&-1&-1&1&1&1&1\\0&0&0&0&0&0&1&-1&1&-1\\1&1&-1&1&-1&1&1&-1&1&-1\\-1&1&-1&-1&1&-1&1&-1&1&-1\\\end{pmatrix}}{\begin{pmatrix}A\\B\\C\\D\\E\\F\\G\\H\\J\\K\\\end{pmatrix}}=\mathbf {0}$

[1]

[2]

クラメールのパラドックスとは？ わかりやすく解説