Korzystając z metody indukcji udowodnij, że dla wszystkich liczb całkowitych n, takich, że n>=3 istnieją liczby całkowite x, y spełniające równanie:
\[7x^2+y^2=2^n\]
Może podzielić dowód na:
a) parzyste n
a wtedy rozwiązania to \(x=0 \wedge y=2^k \wedge k \in \nn _+\)
b) nieparzyste n
a wtedy rozwiązania to \(x=y=2^l \wedge l \in \nn\)