11
$\开始组$

$3^n-2^m=\pm 41$对于整数$n$和$m$是不可能的。如何证明?

$\端组$
9
  • $\开始组$ 你试过多少次同余?9型怎么样? $\端组$ 评论 2010年6月29日14:58
  • 6
    $\开始组$ Levi-ben-Gerson($\approx1320$)对整数形式的方程$3^n-2^m=\pm1$进行了完全求解。考虑模4和3(或9),你自己做这件事有什么困难?如果你不说明理由,也不指明方法,这看起来是一个家庭作业问题。 $\端组$ 评论 2010年6月29日14:59
  • 2
    $\开始组$ 瓦迪姆:如果n是正偶数,并且m与2模6(但不等于2)同余,那么3^n-2^m与+41模8和模9同余。所以我不认为“模8和模9就足够了”。 $\端组$ 评论 2010年6月29日15:36
  • 2
    $\开始组$ 如果m和n是偶数。。。好吧,任何数学家都知道下一步该做什么。 $\端组$ 评论 2010年6月29日15:42
  • 2
    $\开始组$ 如果n和m都是偶数,那么41是两个平方的差,这是因子分解。 $\端组$ 评论 2010年6月29日15:44

2个答案2

重置为默认值
24
$\开始组$

同余$3^n-2^m\equiv41\pmod{60}$没有解。

同余$3^n-2^m\equiv-41\pmod{72}$没有解。

$\端组$
7
  • 6
    $\开始组$ 很不错的!是否存在这样一个整数$t$,即$3^n-2^m=t$在非负整数$m,n$中没有解,但对于任何$n$,这不能通过如上所述减少方程模$n$来证明?我想是这样的(数论对于这种技术来说太难了),但如果能知道一个明确的例子就好了! $\端组$ 评论 2010年6月29日19:37
  • 6
    $\开始组$ 凯文的问题引起了我的兴趣。所以我想知道这些模是否有什么特殊之处。结果是$3^n-2^m\equiv-41$不符合模601(然后在6553处再次出现),而$3^n-2^m\ equiv-41$不符合模数1321。所有这些模都是素数(因为这是我限制搜索的)。似乎如果我们找到一个素数,其中2和3的订单量都相对较小,那么我们达到$t$的可能性就会很小。 $\端组$ 评论 2010年6月29日21:16
  • 5
    $\开始组$ @迈克尔,你昨天做了模72!请参阅上面您对我的评论。因为72美元=8美元,而不是9美元(我相信)。模60不是那么简单,Max的答案非常好。(在梦中,我开始考虑在日志中应用线性形式。:-) $\端组$ 评论 2010年6月30日0:35
  • 4
    $\开始组$ @凯文:我建议你把你的疑问变成一个新问题。这样会得到更多的关注,我认为这是理所当然的。 $\端组$ 评论 2010年6月30日7:48
  • 1
    $\开始组$ @皮特:完成:mathoverflow.net/questions/30031/… $\端组$ 评论 2010年6月30日10:39
15
$\开始组$

作为解决这个问题的一个有价值的提示,我考虑从我关于初等数论的讲座中摘录以下内容。

定理(约合1320美元;列维·本·格尔森1288-1344)。方程式$$(1) \quad 3^p-2^q=1$$$$(2) \四2^p-3^q=1$$整数$p,q>1$中没有解,除了解根据方程式(1),$p=2$,$q=3$。

证明。(1) 如果$p=2k+1$,则$$2^q=3^p-1=3\cdot9^k-1\equiv2\pmod4,$$对于$q>1$,这是不可能的。

如果$p=2k$,则$2^q=3^p-1=(3^k-1)(3^k+1)$表示$3^k-1=2^u$和$3^k+1=2^v$。$2^v-2^u=(3^k+1)-(3^k-1)=2$,我们有$v=2$和$u=1$。这对应于唯一的解决方案$q=u+v=3$和$p=2$。

(2) 如果$q\ge1$,则$3^q+1$不能被~$8$整除。事实上,如果$q=2k$,那么$3^q+1=9^k+1\equiv2\pmod8$;如果$q=2k+1$,则$3^q+1=3\cdot9^k+1\equiv4\pmod8$。因此$p\le2$,因此$p=2$。后者意味着$q=1$这与解决方案不符。

$\端组$

你的答案

单击“发布您的答案”,表示您同意我们的服务条款并确认您已阅读我们的隐私政策.

不是你想要的答案吗?浏览标记的其他问题问你自己的问题.