Es existiert keine Lösung mit 3 ∣ z, denn angenommen 3 ∣ z, dann folgt 3 ∣ 153−z2=−2n Widerspruch.
Im Folgenden sei deshalb stets 3∤z. Es kann des Weiteren keine Lösung mit ungerade n existieren, denn angenommen n=2k+1, dann ist z2≡1mod(3) 2n=22k+1≡2mod(3) ⟹z2−2n≡1−2≡2≡0≡153mod(3) Widerspruch.
Also bleibt nur der Fall, dass n gerade ist. Sei deshalb n=2k: z2−22k=(z−2k)(z+2k)=3⋅3⋅17=153
Es gilt z−2k<z+2k und somit bleiben 3 Gleichungssysteme:
z−2k=1,z+2k=153⟹2z=154⟹z=77⟹2k=153−77=76 Hier gibt es keine Lösung, da 76 offensichtlich keine 2er Potenz ist.
z−2k=3,z+2k=51⟹2z=54⟹z=27⟹2k=51−27=24 Hier auch nicht.
z−2k=9,z+2k=17⟹2z=26⟹z=13⟹2k=17−13=4 Hier dann die einzige Lösung: z = 13, n = 4.