MathLabs

第3题

设 k,m,nk,m,n 为自然数,且 m+k+1m+k+1 是大于 n+1n+1 的素数。令 cs=s(s+1)c_s=s(s+1)。证明 (cm+1−ck)(cm+2−ck)⋯(cm+n−ck)(c_{m+1}-c_k)(c_{m+2}-c_k)\cdots(c_{m+n}-c_k) 能被 c1c2⋯cnc_1c_2\cdots c_n 整除。
第 2/6 步:重写整个乘积
P=∏i=1n(cm+i−ck)=(∏i=1n(m−k+i))(∏i=1n(m+k+i+1))P=\prod_{i=1}^n(c_{m+i}-c_k)=\left(\prod_{i=1}^n(m-k+i)\right)\left(\prod_{i=1}^n(m+k+i+1)\right)
详细分析

取 a=m+ia=m+i,b=kb=k 应用分解,得到两个各含 nn 个连续整数的块。