>>281
(2) z=x+yi(x,y:実数)とおいたからxは当然に実数
(3) 複素数z一般においてzz~は非負の実数0だから、wが非負の実数であることは必要条件
逆にw≧0を満たす解があれば、例えばz=√wが元の問題の方程式を満たすので十分条件