Equazione diofantea 2^n=7x^2+y^2

[Santana]

Dimostrare che per ogni $ n \in N-\{0,1,2\} $ l'equazione diofantea

$ 2^n=7x^2+y^2 $

ha una e una sola soluzione con $ x,y $ interi positivi dispari.

[HiTLeuLeR]

...Arthur Engel lo ritiene uno dei problemi più difficili mai assegnati alle Olimpiadi.

[Santana]

...Arthur Engel lo ritiene uno dei problemi più difficili mai assegnati alle Olimpiadi.

Dovrò cercare per bene in rete chi è questo Arthur Engel...

Io trovai l'enunciato del teorema sopra su Mathworld, un risultato non pubblicato di Eulero, la mia (alias carlo23) soluzione qui http://www.matematicamente.it/f/viewtopic.php?t=10780 .