Olá, primeiro suponha a par a = 2k , assim 3^{2k} - 1 = 2b^2 \ \Rightarrow \ (3^k - 1)(3^k + 1) = 2b^2 . como {\rm mdc}(3^k - 1, \, 3^k + 1) = 2 , então um fator 2 de um cancela o 2 em 2b^2, como nenhnum outro fator divide ambos os termos, teremos que um deles é um quadrado p...
