同理得 … ⑤ ，于是 … ⑥
因为 所以 … ④
（?）、当 …③，由①得 ,，，
，此时．
（?）、当，则，所以，因为 ，
（二）、再证；由①、②式中关于的对称性，不妨设．则
．
所以
又由 ，得 ．
（一）、先证；因为，，，
… ⑤ ，于是 
… ⑥
所以 
… ④
…③，由①得 ,
，
，
，此时
．
，则
，所以
，因为 
，
；由①、②式中关于
的对称性，不妨设
．则
．
，得 
．
；因为
，
，
，