------------恢复内容开始------------
据新闻报道数学天才陶哲轩和3个物理学家研究出一个只用特征值就可以计算矩阵特征向量的公式 我感觉很有趣 这应该能够应用在很多领域中 所以仔细研究了一波.研究公式耗费了我大半天 我把所有的equation都推导了一遍 也给出了一些我的看法 现在把它们总结出来 方便后人参考. 我给出了Cauchy-Binet公式(原文引理1)的更广义形式及其怎么过程 对该公式取特殊条件即可证明引理2.(该引理就是全文的主要结论). 不过相比之下 还是陶哲轩对于引理2得证明更简洁 虽然没有用到引理1.
我的证明有些地方可能不严谨 欢迎读者批评指正.