数学、特に数論において、不定系は未知数の数よりも方程式の数が少ないが、未知数に対する制約(例えば、値が整数であることなど)が付加されている。[ 1 ]現代では、不定方程式はしばしばディオファントス方程式と呼ばれる。[ 2 ] [ 3 ] : iii
2人の裕福な男性を想像すると、線形不定方程式の例が得られます。1人はルビー5個、サファイア8個、真珠7個、金貨90枚を所有し、もう1人は金貨7枚、9枚、6枚、62枚を所有しています。それぞれの宝石の価格(y、c、n)を金貨で求めます。2人とも裕福なので、次のようになります。 バースカラ2世は、未知数の1つ(または一般的にはN-2)に固定整数を割り当てることで、この種の問題に対する一般的なアプローチを示した。その結果、(y, c, n)=(14, 1, 1), (13, 3, 1)のような一連の解が得られる。[ 3 ] : 43
与えられた整数a、b、nに対して、一般的な線形不定方程式は次のようになる。 未知数xとyは整数に限定される。解の必要十分条件は、最大公約数、、 nで割り切れる。[ 1 ]: 11
インドと中国の初期の数学者たちは、整数解を持つ不定線形方程式を研究した。[ 4 ]インドの天文学者アーリヤバタは、現在ではユークリッドの互除法に関連していることが知られている不定方程式を解くための再帰アルゴリズムを開発した。[ 5 ]中国の剰余定理という名前は、不定方程式がこれらのアジアの数学的伝統の中で生まれたという見解に関連しているが、古代ギリシャ人も不定方程式を扱っていた可能性が高い。[ 4 ]
不定方程式に関する最初の主要な研究は、紀元3世紀のディオファントスの『算術』に現れる。ディオファントスは有理数に限定された解を求めたが、 1600年代のピエール・ド・フェルマーの研究は整数解に焦点を当て、単一の解ではなくすべての可能な解を特徴づけるという考え方を導入した。[ 6 ]現代では、不定方程式の整数解はディオファントス方程式の解析と呼ばれるようになった。[ 3 ] : iii
スミス標準形を定義したヘンリー・ジョン・スティーブン・スミスによる最初の論文は、線形不確定系について書かれたものである。[ 7 ] [ 8 ]