We prove that for any nonnegative integers nn and rr the binomial sum ∑k=−nn(2nn−k)k2rk=−n∑n(n−k2n)k2r is divisible by 22n−min{α(n),α(r)}22n−min{α(n),α(r)}, where α(n)α(n) denotes the number of 1’s in the binary expansion of nn. This confirms a recent conjecture of Guo and Zeng.
生成讲解博客的中文版本
生成AI智能校验的中文版本