Ta có: \(n^5-n=n\left(n^4-1\right)=n\left(n-1\right)\left(n+1\right)\left(n^2+1\right)\)
\(=n\left(n-1\right)\left(n+1\right)\left(n^2-4+5\right)\)
= \(\left(n-2\right)\left(n-1\right)n\left(n+1\right)\left(n+2\right)+5n\left(n-1\right)\left(n+1\right)\)
+) vì n ( n - 1) chia hết cho 2 và (n - 1) n ( n+1 ) chia hết cho 3
=> n ( n - 1 ) ( n + 1 ) chia hết cho 6
nên \(n^5-n=n\left(n-1\right)\left(n+1\right)\left(n^2+1\right)⋮6\)
+) Vì \(\left(n-2\right)\left(n-1\right)n\left(n+1\right)\left(n+2\right)⋮5\) và \(5n\left(n-1\right)\left(n+1\right)⋮5\)
=> \(n^5-n=\left(n-2\right)\left(n-1\right)n\left(n+1\right)\left(n+2\right)+5n\left(n-1\right)\left(n+1\right)⋮5\)
Mà ( 5; 6 ) = 1 và 5.6 = 30
=> \(n^5-n⋮30\) với mọi số tự nhiên n
=> \(\left(2^{3n+1}+2^n\right)\left(n^5-n\right)⋮30\) với mọi số tự nhiên n
