elimination)の1つ。1826年にジョゼフ・フーリエが発見し、1918年に L. L. Dines が再発見し、1936年に TheodoreMotzkin が再々発見した。 以下の手順を繰り返し行い、限量子を除去していく。変数の定義域は実数もしくは有理数。 以下の置き換えを行う。 等式や不等式に
377, Theorem 7.4. ^ Fraleigh & Katz 1967, p. 380, Theorem 7.7. ^ Motzkin, Theodore (1949), “The Euclidean algorithm”, Bulletin of the American Mathematical
{\displaystyle n} が増えるにつれて t 2 ( n ) {\displaystyle t_{2}(n)} は無限大へ発散していくと提起した。TheodoreMotzkin (1951) は t 2 ( n ) ≥ n {\displaystyle t_{2}(n)\geq {\sqrt {n}}} を証明して、予想が正しいことを示した。