[tex](x^2+y^2-2)(x^2+y^2+2xy)+(xy+1)^2=0<=>(x^2+y^2)^2+2xy(x^2+y^2)-2(x^2+y^2)+(xy-1)^2=0<=>(x^2+y^2)^2+2(xy-1)(x^2+y^2)+(xy-1)^2=0<=>(x^2+y^2+xy-1)^2=0=>x^2+y^2+xy-1=0<=>(x+y)^2=xy+1=>\sqrt{xy+1}=x+y[/tex]
ma x,y là số hữu tỉ => x+y là số hữu tỉ => đpcm