Mathematical Communication Math Example 4

Follow the full solution, then compare it with the other examples linked below.

Example 4

medium
Convert the following verbal argument into a formal mathematical proof: 'The product of any three consecutive integers is divisible by 6, because one of them is divisible by 2 and one by 3.'

Solution

  1. 1
    Claim: For any integer nn, 6n(n+1)(n+2)6 \mid n(n+1)(n+2).
  2. 2
    Proof: Among any three consecutive integers n,n+1,n+2n, n+1, n+2, at least one is even (divisible by 2) since every second integer is even.
  3. 3
    Among any three consecutive integers, exactly one is divisible by 3 (since 3(n+k)3 \mid (n+k) for exactly one k{0,1,2}k \in \{0,1,2\}).
  4. 4
    Therefore n(n+1)(n+2)n(n+1)(n+2) is divisible by both 2 and 3. Since gcd(2,3)=1\gcd(2,3)=1, it is divisible by 2×3=62 \times 3 = 6. \square

Answer

6n(n+1)(n+2) for all integers n6 \mid n(n+1)(n+2) \text{ for all integers } n \quad \square
Converting a verbal argument to a formal proof requires: (1) stating the claim with quantifiers, (2) replacing 'one of them' with 'at least one of the integers n,n+1,n+2n, n+1, n+2', and (3) citing the divisibility rules explicitly.

About Mathematical Communication

Mathematical communication is the clear expression of definitions, reasoning, notation, and conclusions.

Learn more about Mathematical Communication →

More Mathematical Communication Examples