Bourbaki marks this one as harder than the rest.
令X=(ξij)为阶n之平方矩阵超过交换域K;令H为{1,n}的子集,其中p元素和H′是{1,n}中H的补集;假设对于指标 h∈H,k∈H′ 中的每个有序对,
i∑ξihξik=0. 证明,对于
{1,n} 和
p 元素的所有子集
L,M,
ρM′,M′det(XL,H)det(XM′,H′)−ρL,L′det(XM,H)det(XL,H′)=0. (将
X中指标
h∈H的列
xh视为
E=Kn中的向量,并将指标
k∈H′中的列
xk∗视为向量 in
E∗ 并证明
(n−p) 形式
xH′∗ 与
ϕp(xH) 成比例。)