Skip to main content
added 1557 characters in body
Source Link
Max Alekseyev
  • 34.6k
  • 5
  • 74
  • 154

Notice that $$2S_a(b) \equiv 1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \pmod{6a-3}.$$

From Faulhaber's formula, we have $$1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \equiv B_{2b} (6a-3) \pmod{6a-3}.$$ It follows that $$S_a(b) \equiv \frac32B_{2b} (2a-1)\pmod{3(2a-1)},$$ where $\nu_3(\frac32 B_{2b})=0$ by von Staudt–Clausen theorem. Hence, $\nu_3(S_a(b))=\nu_3(2a-1)$.


ADDED. Explanation of the Faulhaber's formula implication:

Lemma. Let $n,m$ be positive integers, $m$ is even. Then $$1^{m} + 2^{m} + \dots + (n-1)^{m} \equiv B_{m} n \pmod{n}.$$

Proof. For $m=2$, the statement can be verified directly: $$1^2 + 2^2 + \dots + (n-1)^2 = \frac{(n-1)n(2n-1)}{6} \equiv B_2 n\pmod{n}.$$ For the rest assume $m\geq 4$.

Using Faulhaber's formula and taking into account that $B_{m-1}=0$, we have \begin{split} & 1^{m} + 2^{m} + \dots + (n-1)^{m} \equiv 1^{m} + 2^{m} + \dots + n^{m} \\ &\equiv B_{m} n + \frac{1}{m+1} \sum_{k=3}^{m+1} \binom{m+1}{k} B_{m+1-k} n^k \pmod{n}. \end{split} It remains to show that $\frac{1}{m+1} \binom{m+1}{k} B_{m+1-k} n^k \equiv 0\pmod{n}$ for any integer $k\in [3,m+1]$.

Consider any prime $p\mid n$, and let $t:=\nu_p(n)\geq 1$. Our goal is to show that $\nu_p\big(\frac{1}{m+1} \binom{m+1}{k} B_{m+1-k}\big) + t(k-1) \geq 0$. It is enough to focus on the case $t=1$, from which the case $t>1$ follows instantly.

Since by von Staudt–Clausen theorem the denominators of Bernoulli numbers are square-free, we need to show that $$\nu_p\big(\frac{1}{m+1} \binom{m+1}{k}\big) + k - 2 \geq 0.$$

Noticing that $\nu_p\big(\frac{1}{m+1} \binom{m+1}{k}\big) = \nu_p\big(\frac1k\binom{m}{k-1}\big)\geq -\nu_p(k)$, our goal reduces to showing that $$k-2-\nu_p(k)\geq 0.$$ For $k=3$ and $k=4$, this inequality is trivial, while for $k\geq 5$ it follows from the bound $\nu_p(k)\leq \log_2(k)$. QED

Notice that $$2S_a(b) \equiv 1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \pmod{6a-3}.$$

From Faulhaber's formula, we have $$1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \equiv B_{2b} (6a-3) \pmod{6a-3}.$$ It follows that $$S_a(b) \equiv \frac32B_{2b} (2a-1)\pmod{3(2a-1)},$$ where $\nu_3(\frac32 B_{2b})=0$ by von Staudt–Clausen theorem. Hence, $\nu_3(S_a(b))=\nu_3(2a-1)$.

Notice that $$2S_a(b) \equiv 1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \pmod{6a-3}.$$

From Faulhaber's formula, we have $$1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \equiv B_{2b} (6a-3) \pmod{6a-3}.$$ It follows that $$S_a(b) \equiv \frac32B_{2b} (2a-1)\pmod{3(2a-1)},$$ where $\nu_3(\frac32 B_{2b})=0$ by von Staudt–Clausen theorem. Hence, $\nu_3(S_a(b))=\nu_3(2a-1)$.


ADDED. Explanation of the Faulhaber's formula implication:

Lemma. Let $n,m$ be positive integers, $m$ is even. Then $$1^{m} + 2^{m} + \dots + (n-1)^{m} \equiv B_{m} n \pmod{n}.$$

Proof. For $m=2$, the statement can be verified directly: $$1^2 + 2^2 + \dots + (n-1)^2 = \frac{(n-1)n(2n-1)}{6} \equiv B_2 n\pmod{n}.$$ For the rest assume $m\geq 4$.

Using Faulhaber's formula and taking into account that $B_{m-1}=0$, we have \begin{split} & 1^{m} + 2^{m} + \dots + (n-1)^{m} \equiv 1^{m} + 2^{m} + \dots + n^{m} \\ &\equiv B_{m} n + \frac{1}{m+1} \sum_{k=3}^{m+1} \binom{m+1}{k} B_{m+1-k} n^k \pmod{n}. \end{split} It remains to show that $\frac{1}{m+1} \binom{m+1}{k} B_{m+1-k} n^k \equiv 0\pmod{n}$ for any integer $k\in [3,m+1]$.

Consider any prime $p\mid n$, and let $t:=\nu_p(n)\geq 1$. Our goal is to show that $\nu_p\big(\frac{1}{m+1} \binom{m+1}{k} B_{m+1-k}\big) + t(k-1) \geq 0$. It is enough to focus on the case $t=1$, from which the case $t>1$ follows instantly.

Since by von Staudt–Clausen theorem the denominators of Bernoulli numbers are square-free, we need to show that $$\nu_p\big(\frac{1}{m+1} \binom{m+1}{k}\big) + k - 2 \geq 0.$$

Noticing that $\nu_p\big(\frac{1}{m+1} \binom{m+1}{k}\big) = \nu_p\big(\frac1k\binom{m}{k-1}\big)\geq -\nu_p(k)$, our goal reduces to showing that $$k-2-\nu_p(k)\geq 0.$$ For $k=3$ and $k=4$, this inequality is trivial, while for $k\geq 5$ it follows from the bound $\nu_p(k)\leq \log_2(k)$. QED

a bit stronger
Source Link
Max Alekseyev
  • 34.6k
  • 5
  • 74
  • 154

Let $t:=\nu_3(2a-1)$.

Notice that $$2S_a(b) \equiv 1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \pmod{3^{t+1}}$$ since $3^{t+1}\mid 6a-3$.$$2S_a(b) \equiv 1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \pmod{6a-3}.$$

From Faulhaber's formula, we have $$1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \equiv B_{2b} (6a-3) \pmod{3^{t+1}}.$$$$1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \equiv B_{2b} (6a-3) \pmod{6a-3}.$$ It follows that $$S_a(b) \equiv \frac32B_{2b} (2a-1)\pmod{3^{t+1}},$$$$S_a(b) \equiv \frac32B_{2b} (2a-1)\pmod{3(2a-1)},$$ where $\nu_3(\frac32 B_{2b})=0$ by von Staudt–Clausen theorem. Hence, $\nu_3(S_a(b))=t$$\nu_3(S_a(b))=\nu_3(2a-1)$.

Let $t:=\nu_3(2a-1)$.

Notice that $$2S_a(b) \equiv 1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \pmod{3^{t+1}}$$ since $3^{t+1}\mid 6a-3$.

From Faulhaber's formula, we have $$1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \equiv B_{2b} (6a-3) \pmod{3^{t+1}}.$$ It follows that $$S_a(b) \equiv \frac32B_{2b} (2a-1)\pmod{3^{t+1}},$$ where $\nu_3(\frac32 B_{2b})=0$ by von Staudt–Clausen theorem. Hence, $\nu_3(S_a(b))=t$.

Notice that $$2S_a(b) \equiv 1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \pmod{6a-3}.$$

From Faulhaber's formula, we have $$1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \equiv B_{2b} (6a-3) \pmod{6a-3}.$$ It follows that $$S_a(b) \equiv \frac32B_{2b} (2a-1)\pmod{3(2a-1)},$$ where $\nu_3(\frac32 B_{2b})=0$ by von Staudt–Clausen theorem. Hence, $\nu_3(S_a(b))=\nu_3(2a-1)$.

added 100 characters in body; edited body
Source Link
Max Alekseyev
  • 34.6k
  • 5
  • 74
  • 154

Let $t:=\nu_3(2a-1)$.

Notice that $$2S_a(b) \equiv 1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \pmod{3^{t+1}}$$ since $3^{t+1}\mid 6a-3$.

From Faulhaber's formula, we have $$1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \equiv B_{2b} (6a-3) \pmod{3^{t+1}}.$$ It follows that $$S_a(b) \equiv \frac32B_{2b} (2a-1)\pmod{3^{t+1}},$$ where $\nu_3(\frac32 B_{2b})=0$ by von Staudt–Clausen theorem. Hence Hence, $\nu_3(S_a(b))=t$.

Let $t:=\nu_3(2a-1)$.

Notice that $$2S_a(b) \equiv 1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \pmod{3^{t+1}}$$ since $3^{t+1}\mid 6a-3$.

From Faulhaber's formula, we have $$1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \equiv B_{2b} (6a-3) \pmod{3^{t+1}}.$$ It follows that $$S_a(b) \equiv \frac32B_{2b} (2a-1)\pmod{3^{t+1}},$$ where $\nu_3(\frac32 B_{2b})=0$. Hence, $\nu_3(S_a(b))=t$.

Let $t:=\nu_3(2a-1)$.

Notice that $$2S_a(b) \equiv 1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \pmod{3^{t+1}}$$ since $3^{t+1}\mid 6a-3$.

From Faulhaber's formula, we have $$1^{2b} + 2^{2b} + \dots + (6a-4)^{2b} \equiv B_{2b} (6a-3) \pmod{3^{t+1}}.$$ It follows that $$S_a(b) \equiv \frac32B_{2b} (2a-1)\pmod{3^{t+1}},$$ where $\nu_3(\frac32 B_{2b})=0$ by von Staudt–Clausen theorem. Hence, $\nu_3(S_a(b))=t$.

Source Link
Max Alekseyev
  • 34.6k
  • 5
  • 74
  • 154
Loading