Bourbaki marks this one as harder than the rest.
令A为有理数数的交换环包含域Q,令X为A上偶数阶2n≥2的平方矩阵。令L为{1,2,…,2n}的子集{1,2,…,n+1}及其补码L′。显示以下公式(“Redei 的身份”):
(*)
det(XL,L)det(XL′,L′)=H,K∑(−1)rn(n−1)1det(XH,K)det(XH′,K′)
其中H穿过{1,2,…,2n}包含1的n元素子集集合和n子集K集合 L 和 r=Card(H∩L′) 中的元素。 (计算(*)右边的项xσ(1),1xσ(2),2…xσ(2n),2n对于任意置换σ∈S2n的系数,注意,如果H=σ(K),这个系数只能是=0;表明,如果σ(L)=L,它只能是=0。)