振型参与系数之和为1的证明