Q2 Matemática  (Lusophon Mathematical Olympiad 2020)

a) Encontre um(s) par(es) de inteiros $(x,y)$ tais que: $y^2=x^3+2017$ b) Prove que não existem inteiros $x$ e $y$, com $y$ não divisível por $3$, tal que: $y^2=x^3-2017$