Aide SVP

On a a,b x y des entiers relatifs tq a>b^2 et (ax)^2 + 2abxy+(b^2+1)y^2>b^2+1

1-démontrer que a|x|>b^2+1
2-en déduire x=y=0

C'est faux, si x = y = 0, alors 0 > b^2 + 1 et donc -1 > b^2.. contradiction.