方程式

初等数学で扱う方程式の典型は、未知数 ${\displaystyle x}$ を含む

${\displaystyle f(x)=g(x)}$

の形の等式である。これを

${\displaystyle f(x)-g(x)=0}$

と書き換えれば、方程式を解くことは式の零点を求める問題とみなすことができる。とくに多項式によって表されるものは代数方程式と呼ばれ、古くから方程式論の中心的対象であった。^[2][4]

しかし、現代数学において、方程式の対象は数に限られない。未知の対象が関数であれば関数方程式、導関数を含めば微分方程式、積分記号の中に未知関数が現れれば積分方程式となる。また、複数の未知数に対して複数の条件を同時に課す場合には連立方程式または方程式系をなす。^[6]

方程式は、変数の属する範囲を定めて初めて厳密な意味をもつ。たとえば

${\displaystyle x^{2}-2=0}$

は実数の範囲では解をもつが、有理数の範囲では解をもたない。この意味で、方程式は単なる記号列ではなく、ある集合または代数的構造の上で解釈される数学的対象である。^[7]

方程式の歴史は、未知量を文字や記号で表して操作する代数学の歴史と密接に関わる。日本語辞典では、代数学は古くは方程式の解法を主対象とし、その後しだいに代数系一般の研究へと拡張された分野として説明されている。^[5]

近代的な等号記号 ${\displaystyle =}$ は、1557年にロバート・レコードが英語の代数学書で用いたことで知られる。日本語の数学史資料によれば、レコードは二つの平行線ほど等しいものはないという趣旨からこの記号を採用し、その後1631年のハリオットらを経て普及した。^[12]

17世紀には記号代数の整備が進み、等号、不等号、未知量・既知量の記号法が方程式の記述と操作を大きく変えた。こうした記号法の整備は、方程式論を個別問題の解法から一般的理論へ進める基盤となった。^[13]

近世ヨーロッパでは三次方程式および四次方程式の解法が発見され、19世紀には一般五次方程式の可解性の問題を背景としてガロア理論が成立した。これにより方程式論は、計算技法の集積から構造的理論へと展開した。^[4][9]

現代数学では、方程式は単に数の等式にとどまらず、演算記号から作られた項どうしの等しさとして理解されることがある。広島大学の公開講義資料では、代数系を「演算」と「それが満たす性質」によって記述する見方が示され、半群の結合法則

${\displaystyle (g_{1}\circ g_{2})\circ g_{3}=g_{1}\circ (g_{2}\circ g_{3})}$

が無条件等号型の公理の例として扱われている。^[14][15]

この観点では、群・環・体などの代数系は、それらが満たす方程式的条件によって特徴づけられる。したがって方程式の概念は、初等代数学にとどまらず、抽象代数学や普遍代数学においても基本的意義をもつ。^[15]

方程式は、自然現象を定量的に記述するための基本的手段である。たとえば力学では運動の方程式が系の時間発展を記述し、微分方程式は物理学、工学、経済学その他の諸分野で中心的な役割を担う。^[16][3]

また、応用数学においては厳密解の算出だけでなく、解の存在、一意性、安定性、近似解法なども重要な問題となる。^[10]

学校数学において方程式は、未知量を文字で表し、条件を式に定式化し、それを変形して解を求めるという数学的思考を育てる基本題材である。一次方程式、二次方程式、連立方程式は、代数的処理と文章題の定式化の双方を学ぶ中核的内容となっている。^[8][6]

日常語では「勝利の方程式」「成功の方程式」のように、ある結果を導く定型的な要因の組合せを比喩的に方程式と呼ぶことがある。これは数学用語の転用表現であり、厳密な数学的意味での方程式とは異なる。^[1]