[再寄小读者之数学篇](2014-11-14 矩阵的应用: 代数)

Hilbert 零点定理: 设 $bF$ 是一个代数闭域, $L$ 是 $bF[x_1,cdots,x_n]$ 的一个真理想, 则 $$ex exists (a_1,cdots,a_n)inbF^n a f(a_1,cdots,a_n)=0,quadforall fin L. eex$$