Mathematical Communication Math Example 4
Follow the full solution, then compare it with the other examples linked below.
Example 4
mediumConvert 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 Claim: For any integer , .
- 2 Proof: Among any three consecutive integers , at least one is even (divisible by 2) since every second integer is even.
- 3 Among any three consecutive integers, exactly one is divisible by 3 (since for exactly one ).
- 4 Therefore is divisible by both 2 and 3. Since , it is divisible by .
Answer
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 ', 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
Example 1 easy
Rewrite the following unclear statement into precise mathematical language: 'Adding two things and s
Example 2 mediumWrite a complete, well-structured mathematical proof that 'if [formula] is an even integer, then [fo
Example 3 easyIdentify what is wrong with the following mathematical communication and rewrite it correctly: 'It's