Example 1: Parity Logic
Question: If is an integer, prove that is always even.
Solution: We can factor the expression: This is the product of two consecutive integers. In any pair of consecutive integers, one must be even and the other odd. Since , the product is always even.
Example 2: Finding Divisors
Question: Check if 12345 is divisible by 15.
Solution: For divisibility by 15, the number must be divisible by both 3 and 5.
- Check 5: The number ends in 5. Yes.
- Check 3: Sum of digits . Since 15 is divisible by 3, the number is divisible by 3. Yes. Conclusion: 12345 is divisible by 15.
Example 3: Cryptarithm Logic
Question: Find and if .
Solution:
- Units digit: ends in . Possible values for : .
- Test values:
- : (Not 3 digits).
- : (Not 3 digits).
- : . Here . Fits .
- : . Here . Fits . Answer: Two solutions: or .