附录A 必要的数学证明与计算