>x,yが実数のときでも
> AB=CDならば、A=Cのとき、B=Dとなる
から(2)の実数解はx=1,y=0のみということだよね?

実数解ではなく、
有理数解はx=1,y=0のみということです。