证明了下列定理：设A、B分别为图G1＝（V1，E1）与G2＝（V2，E2）的邻接矩阵，且|V1|=|V2|=n，则图G1和G2同谱的充分必要条件是tr(A^k)=rt(B^k),k=1,2，…，n......