http://d.hatena.ne.jp/yoshitake-h/20070709#p3 http://d.hatena.ne.jp/yoshitake-h/20070920#p2 定理 複素数係数の任意の1次以上の多項式 は複素数根をもつ． 証明1 根が存在しないとすると， とすると， より，0"> が存在して， よって， 矛盾．// 証明2 …

次元公式．