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 整除。
第 1/6 步:分解差
ca−cb=(a−b)(a+b+1)c_a-c_b=(a-b)(a+b+1)
详细分析

由 cs=s(s+1)c_s=s(s+1) 直接展开得 ca−cb=(a−b)(a+b+1)c_a-c_b=(a-b)(a+b+1)。