由于又臭又长的上一篇已经
被喜新厌旧了被看烦了又不能归档，只能重开一个
矩阵的迹
一些基本性质
利用（几个神奇的题）
不存在n阶方阵AB，使得AB-BA=In
证明
好的这是一道yjz老师讲的题有的算子能砸自己的脚
计算trace即得。
方阵A满足AAT=A² 证明A=AT
证明相减得到的矩阵B=0.
证明BBT=0。
证明trace=0................
最后要证tr(ATA-(AT)²)=0。
这并不需要是0矩阵，tr相同就行了。
我们还有tr(AAT)=tr(ATA)呢。
我们有A²，取个转置就有转置的平方了。
我也说服不了自己咋想到的