行列X=[[x,z],[z,y]](←行ごと)
が条件
X^2-4X+3E=〇
を満たすとき、このようなx、yを座標とする点(x,y)が存在する範囲を図示せよ。ただし、行列の成分は実数とする。


H・Cの定理より
X^2=(x+y)X-(xy-z^2)E
これを与式に代入して
(x+y-4)X=(xy-3-z^2)E…(*)
(ア)x+y≠4のとき
(*)はX=kEと表せるので、与式に代入してkを求めると
k=1、3
よって(x,y)=(1,1)、(3,3)
(イ)x+y=4のとき


今この段階でつまづいています。
(イ)のときzが入ってきてしまうので扱いきれません。
方針自体おかしいのでしょうか?
ご指導よろしくお願いします。