5 research outputs found

    Sequences of odd numbers, even numbers and integer squares: gaps in frequency distributions of unit's digits of minor totals

    Full text link
    In the paper, I consider appearance of unit's digits in minor totals of a few integer sequences. The sequences include the sequence of even integers, sequence of odd integers and Faulhaber polynomial at p=2p = 2. Application of difference tables allows predicting of which digits can appear as unit's digits in minor totals of the sequences. Absence of some digits ("gaps" in frequency distributions) depends often on numbering system applied. However, in case of odd numbers' integers the gaps are found under all numbering systems with bases from 3 to 10.Comment: 10 pages, 4 figures, 4 table

    Proof of Sun's conjectures on integer-valued polynomials

    Full text link
    Recently, Z.-W. Sun introduced two kinds of polynomials related to the Delannoy numbers, and proved some supercongruences on sums involving those polynomials. We deduce new summation formulas for squares of those polynomials and use them to prove that certain rational sums involving even powers of those polynomials are integers whenever they are evaluated at integers. This confirms two conjectures of Z.-W. Sun. We also conjecture that many of these results have neat qq-analogues.Comment: 12 pages, corrected a typo in Theorem 1.

    Proof of a conjecture involving Sun polynomials

    Full text link
    The Sun polynomials gn(x)g_n(x) are defined by \begin{align*} g_n(x)=\sum_{k=0}^n{n\choose k}^2{2k\choose k}x^k. \end{align*} We prove that, for any positive integer nn, there hold \begin{align*} &\frac{1}{n}\sum_{k=0}^{n-1}(4k+3)g_k(x) \in\mathbb{Z}[x],\quad\text{and}\\ &\sum_{k=0}^{n-1}(8k^2+12k+5)g_k(-1)\equiv 0\pmod{n}. \end{align*} The first one confirms a recent conjecture of Z.-W. Sun, while the second one partially answers another conjecture of Z.-W. Sun. We give three different proofs of the former. One of them depends on the following congruence: (m+nβˆ’2mβˆ’1)(nm)(2nn)≑0(modm+n)forΒ m,nβ©Ύ1. {m+n-2\choose m-1}{n\choose m}{2n\choose n}\equiv 0\pmod{m+n}\quad\text{for $m,n\geqslant 1$.} Comment: 15 page

    Proof of a conjecture of Z.-W. Sun on the divisibility of a triple sum

    Full text link
    The numbers RnR_n and WnW_n are defined as \begin{align*} R_n=\sum_{k=0}^{n}{n+k\choose 2k}{2k\choose k}\frac{1}{2k-1},\ \text{and}\ W_n=\sum_{k=0}^{n}{n+k\choose 2k}{2k\choose k}\frac{3}{2k-3}. \end{align*} We prove that, for any positive integer nn and odd prime pp, there hold \begin{align*} \sum_{k=0}^{n-1}(2k+1)R_k^2 &\equiv 0 \pmod{n}, \\ \sum_{k=0}^{p-1}(2k+1)R_k^2 &\equiv 4p(-1)^{\frac{p-1}{2}} -p^2 \pmod{p^3}, \\ 9\sum_{k=0}^{n-1}(2k+1)W_k^2 &\equiv 0 \pmod{n}, \\ \sum_{k=0}^{p-1}(2k+1)W_k^2 &\equiv 12p(-1)^{\frac{p-1}{2}}-17p^2 \pmod{p^3}, \quad\text{if p>3p>3.} \end{align*} The first two congruences were originally conjectured by Z.-W. Sun. Our proof is based on the multi-variable Zeilberger algorithm and the following observation: (2nn)(nk)(mk)(kmβˆ’n)≑0(mod(2kk)(2mβˆ’2kmβˆ’k)), {2n\choose n}{n\choose k}{m\choose k}{k\choose m-n}\equiv 0\pmod{{2k\choose k}{2m-2k\choose m-k}}, where 0β©½kβ©½nβ©½mβ©½2n0\leqslant k\leqslant n\leqslant m \leqslant 2n.Comment: 18 page

    Jacobi polynomials and congruences involving some higher-order Catalan numbers and binomial coefficients

    Full text link
    In this paper, we study congruences on sums of products of binomial coefficients that can be proved by using properties of the Jacobi polynomials. We give special attention to polynomial congruences containing Catalan numbers, second-order Catalan numbers, the sequence (\seqnum{A176898}) Sn=(6n3n)(3n2n)2(2nn)(2n+1),S_n=\frac{{6n\choose 3n}{3n\choose 2n}}{2{2n\choose n}(2n+1)}, and the binomial coefficients (3nn){3n\choose n} and (4n2n){4n\choose 2n}. As an application, we address several conjectures of Z.\ W.\ Sun on congruences of sums involving SnS_n and we prove a cubic residuacity criterion in terms of sums of the binomial coefficients (3nn){3n\choose n} conjectured by Z.\ H.\ Sun
    corecore