>>425
|Z|^2=|a*X + b*Y + (1 - x^2 - y^2)^(1/2) |^2
≦(a^2+b^2+1){x^2+y^2+(1-x^2-y^2)}
=a^2+b^2+1