HL 5.3 - Mathematical induction
HL 1.15: Proof by mathematical induction The basic deductive proof methods covered in Sections 5.1 (deductive proof) and 5.2 (proof by contradiction) can be awkward or ineffective for attempting to prove certain kinds of statements. Consider the statement: {3^{2n}} + 7 is always divisible by 8 when n is a positive integer. This is a challenging statement to prove by a purely deductive approach because this general...