分析法证明
可证:(两边平方)(x-y)^2≥(|x|-|y|)^2
可证:(展开)x^2-2xy+y^2≥x^2-2|xy|+y^2
可证:-2xy≥-2|xy|
可证:|xy|≥xy
上式显然成立.即证|x-y|≥||x|-|y||