3.4 Double-Sum Relations for Scaled Cofactors 35A
′
and (A
ij
)
′
and the other two are identities:A
′A
= (logA)′
=n
∑r=1n
∑s=1a′
rsArs
, (A)(A
ij
)′
=−n
∑r=1n
∑s=1a′
rsAis
Arj
, (B)n
∑r=1n
∑s=1(fr+gs)arsArs
=n
∑r=1(fr+gr), (C)n
∑r=1n
∑s=1(fr+gs)arsAis
Arj
=(fi+gj)Aij. (D)
Proof. (A) follows immediately from the formula forA
′
in terms of un-scaled cofactors in Section 2.3.7. The sum formula given in Section 2.3.4
can be expressed in the form
n
∑s=1arsAis
=δri, (3.4.1)which, when differentiated, gives rise to only two terms:
n
∑s=1a′
rsAis
=−n
∑s=1ars(Ais
)′. (3.4.2)
Hence, beginning with the right side of (B),
n
∑r=1n
∑s=1a′
rsA
is
Arj
=∑
rA
rj∑
sa′
rsA
is=−
∑
rA
rj∑
sars(Ais
)′=−
∑
s(A
is
)′∑
rarsArj=−
∑
s(A
is
)′
δsj=−(A
ij
)′which proves (B).
∑r∑
s(fr+gs)arsAis
Arj=
∑
rfrArj∑
sarsAis
+∑
sgsAis∑
rarsArj