(|a| - |b|)^2 >= 0 平方一定非负
=>
a^2 -2|ab| + b^2 >=0
=>
a^2 + b^2 >= 2|ab|
当且仅当|a| = |b|时候取到等号