对于对称方阵A,如有特征解λ1对应特征向量p1,特征解λ2对应特征向量p2,根据特征向量的定义,有:
A * p1 = λ1 * p1 ①
A * p2 = λ2 * p2 ②
如p1和p2正交,则必有p1' * p2 = 0,欲证明此式,可构造非零表达式常数K,使得K * (p1' * p2) = 0,而因λ1和λ2是不同的特征解,即λ1 != λ2,故K式可为λ2 - λ1,下面来构造此式:
① 左乘p2',得:
p2' * A * p1 = λ1 * p2' * p1 ③
②左乘p1',得:
p1' * A * p2 = λ2