代数学の基本定理（だいすうがくのきほんていり、）は「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」 という定理である。一般に実数係数の代数方程式が実数の範囲内に解を有するとは限らないが、"x" + 1 というただ 1 つの多項式の根（虚数単位）を実数体に付け加えると、どんな代数方程式でもその体系内で解ける。この定理の主張は、因数定理などを用いて帰納的にという事実を導くので、このことを指して代数学の基本定理と呼ぶこともある。とくに、どのような複素係数多項式であっても、それを複素数係数の一次式の冪積に分解できる。すなわち、体論の言葉で言えば「複素数体は代数的閉体である」 。17世紀前半にアルベール・ジラールらによって主張され、18世紀の半ばからダランベール、オイラー、ド・フォンスネ、ラグランジュ、ラプラスらが証明を試みた。証明は洗練されていったがどれも不完全なものであった。1799年にガウスが学位論文でそれまでの証明の不備を指摘し最初の完全な証明を与えた。後年ガウスはこの定理に3つの異なる証明を与えた。現在ではさらに多くの証明が知られている。最もよく知られている初等的な証明は、次のようにして行う。これで証明が終わる。複素解析的な方法を用いる証明法としては、リウヴィルの定理を用いる方法と、ルーシェの定理を用いる方法が有名である。以下にリウヴィルの定理を用いる証明の概略を示す（ルーシェの定理を用いる証明については、ルーシェの定理#代数学の基本定理の証明を参照）。を最高次数の係数が 1 の任意の"n"次複素数係数多項式とする。複素平面上で "f"("z") が零点を持たないと仮定すると、"g"("z") = 1/"f"("z") と置けば "g"("z") は複素平面全体で正則かつ有界であり、リウヴィルの定理から "g"("z") は定数となり、当然 "f"("z") も定数となるが、これは "f"("z") の形と矛盾する。従って、"f"("z") は複素平面上で少なくとも1つの零点を持つ。

出典:wikipedia