专栏文章

中山诗题

题解参与者 1已保存评论 0

文章操作

快速查看文章及其快照的属性,并进行相关操作。

当前评论
0 条
当前快照
1 份
快照标识符
@minltv0b
此快照首次捕获于
2025/12/02 04:31
3 个月前
此快照最后确认于
2025/12/02 04:31
3 个月前
查看原文
中山诗题
12n+ma=0nb=0mi=0a+b2i(ai)(bi)\begin{aligned} \cfrac{1}{2^{n+m}}\sum^{n}_{a=0}\sum^{m}_{b=0}\sum^{a+b}_{i=0}2i\dbinom{a}{i}\dbinom{b}{i} \end{aligned}
我们提取出 2(n+m1)2^{-(n+m-1)},根据 oi-wiki 二项式推论第十条则有
a=0nb=0mi=0a+bi(ai)(bi)=a=0nb=0mi=1min(a,b)i(ai)(bi)=i=1min(n,m)i(a=0n(ai))(b=0m(bi))=i=1ni(n+1i+1)(m+1i+1)\begin{aligned} \sum^{n}_{a=0}\sum^{m}_{b=0}\sum^{a+b}_{i=0}i\dbinom{a}{i}\dbinom{b}{i} &=\sum^{n}_{a=0}\sum^{m}_{b=0}\sum^{\min(a,b)}_{i=1}i\dbinom{a}{i}\dbinom{b}{i}\\ &=\sum^{\min(n,m)}_{i=1}i \left( \sum^{n}_{a=0}\dbinom{a}{i}\right)\left(\sum^{m}_{b=0}\dbinom{b}{i}\right) \\ &=\sum^{n}_{i=1}i \dbinom{n+1}{i+1}\dbinom{m+1}{i+1} \end{aligned}
我们令 j=i+1,i=j1j=i+1,i=j-1,则有
i=1ni(n+1i+1)(m+1i+1)=j=2n+1(j1)(n+1j)(m+1j)=j=0n+1(j1)(n+1j)(m+1j)+1=j=1n+1j(n+1j)(m+1j)j=0n+1(n+1j)(m+1j)+1\begin{aligned} \sum^{n}_{i=1}i \dbinom{n+1}{i+1}\dbinom{m+1}{i+1} &=\sum^{n+1}_{j=2}(j-1) \dbinom{n+1}{j}\dbinom{m+1}{j}\\ &=\sum^{n+1}_{j=0}(j-1) \dbinom{n+1}{j}\dbinom{m+1}{j}+1\\ &=\sum^{n+1}_{j=1}j \dbinom{n+1}{j}\dbinom{m+1}{j}-\sum^{n+1}_{j=0}\dbinom{n+1}{j}\dbinom{m+1}{j}+1\\ \end{aligned} j=0n+1(n+1j)(m+1j)=(n+m+2n+1)=(n+m+1n+1)+(n+m+1n)\begin{aligned} \sum^{n+1}_{j=0}\dbinom{n+1}{j}\dbinom{m+1}{j} &=\dbinom{n+m+2}{n+1}\\ &=\dbinom{n+m+1}{n+1}+\dbinom{n+m+1}{n} \end{aligned} j(n+1j)=(n+1)(nj1)\begin{aligned} j \dbinom{n+1}{j}=(n+1) \dbinom{n}{j-1} \end{aligned}
k=j1,j=k+1k=j-1,j=k+1,和 oi-wiki 范德蒙德卷积第四条
j=1n+1j(n+1j)(m+1j)=(n+1)j=1n+1(nj1)(m+1j)=(n+1)k=0n(nk)(m+1k+1)=(n+1)(n+m+1n+1)\begin{aligned} \sum^{n+1}_{j=1}j \dbinom{n+1}{j}\dbinom{m+1}{j} &=(n+1)\sum^{n+1}_{j=1}\dbinom{n}{j-1}\dbinom{m+1}{j}\\ &=(n+1)\sum^{n}_{k=0}\dbinom{n}{k}\dbinom{m+1}{k+1}\\ &=(n+1)\dbinom{n+m+1}{n+1} \end{aligned}
Ans=(n+1)(n+m+1n+1)((n+m+1n+1)+(n+m+1n))+1=n(n+m+1n)(n+m+1n)+1\begin{aligned} Ans&= (n+1)\dbinom{n+m+1}{n+1}-\left(\dbinom{n+m+1}{n+1}+\dbinom{n+m+1}{n}\right)+1\\ &=n\dbinom{n+m+1}{n}-\dbinom{n+m+1}{n}+1 \end{aligned}

评论

0 条评论,欢迎与作者交流。

正在加载评论...