卢卡斯数字的出现可能令人惊讶—

卢卡斯数字的出现可能令人惊讶——MathOverflow mathoverflow.net上最近的30个 2024-06-25T00:01:58Z年 https://mathoverflow.net/feeds/question/195207 https://creativecommons.org/licenses/by-sa/4.0/rdf https://mathoverflow.net/q/195207 17 卢卡斯数字的出现可能令人惊讶克拉克·金伯利 https://mathoverflow.net/users/61426 2015年1月29日T17:46:39Z 2015年1月31日17:06:09Z

设$S$是如下定义的多项式集：$0$在$S$中，如果$p$在$S$中，则$p+1$在$S$中，$x\cdot p$在$S$中，因此$S$在几代中“增长”：$g（0）=\｛0\｝$，$g（1）=\｛1\｝$，$g（2）=\｛2，x\｝$，$g（3）=\｛3,2x，x+1，x^2\｝$，依此类推，其中$|g（n）|=2^｛n-1}美元。假设$S^*$是通过用$r=\sqrt{2}$替换$x$从$S$获得的集合，并且只保留每个副本的第一个外观。连续代$G（n）$现在以$\{0\}$、$\{1\}$、$1\{2、r\}$，$\{3,2r，r+1\}$开头，$|G（n，n）|$以$1,1,2,3,4,7,11,18,29，…$开头；也就是说，卢卡斯数从第四任期开始，并持续了30代。有人能证明$|G（n）|=L（n-1）$对于$n\geq 4$（第页）

https://mathoverflow.net/questions/195207/-/195264#195264 三 Aaron Meyerowitz对卢卡斯数字可能令人惊讶的出现的回答阿伦·梅耶洛维茨 https://mathoverflow.net/users/8008 2015-01-30T10:55:03Z 2015年1月30日17:07:50Z

我似乎缺少证据。但这里有一个更精细的推测，可能会得到一个证明。我构造了集合$H（3），H（4），\cdots$，其中$H（n）$有$L_{n-1}$元素，然后在支持的情况下推测，对于所有$n，$H（n=G（n）$$只是为了修正符号，以$F_0$开始的斐波那契数是$0,1,2,3,5，\cdots。$如果没有两个连续的$0$s，则调用二进制序列good。存在长度为$n$的$F_{n+2}$good二进制序列。其中，$F{n}$以$0$开头，$F_{n+1}$以$1开头。$L_1$开头的Lucas数字是$1,3,4,7,11,18，\cdots$以$L_n=F{n-1}+F{n+1}=2F{n-1}+F_n$我们想证明，从$n=3开始，$G（n）$集合的大小为$L_{n-1}.$我将尝试通过关联$G（n）$acode（由字母$a、B$或$C$组成）的每个元素，然后是一个长度为$n-2$的良好二进制序列来实现这一点（但并不完全成功），并添加一个条件，即必须从$A0、B0$或$C1开始。$代码将为每个元素提供一个从$H（3）=G（3）开始的唯一配方。$为了清楚起见，我将调用我构造的集合$H（3）、H（4）、\cdots$，并推测它们与$G（3），G（4），\cdots$相同以下是带有代码的情况$n=3,4,5$。如果你想先得到菜谱，就跳过这个例子（现在）。如果你想猜（简单的）食谱，现在就读它（第页）$H（3）=G（3）=\{\sqrt{2}+1,3,2\sqrt{2]\}$，代码为$\{A0，B0，C1\}$$H（4）=G（4）={2+\sqrt{2}，3\sqrt}2}、2\sqrt{2%+1,4\}$，代码为$\{A01、B01、C10、C11\}$$H（5）=G（5）=\{3+\sqrt{2}，2+2\sqrt}2}$配方在$H（n）$中给定$p$，将$q=p\sqrt{2}$放入$H（n+1）$中，并将$1$附加到$p$代码的末尾，以获得$q.$的代码。如果$p$的代码以$1$结尾，则也将$q'=p+1$放入$H（n+1$（第页）当然，如果$H（n）=G（n）$，那么放在$H（n+1）$中的所有内容要么属于$G（n+1$<区块报价>假设H（n+1）=G（n+1（第页）</blockquote>我会在最后再进一步讨论这个问题（第页）<小时>观察$H（n）$有$F{n-2}$元素，它们的代码以$A0$开头，另一个$F{n-2}$开始$B0$，还有$F{n1}$的代码以$11开头<区块报价>$$2F_{n-2}+F_{n-1}=L_{n-1}$$</blockquote>$H（n）.$中的元素（第页）在构建$H（n）$时，我们从来没有两次得到相同的结果，这是从这个观察结果（一个简单的归纳）得出的：回想一下$L_{n-1}=L_{n3}+L_{n-2}.$（第页）<ul><li>H（n）$中有$L_{n-3}$元素$a+b\sqrt{2}\和$a$odd，这些元素的代码以$0结尾$</li><li>H（n）$中有$L_{n-2}$元素$a+b\sqrt{2}\和$a$even，这些元素的代码以$1结尾$</li></ul><小时>进一步讨论将数字$p=a+b\sqrt{2}$的权重（或长度）定义为$w（p）=m$，如果G（m）中的$p\.$这里$a，b\ge0$，我们将忽略$0,1，\sqrt{2}$和$2.$然后对于$a=2j+1$，我们必须有$w（a+b\sqrt{2]）=w（2j+b\sqlt{2}）+1.$对于$a=2j+2$，我们有$w更小。虽然这很快，但当$w（p）\lt w（q），$时，即使对于$p，q\in\mathbb｛Z｝，它也不是立即的$（第页）这个猜想等于说我们总是有$$w（b+（j+1）\sqrt{2}）\lew（2j+1+b\sqrt}）。$$我实际上推测这是一个强烈的不平等。对于较小的情况，差异是$1$或$2.$然而$w（32+8\sqrt{2}）=11$而$w（15+32\sqrt{2]）=15.$对于$b=33$和$b=34$，结果是$w（b+8\sqrt{2}）=12$而$w（15+b\sqrt}）=16$对于$p=7+11\sqrt{2}$，结果是$w（p）=12$，$w（p\pm1）=w（p\fm\sqrt{2]）=11$和$w（p\pm（1\pm\sqrt}）=10$

https://mathoverflow.net/questions/195207/-/195272#195272 15 迈克尔·斯托尔（Michael Stoll）对卢卡斯（Lucas）数字可能令人惊讶的出现的回答迈克尔·斯托尔 https://mathoverflow.net/users/21146 2015年1月30日12:56:37Z 2015年1月31日17:06:09Z

对于具有非负整数$a$和$b$的形式为$a+b\sqrt{2}$的数，将其长度定义为从零开始获取它所需的最小步骤数，其中允许的步骤为$x\mapstox+1$和$x\mapsto\sqrt{2} x个$.然后问题要求计算给定长度的数字（第页）现在应该很容易通过归纳来显示以下内容：<ul><li>如果$a$是奇数，则最后一步必须是$x\mapsto x+1$（这很清楚）。</li><li>如果$a$是偶数，则最后一步可以是$x\mapsto\sqrt{2} x个$, 除非$a+b\sqrt{2}=2$</li></ul>编辑：这是一个证据。设$\ell（x）$为$x$的长度（第页）<区块报价>引理写入$x=a_0+a_1\sqrt{2}+a_2\sqrt}2}^2+\ldots+a_k\sqrt[2}^k$其中$aj\in\{0,1\}$和$ak=1$（第页）如果$x&gt；\平方{2}$，然后$\ell（x）=k+\#\{j:aj=1\}-（1-a{k-1}）$（第页）</blockquote>证明写$\ell'（x）=k+\#\{j:a_j=1\}-（1-a_{k-1}）$。通过对$x$的归纳证明（所有可能的$x$集合都有自然数的顺序类型）。我们有$\ell（1+\sqrt{2}）=3=\ell'（1+\sqrt{2]）$。假设$x\ge 2$。如果$a_0=1$，则$\ell（x）=\ell$（这需要$0\neq k-1$，以便将$a0$从1到0不影响$a{k-1}$）。如果$a_0=0$，则$\ell（x）\le\ell（x/\sqrt｛2｝）+1=\ell'（x/\sqrt｛2｝）+1=\ell'（x）$，所以我们需要展示$\ell'（x-1）\ge\ell（x/\sqrt{2}）=\ell'“（x）-1$。我们可以假设$x&gt；2美元，自引理的断言为$x=2$。有理部分（表示为$a$$x$的）必须至少为2（必须为正数，否则为$x-1$不是所需的形式，甚至因为$a0=0$）。然后在$x-1$中，$k$保持不变，我们有相同或更多的1在$aj$中，显示$\ell“（x-1）\ge\ell”（x）-1$。（请注意，$a_{k-1}$可以从1更改为0。）否则$k$会变小；则$a=2^m$和$k=2m$（单位：$x$），以及$a=2^m-1$，$k\le 2m-1$以$x-1$表示。因此，我们将$k$至少减少1，但增加1的数量乘以$m-1$。还要注意$a_{k-1}$只能更改如果$k$下降2，则从1到0。所以$\ell'（x-1）\ge\ell'（x）+m-2\ge\ell'（x）-1$和以前一样$\盒子$假设这样，我们可以将数字$a+b\sqrt{2}$排列成一个根树根为零，奇数（表示奇数$a$）只有一个（偶数）子项，而偶数有两个子项，一个奇数，一个偶数。有两个例外：奇数节点$1$有两个子节点$2$和$\sqrt{2}$，偶数节点$\sqrt{2}$只有一个子节点$1+\sqrt}$。因此，对于$n\ge 3$，树的第$n$th层由第$n$层组成通常的斐波那契树（想想兔子）（根为$1$），加在一起Fibonacci树的第（$n-2$）级（根为$1+\sqrt{2}$）。这就给出了距离$n处的节点数$F_n+F{n-2}=L_{n-1}$$从根（根具有级别$1$）（第页）备注：将$\sqrt{2}$替换为$2$给出了一个稍微简单的问题导出斐波那契树（从$1$开始）并给出斐波那奇数。黄金比率$（1+\sqrt{5}）/2$给出序列$（1,2,3,5,8,12,18,25,35,51，\ldot）$（从第1代开始），显然令人满意$a_n=a{n-1}+a{n-3}$表示$n\ge12$。[之前，我声称可以得到斐波那契数，但这是错误的。]如果我们取任何数字$r&gt；我想应该是1$而不是$\sqrt{2}$对于R={mathbbZ}_{ge0}[R]$中任何可被$R整除的$x\$如果足够大，则最短的归零路径是通过$r$除法。对于任何其他$x$，必须通过$x-1$。所以在相关树中，如果我们处于足够高的级别，则节点$x$的$x+1$是在半环$r$中可被$r$整除的有一个子环$rx$和另一个子环节点有两个子节点$x+1$和$rx$。我希望这会导致具有常系数的线性递归，但由于我们正在处理带半环而不带环（在这里我们可以考虑商根据$r$）生成的理想，这一点我并不清楚