令K为两个不定式中有理函数K(U,V)的域和域的f=g/h元素,其中g和h是K[U,V]的两个互质多项式。证明在有理数函数的域中
K(X1,Y1,…,Xn,Yn) 在
2n 中不确定行列式
det(f(Xi,Yj)) 等于:
(i,j∏h(Xi,Yj))−1V(X1,…,Xn)V(Y1,…,Yn)F(X1,Y1,…,Xn,Yn) 其中 F 是
K[X1,Y1,…,Xn,Yn] 中的多项式,
V(X1,…,Xn) 是范德蒙德行列式 (代数、章 111、§ 6, no. 4)。考虑
f=1/(U+V)(“库西恒等式”)的特殊情况。