推 LPH66 : 可以簡單證得大於 16 的偶數都不是解 09/25 02:34
→ LPH66 : 2^(2k) + 1028 < (2^k + 2)^2 化簡得 2^k > 256 09/25 02:35
→ LPH66 : 所以 k > 8 (即偶數 n > 16) 不是解 09/25 02:36
→ LPH66 : 奇數我就不確定要怎麼做了... 09/25 02:36
→ hwanger : 7和16似乎就是唯二的解(至少在n從1到一百萬是如此) 09/25 08:34
推 hwanger : 不妨就假設n=m+2>10 則原問題就變成問2^m+2^8+1何時 09/26 12:24
→ hwanger : 是完全平方數 就考慮是完全平方數的情況 則我們可以 09/26 12:26
推 hwanger : 令2^m+2^8+1=(k*2^8+h)^2 其中k為非負整數 而h是介 09/26 12:30
推 hwanger : 於0到255之間的整數 因為此數除以8餘1 則h只能是1, 09/26 12:32
→ hwanger : 129,127,255這四種可能 09/26 12:33
→ hwanger : typo: 此數除以2^8餘1才對 09/26 12:36
→ hwanger : Case 1. 若h=1 則2^m+2^8+1=(k^2)*2^16 + k*2^9 + 1 09/26 12:37
→ hwanger : 由二進制的唯一性 我們得到矛盾 09/26 12:38
→ hwanger : Case 2. 若h=129 則2^m+2^8+1= 09/26 12:41
→ hwanger : (2^9)*k*[k*2^7+2^7+1] + 2^14 + 2^8+1 其中包含k的 09/26 12:43
推 hwanger : 那串因二進制的唯一性只能為0 此時得m=14 09/26 12:47
→ hwanger : Case 2. 若h=127 則2^m+2^8+1= 09/26 12:48
推 hwanger : [(2^7*k + 2^7 - 1)*k + 31]*(2^9)+ 2^8 + 1 09/26 12:56
推 hwanger : 先停一下 XD 09/26 13:06
推 hwanger : 這個case突然卡住了 先做另一個case XD 09/26 13:15
→ hwanger : Case 3. 若h=255 則2^m+2^8+1= 09/26 13:16
→ hwanger : (2^9)*[(2^7)*k^2+255k+255] + 1 則由二進制的唯一 09/26 13:17
→ hwanger : 性 這個case也是矛盾 09/26 13:18
推 hwanger : Case 2好像也有點卡卡的 冏 09/26 13:38