Prove by contradiction that the proposition "Among the natural numbers , , , exactly one is even" requires the assumption of:
A: , , are all odd
B: , , are all even
C: , , are all odd or at least two are even
D: , , at least two are even
Solution
To prove by contradiction that among the natural numbers , , and , exactly one is even, we need to assume the opposite of what we want to prove, and show that this leads to a contradiction.
Let's go through each of the provided options:
- Option A: Assuming , , and are all odd means there are no even numbers, which contradicts the statement that exactly one is even. This is a valid assumption for proof by contradiction.
- Option B: Assuming , , and are all even contradicts the premise outright since it provides more than one even number, but it is not a comprehensive contrary since it does not cover the cases where two numbers are even.
- Option C: Assuming , , and are all odd or at least two are even covers all possibilities that contradict the original statement. If all numbers are odd, there are no even numbers; if at least two numbers are even, then there are more than one even numbers. This option fully captures the essence of the contradiction.
- Option D: Assuming at least two numbers are even is only a partial contradiction, as it does not address the possibility that all might be odd.
To prove by contradiction, we must consider all cases contrary to the proposition that exactly one number is even. Option C is the most appropriate choice as it covers the full range of contradictory scenarios.
Thus, we have: