>>456
|a|^2-1 = |a+b||a-b|/2
の式より、|a|^2 -1 ≧ 0