Subjects algebra

Sum Square Induction

Step-by-step solutions with LaTeX - clean, fast, and student-friendly.

Search Solutions

Sum Square Induction


1. **Problem statement:** Prove by mathematical induction that $$4^2 + 7^2 + 10^2 + \dots + (3n + 1)^2 = \frac{1}{2} n (6n^2 + 15n + 11)$$ for all positive integers $n$. 2. **Base step ($n=1$):** Left-hand side (LHS) = $(3\times1 + 1)^2 = 4^2 = 16$ Right-hand side (RHS) = $\frac{1}{2} \times 1 \times (6 \times 1^2 + 15 \times 1 + 11) = \frac{1}{2} \times (6 + 15 + 11) = \frac{1}{2} \times 32 = 16$ Since LHS = RHS, the base step holds. 3. **Inductive hypothesis:** Assume the formula is true for some $k \geq 1$, that is: $$4^2 + 7^2 + 10^2 + \dots + (3k + 1)^2 = \frac{1}{2} k (6k^2 + 15k + 11)$$ 4. **Inductive step:** We need to prove the formula holds for $k+1$: $$4^2 + 7^2 + 10^2 + \dots + (3k + 1)^2 + (3(k+1) + 1)^2 = \frac{1}{2} (k+1) [6(k+1)^2 + 15(k+1) + 11]$$ Substitute the inductive hypothesis: $$\frac{1}{2} k (6k^2 + 15k + 11) + (3k + 4)^2 = \frac{1}{2} (k+1) (6(k+1)^2 + 15(k+1) + 11)$$ Calculate $(3k + 4)^2 = 9k^2 + 24k + 16$. Left side becomes: $$\frac{1}{2} k (6k^2 + 15k + 11) + 9k^2 + 24k + 16$$ Multiply out first term: $$\frac{1}{2} (6k^3 + 15k^2 + 11k) + 9k^2 + 24k + 16 = 3k^3 + \frac{15}{2} k^2 + \frac{11}{2} k + 9k^2 + 24k + 16$$ Combine like terms: $$3k^3 + \left(\frac{15}{2} + 9\right) k^2 + \left(\frac{11}{2} + 24\right) k + 16 = 3k^3 + \frac{33}{2} k^2 + \frac{59}{2} k + 16$$ Right side: $$\frac{1}{2} (k+1) [6(k+1)^2 + 15(k+1) + 11]$$ Calculate inside bracket: $$6(k^2 + 2k + 1) + 15(k+1) + 11 = 6k^2 + 12k + 6 + 15k + 15 + 11 = 6k^2 + 27k + 32$$ Hence right side: $$\frac{1}{2} (k+1)(6k^2 + 27k + 32) = \frac{1}{2} (6k^3 + 27k^2 + 32k + 6k^2 + 27k + 32) = \frac{1}{2} (6k^3 + 33k^2 + 59k + 32)$$ Simplify: $$3k^3 + \frac{33}{2} k^2 + \frac{59}{2} k + 16$$ The left side equals the right side. 5. **Conclusion:** By the principle of mathematical induction, the formula $$4^2 + 7^2 + 10^2 + \dots + (3n + 1)^2 = \frac{1}{2} n (6n^2 + 15n + 11)$$ holds for all positive integers $n$.