由x∈(π/2,π)可推出：cosx=0
又因为│cosx-cosy│=cosx-cosy或cosy-cosx
所以推出:│cosx-cosy│=|cosy|-cosx=cosy-cosx 推出cosy>0>cosx>-cosy
所以cosx+cosy>0
√(cosx+cosy)^2=cosx+cosy