证明素数数列一个实实在在不疼不痒的性质

命题(2)

不存在一个常数$C$，使得素数数列的任意一项与$C$相加后即可被该项的序数整除。

证明

假设(1)：存在一个常数$C$，使得素数数列{$a_n$}的任意一项与$C$相加后即可被该项的序数$n$整除。
设整数$D=\frac{a_n+C}{n}$，显而易见$C$为整数，且$C\ne 0$。
设$c=\left|C\right|$，可知$c$为大于0的自然数。
当$n=c$时，$D=\frac{a_c+C}{c}$
$\Rightarrow D\cdot \left|C\right|=a_c+C$
$\Rightarrow a_c=C(\pm D-1)$。
因为素数数列每一项的数值都大于其序数。
所以$a_c>c\ge \left|C\right|$。
又因为$C$和$(\pm D-1)$都为整数，
再由素数性质可知$C=\pm 1$。
当$n=7$时，$D=\frac{a_7\pm 1}{7}=\frac{17\pm 1}{7}$与$D$为整数矛盾。
所以假设(1)不成立。
得出结论：命题(2)为真命题。

总结

和《将递归引入数列并尝试探索素数》里面的方法是一样的。
不过这次不是在假设素数通项式存在的前提下了。
而是证明了素数数列一个实实在在不疼不痒的性质 -_-!!