50 3. Intermediate Determinant Theory
=−
n
∑q=1n
∑s=1vqysAqs.Similarly,
Bn+1,n+2=+n
∑p=1n
∑s=1upysAps,Bn+2,n+1=+n
∑q=1n
∑r=1vqxrAqr,Bn+2,n+2=−n
∑p=1n
∑r=1upxrApr.Note the variations in the choice of dummy variables. Hence, (3.7.3)
becomes
BA=
n
∑p,q,r,s=1upvqxrys∣
∣
∣
∣
Apr ApsAqr Aqs∣
∣
∣
∣
.
The theorem appears after applying the Jacobi identity and dividing
byA.
Exercises
1.Prove the Cauchy expansion formula forAij, namelyAij=apqAip,jq−n
∑r=1n
∑s=1apsarqAipr,jqs,where (p, q)=(i, j) but are otherwise arbitrary. Those terms in whichr=iorpor those in whichs=jorqare zero by the definition ofhigher cofactors.2.Prove the generalized Cauchy expansion formula, namelyA=Nij,hkAij,hk+∑
1 ≤p≤q≤n∑
1 ≤r≤s≤nNij,rsNpq,hkAijpq,rshk,where Nij,hk is a retainer minor and Aij,hk is its complementarycofactor.