将递归引入数列并尝试探索素数

最新推荐文章于 2024-10-10 22:59:02 发布

Exbot

最新推荐文章于 2024-10-10 22:59:02 发布

阅读量198

点赞数

文章标签：算法

本文链接：https://blog.csdn.net/realcfuture/article/details/103831147

版权

最近在研究算法，经常接触数学，学习过程中偶然产生了把递归引入数列的想法。
尝试探索了一下得出此文。

命题(1)

对于任意一个数列{ $a_{n}$ }，如果{ $a_{n}$ }的通项式存在，
则一定存在另一个数列{ $b_{n}$ }的通项式使得等式
$a_{n} =b_{n} \cdot n+C$
成立。其中 $n$ 为数列序数， $C$ 为一个常数。

证明

设{ $a_{n}$ }为任意一个数列， $C$ 为一个常数， $n$ 为数列序数。
设另一个数列{ $b_{n}$ }的通项式为 $b_{n}=\frac{a_{n}-C}{n}$ 。
由数列序数性质可知 $n$ 为大于0的自然数，
又因为 $C$ 为一个常数，
所以如果{ $a_{n}$ }的通项式存在，则{ $b_{n}$ }的通项式也一定存在。
将 $b_{n}=\frac{a_{n}-C}{n}$ 代入等式 $a_{n} =b_{n} \cdot n+C$ 右边，
$a_{n}=\frac{a_{n}-C}{n} \cdot n+C=a_{n}$
显然成立。
得出结论(1)：命题(1)为真命题。

上面的证明是不是感觉很无聊，像在说废话 ╯▽╰
说人话就是一个数列不光可以用自己的通项式来表达，还可以用另一个数列的通项式乘以 $n$ 再加个常数 $C$ 来表达。
为了方便使用，下面起了一些名字。
起这些名字的想法是通过下面一串等式来的：
$a_{n}$
$=(b_{n}) \cdot n+C_{b}$
$=((c_{n}) \cdot n+C_{c}) \cdot n+C_{b}$
$=(((d_{n}) \cdot n+C_{d}) \cdot n+C_{c}) \cdot n+C_{b}$
$=((((e_{n}) \cdot n+C_{e}) \cdot n+C_{d}) \cdot n+C_{c}) \cdot n+C_{b}$
。。。

定义

对于2个给定的数列{ $a_{n}$ }和{ $b_{n}$ }，
若它们的通项式都存在，
且使等式 $a_{n} =b_{n} \cdot n+C$ 成立，
其中 $n$ 为数列序数， $C$ 为一个常数，
则称 $b_{n} \cdot n+C$ 为数列{ $a_{n}$ }的一阶递归式，
称 $b_{n}$ 为数列{ $a_{n}$ }的一阶递归通项，
称 $C$ 为数列{ $a_{n}$ }的一阶递归常数，
称数列{ $b_{n}$ }为数列{ $a_{n}$ }的一阶递归数列。

已经有通项式了还要递归式干嘛呢 ⊙_⊙
多少还是有些不一样的。
起码它把数列拆解成了可变与不可变两部分。
$b_{n} \cdot n$ 这一部分随序数而变化，而 $C$ 是常数不会有变化。
下面就用它来试着做点什么(ง •_•)ง

尝试探索素数数列

假设(1)：素数数列{ $a_{n}$ }通项式存在，
由结论(1)可知存在另一个数列{ $b_{n}$ }的通项式使得等式 $a_{n}=b_{n} \cdot n+C$ 成立，
其中 $n$ 为数列序数， $C$ 为一个常数。
可知 $b_{n} \cdot n+C$ 即为素数数列{ $a_{n}$ }的一阶递归式。

假设(1.1)： $C = 0$ ，则得到 $b_{n} \cdot n=a_{n}$
此处假设的编号1.1表示该假设建立在假设(1)基础上，下面依此类推
- 由数列序数性质和素数性质可得结论(1.1.1)：数列{ $b_{n}$ }除第一项为整数2以外，其他项都为分数。
- 此处结论的编号1.1.1表示该结论建立在假设(1.1)基础上，下面依此类推
假设(1.2)：数列{ $b_{n}$ }每一项均为整数，则结合结论(1.1.1)可得 $C\neq 0$ ，且显见 $C$ 为整数。
结论(1.1.1)是说如果 $C = 0$ ，数列{ $b_{n}$ }除第一项外各项都必须是分数。
所以假设 $b_{n}$ 为整数的话， $C$ 就一定不能是0了。
再看一眼 $b_{n} \cdot n+C$ ，明显 $b_{n}$ 是整数的话C也必须是整数，
不然怎么得出素数来呢 ˋ▽ˊ
- 设 $c=\left| C\right|$ ，可知 $c$ 为自然数，且 $c > 0$
- 当 $n = c$ 时， $b_{c} \cdot c+C=a_{c}$
- 将 $c=\left| C\right|$ 代入，得到 $a_{c}=C\cdot(1\pm b_{c})$
- 由素数及其数列的性质可推出： $C=\pm 1$
- 这里取了素数数列的第 $c$ 项 $a_{c}$ 。
  素数数列每一项的数值都大于其序数，如2>1，3>2，5>3。。。
  所以 $a_{c}>c\geq C$ 。
  又因为 $C$ 和 $(1\pm b_{c})$ 都是整数，
  所以由素数性质可知 $C=\pm 1$ 。
- 当 $n = 7$ 时， $b_{7} \cdot 7\pm 1=17$
- 与假设(1.2)产生矛盾，得出结论(1.2.1)：假设(1.2)不成立。
- 昨天推到 $C=\pm 1$ 就结束了。
  晚上睡觉躺在床上想这个结论，
  突然发现这不等于说任意一个素数 $\pm 1$ 后就能被它的序数整除吗？
  赶紧起来验证。结果取第7个素数是17，发现了矛盾。