فرض میکنیم $x>1000$ باشد؛ در این صورت داریم:
$4^{x}+4^{1000}+4^{604}=4^{604}(1+4^{396}+4^{x-604})$
از آنجایی که $4^{604}$ مربع کامل است؛ باید عبارت
$4^{396}+4^{x-604}+1$
نیز مربع کامل باشد. حال داریم:
$4^{396}+4^{x-604}+1=m^{2} \Longrightarrow 4^{396}(1+4^{x-1000})=(m-1)(m+1)$
از آنجایی که زوجیت یکسانی برای $m-1$ و
$m+1$
میتوان در نظر داشت فرض میکنیم که
$m-1=2q$
باشد؛ پس داریم:
$4^{396}(1+4^{x-1000})=2q(2q+2) \Longrightarrow 4^{395}(4^{x-1000}+1)=q(q+1)$
حال چون از بین $q,q+1$ تنها یک عدد زوج است؛ حالت های زیر پیش می آید:
1.
$q=4^{395}k \Rightarrow 4^{x-1000}+1=4^{395}k+1,k\text{ has to be an odd number} \Rightarrow k=1,x =1395$
2.
$q+1=4^{395}k,k\text{ has to be an odd number} \Rightarrow q=4^{395}k-1=4^{x-1000}+1 \Rightarrow 4^{395}k=4^{x-1000}+2$
که حالت دوم غیر ممکن است زیرا در طرف راست تساوی عددی وجود دارد که به پیمانه ۴ همنهشت با ۲ است و در طرف دیگر عددی بخش پذیر بر ۴.