>>877 (1) >>882

(x+iz)(y+iw) = (xy-zw) + i(xw+yz),

(xx+zz)(yy+ww) = (xy-zw)^2 + (xw+yz)^2,

z=√(1-xx),w=√(1-yy) とおく。