b) Tổng bình phương 3 số tự nhiên liên tiếp là: \(n^3+\left(n+1\right)^3+\left(n+2\right)^3\). Ta cần chứng minh \(n^3+\left(n+1\right)^3+\left(n+2\right)^3⋮9,\forall n\in N^{\circledast}\). Với n = 1. \(n^3+\left(n+1\right)^3+\left(n+2\right)^3=1^3+2^3+3^3=36\). Vậy điều cần chứng minh đúng với \(n=1\). Giả sử điều cần chứng minh đúng với n = k. Nghĩa là: \(k^3+\left(k+1\right)^3+\left(k+2\right)^3⋮9\). Ta cần chứng minh nó đúng với \(n=k+1\). Nghĩa là: \(\left(k+1\right)^3+\left(k+2\right)^3+\left(k+3\right)^3⋮9\) Thật vậy: \(\left(k+1\right)^3+\left(k+2\right)^3+\left(k+3\right)^3\)\(=\left(k+1\right)^3+\left(k+2\right)^3+k^3+3.3k^2+3.k.3^2+3^3\) \(=\left(k+1\right)^3+\left(k+2\right)^3+k^3+9k^2+27k+81\) Theo giả thiết quy nạp \(k^3+\left(k+1\right)^3+\left(k+2\right)^3⋮9\) và \(9k^2+27k+81=9\left(k^2+3k+9\right)⋮9\). Nên \(\left(k+1\right)^3+\left(k+2\right)^3+k^3+9k^2+27k+81⋮9\). Vậy điều phải chứng minh đúng với mọi n.