# Proof of a conjecture involving Sun polynomials

Preprint · Victor J. W. Guo, Guo-Shuai Mao, Hao Pan

- Archive id: arxiv:1511.04005
- Published: 2015-10-27
- arXiv: https://arxiv.org/abs/1511.04005
- Source URL: https://arxiv.org/abs/1511.04005
- PDF: https://arxiv.org/pdf/1511.04005
- Provenance: arxiv

## Abstract

The Sun polynomials $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 $n$, 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-2\\choose m-1}{n\\choose m}{2n\\choose n}\\equiv 0\\pmod{m+n}\\quad\\text{for $m,n\\geqslant 1$.} $$

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.