(|Z|+|W|)^2-|Z+W|^2
=(|Z|^2+|W|^2+2|Z||W|)-(|Z|^2+|W|^2+2ZW)

2|Z||W|≧2ZWだから成り立つということでいいのでしょうか？