作者hau (小豪)
看板Math
标题[中学] 可能与数论或多项式有关的习题
时间Fri Sep 25 00:12:45 2020
https://imgur.com/a/kxXbs0C
如上图，
将其想成 2^2 + 2^(t+2) + 2^(2t) = ( 2 + 2^t )^2 ，其中 t 为正整数
不难看出 n 有两解 7,16
(或用其它方法也可看出)
另外，不难看出 7 是 n 的最小值，问题是：「能证明 16 是 n 的最大值吗？」
(这题有简答 23)
从简答来看，请问如何证明 16 是 n 的最大值？
--
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 112.104.11.89 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1600963968.A.DD6.html
1F：推 LPH66 : 可以简单证得大於 16 的偶数都不是解 09/25 02:34
2F：→ LPH66 : 2^(2k) + 1028 < (2^k + 2)^2 化简得 2^k > 256 09/25 02:35
3F：→ LPH66 : 所以 k > 8 (即偶数 n > 16) 不是解 09/25 02:36
4F：→ LPH66 : 奇数我就不确定要怎麽做了... 09/25 02:36
5F：→ hwanger : 7和16似乎就是唯二的解(至少在n从1到一百万是如此) 09/25 08:34
6F：推 hwanger : 不妨就假设n=m+2>10 则原问题就变成问2^m+2^8+1何时 09/26 12:24
7F：→ hwanger : 是完全平方数 就考虑是完全平方数的情况 则我们可以 09/26 12:26
8F：推 hwanger : 令2^m+2^8+1=(k*2^8+h)^2 其中k为非负整数 而h是介 09/26 12:30
9F：推 hwanger : 於0到255之间的整数 因为此数除以8余1 则h只能是1, 09/26 12:32
10F：→ hwanger : 129,127,255这四种可能 09/26 12:33
11F：→ hwanger : typo: 此数除以2^8余1才对 09/26 12:36
12F：→ hwanger : Case 1. 若h=1 则2^m+2^8+1=(k^2)*2^16 + k*2^9 + 1 09/26 12:37
13F：→ hwanger : 由二进制的唯一性 我们得到矛盾 09/26 12:38
14F：→ hwanger : Case 2. 若h=129 则2^m+2^8+1= 09/26 12:41
15F：→ hwanger : (2^9)*k*[k*2^7+2^7+1] + 2^14 + 2^8+1 其中包含k的 09/26 12:43
16F：推 hwanger : 那串因二进制的唯一性只能为0 此时得m=14 09/26 12:47
17F：→ hwanger : Case 2. 若h=127 则2^m+2^8+1= 09/26 12:48
18F：推 hwanger : [(2^7*k + 2^7 - 1)*k + 31]*(2^9)+ 2^8 + 1 09/26 12:56
19F：推 hwanger : 先停一下 XD 09/26 13:06
20F：推 hwanger : 这个case突然卡住了 先做另一个case XD 09/26 13:15
21F：→ hwanger : Case 3. 若h=255 则2^m+2^8+1= 09/26 13:16
22F：→ hwanger : (2^9)*[(2^7)*k^2+255k+255] + 1 则由二进制的唯一 09/26 13:17
23F：→ hwanger : 性 这个case也是矛盾 09/26 13:18
24F：推 hwanger : Case 2好像也有点卡卡的 冏 09/26 13:38