Sum of Sequence of Cubes divides 3 times Sum of Sequence of Fifth Powers

From ProofWiki
Jump to navigation Jump to search

Theorem

$\ds \sum_{i \mathop = 1}^n i^3 \divides 3 \sum_{i \mathop = 1}^n i^5$

where $\divides$ denotes divisibility.


Proof

\(\ds 3 \sum_{i \mathop = 1}^n i^5\) \(=\) \(\ds {T_n}^2 \paren {4 T_n - 1}\) Sum of Sequence of Fifth Powers
\(\ds \) \(=\) \(\ds k {T_n}^2\) where $k = 4 T_n - 1$
\(\ds \leadsto \ \ \) \(\ds {T_n}^2\) \(\divides\) \(\ds 3 \sum_{i \mathop = 1}^n i^5\) Definition of Divisor of Integer
\(\ds \leadsto \ \ \) \(\ds \sum_{i \mathop = 1}^n i^3\) \(\divides\) \(\ds 3 \sum_{i \mathop = 1}^n i^5\) Square of Triangular Number equals Sum of Sequence of Cubes

$\blacksquare$


Sources