>>72
> (x+y-4)Ｘ=(xy-3-z^2)Ｅ…(＊)
> (イ)x+y=4のとき
このとき(*)より　xy=3+z^2≧3（∵ｚが実数)
逆にx+y=4かつxy≧3なら　z^2=xy-3を満たす実数ｚをとることができるので題意のような行列は存在する。