注意到,对所有 都能成立
所以
已知 , 则首先有
记矩阵
记 副对角线上方(不包括副对角线)的元素之和为 则不难得到
不难发现 副对角线下方(不包括副对角线)的元素之和大于 ,因此,若记 所有元素之和为 ,则有 即
于是
由 的泰勒展开,有
因此