32n^4-8n²+1=k²
((2n)²-1)²+(2n)^4=k² <>
donc k=1[2n] alors pgcd(k,2n)=1((2n+1)(2n-1))²=(k-(2n)²)(k+(2n)²)
et on a pgcd(k-(2n)²;k+(2n)²) divise pgcd(2k,2(2n)²)=2
pgcd(k-2n;k+2n)=1 car k est impair puisque k=1[2n]
par suite (k-(2n)²) et (k+(2n)²) sont des carrés parfaits.
je termine demain
car je vais aller faire dodo