如果ab=0, 显然有等号成立，否则：||a|-|b||^2 =|a|^2+|b|^2-2|ab| <=|a|^2+|b|^2-2ab =a^2+b^2-2ab =(a-b)^2 =|a-b|^2所以：||a|-|b||<=|a-b|
