Olá... Estava pensando na questão da OBM N2 Terceira Fase:
x^3-y^3 = 3(x^2-y^2) Encontrei como resultado os pares ordenados: (0,3) e (2,-1) Usei fatoração e lei do cancelamento. Porém... pensei no seguinte: Há como provar que estes são os únicos pares ordenados, com x e y inteiros, possÃveis que são soluções da questão?