>>124
行列Aを固定して行列Xを変数と思う。
F(A+X)-F(A)をＸの線形関数で近似したものがＦの（Ａにおける）微分
すなわち
F(A+X)-F(A)＝（Ｘの線形関数）＋（|X|より0に収束するのが早い項）
と表せた時、↑の関数がＦの（Ａにおける）微分になる
今
F(A+X)-F(A)＝（ＡＸ^t＋ＸＡ^t）＋（ＸＸ^t）
であるが、前半の括弧はＸの線形関数で
後半はＸの二次式であるので、X→0のとき、XX^t/|X|→0
具体的には
Ｘ=(x_ij)とかくと、|X|=Σ[i,j]√(X_ij)^2に対して
XX^t=x_ijの二次式　なので。