バーチの定理

数学において、バーチの定理（テンプレート:Lang-en-short）とは、奇数次形式における 0 の表現可能性に関する定理である。定理の名前はブライアン・バーチにちなむ。

定理の主張

K を代数体、k, l, n を自然数、r₁, . . . ,r_k を奇数の自然数とし、f₁, . . . ,f_k を n 変数で次数がそれぞれ r₁, . . . ,r_k の K 係数斉次多項式とする。ここで、

$n\ge \psi (r_1,\dots ,r_k,l,K)$

を満たすならば、Kⁿ の l 次元部分ベクトル空間 V が存在して

$f_1(x)=\cdots =f_k(x)=0,\mathrm{\forall }x\in V$

を満たすような、ある数 ψ(r₁, . . . ,r_k,l,K) が存在する。

注意

テンプレート:ウィキプロジェクトリンク テンプレート:ウィキポータルリンク 定理の証明は形式 f₁, . . . ,f_k の最大次数についての帰納法による。証明に本質的なのは定理の次の特別な場合であり、これはテンプレート:仮リンク を適用して証明できる： n が十分大きく r が奇数であれば、方程式

$c_1{x}_1^r+\cdots +c_n{x}_n^r=0,c_i\in \mathbb{Z},i=1,\dots ,n$

は「すべてが 0」ではない整数解 x₁, . . . ,x_n を持つ。

r が奇数という制限は必要である。なぜならば正定値二次形式のように偶数次形式では、原点でしか 0 の値を取らないことがあるからである。