{"id":"arxiv/2604.23206","url":"https://arxiv.org/abs/2604.23206","tags":["math.NT","cs.DM","math.CO"],"score":0,"title":"A Proof of Bala's General-$m$ Representation of the Harmonic Numbers","domain":"math.NT","source":"arxiv","authors":["Tong Niu"],"reviews":0,"subject":"math.NT","summary":"For every nonzero integer $m$ and every integer $n \\ge 1$, the $n$\\textsuperscript{th} harmonic number $H_n = 1 + \\tfrac12 + \\dots + \\tfrac1n$ satisfies the identity \\[ H_n \\;=\\; \\frac{1}{m}\\,\\sum_{k=1}^{n} \\frac{(-1)^{k+1}}{k}\\, \\binom{m k}{k}\\binom{n + (m-1)k}{n - k}. \\] The cases $m = 1$ and $m = 2$ are classical; for general nonzero integer $m$ the identity was conjectured by P.~Bala in the OEIS entry A001008 in 2022 and remained open. We prove it here, working throughout in $\\QQ[[x]]$. The proof reduces, via a substitution $u = x/(1-x)^m$, to two formal-power-series identities: a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-25","reactions":{}}