直接用复Schur分解的证法过一遍就行了
取一个实的单位特征向量x张成正交阵Q,然后对Q^TAQ的右下角用归纳可以写一下么。。。。拜托啦不是写给你了吗，看第二行