征解问题[16] 递推数列

设\(r\)为正整数,定义数列如下:\(a_1=1\)且\[a_{n+1}=\dfrac{na_n+2(n+r)^{2r}}{n+2},n=1,2,\cdots,\]求证:\(a_n\in\mathcal N\).

此条目发表在问题征解分类目录。将固定链接加入收藏夹。

征解问题[16] 递推数列》有4条回应

  1. Oloid说:

    由已知可得$(n+2)a_{n+1}=na_{n}+2(n+1)^{2r}$,所以
    $(n+1)(n+2)a_{n+1}=n(n+1)a_{n}+2(n+1)^{2r+1}$,
    构造新数列$\{b_{n}\}$,其中$b_{n}=n(n+1)a_{n}$,则$b_{1}=2$,
    以及$b_{n+1}-b_{n}=2(n+1)^{2r+1}$,所以
    $b_n=b_1+\sum\limits_{k=1}^{n-1}(b_{k+1}-b_{k})=2(1+2^{2r+1}+3^{2r+1}+\cdots+n^{2r+1})$
    因此$b_n\in\mathbb{N}$,以及
    $\begin{align*}
    b_{n}&=2n^{2r+1}+\sum\limits_{k=1}^{n-1}\bigg[k^{2r+1}-(n-k)^{2r+1}\bigg]\\
    &=2n^{2r+1}+\sum\limits_{k=1}^{n-1}\bigg[n^{2r+1}-
    \binom{2r+1}{1}n^{2r}k+
    \binom{2r+1}{2}n^{2r-1}k^2-\cdots+
    \binom{2r+1}{2r}n\cdot\,\!k^{2r}\bigg]\\
    \end{align*}$
    所以$n\mid{b_{n}}$
    又因为
    $\begin{align*}
    b_{n}&=\sum\limits_{k=1}^{n-1}\bigg[k^{2r+1}+(n+1-k)^{2r+1}\bigg]\\
    &=\sum\limits_{k=1}^{n-1}\bigg[(n+1)^{2r+1}-
    \binom{2r+1}{1}(n+1)^{2r}k+
    \binom{2r+1}{2}(n+1)^{2r-1}k^2-\cdots+
    \binom{2r+1}{2r}(n+1)k^{2r}\bigg]\\
    \end{align*}$
    所以$\,(n+1)\mid{b_{n}}$,故$\,n(n+1)\mid{b_{n}}$,
    从而原命题得证。

  2. Avatar photo Xu Jingyi说:

    请问这个\(r\) 是怎么确定的?当 \(r=2\) 时 \(a_2=\dfrac{163}{3}\notin \mathbb{N}\).

    (感觉本站公式渲染略慢……用的什么插件呢?)

发表回复