soit (x;y)€Q et aussi "x+racine2.y €Q"
[tex]x + \sqrt{2}y[/tex]
m.q cette equation est implique a y=0
​