|x-y|>=||x|-|y||
两边平方化简得:
x*y<=|x|*|y|
显然,当x,y异号时x*y<|x|*|y|
同号时x*y=|x|*|y|
从而证明了|x-y|>=||x|-|y||