Prove using the method of contradiction that "If , then at least one of is less than ." The assumption should be:
A: Assume at least one of is greater than .
B: Assume are all greater than .
C: Assume at least two of are greater than .
D: Assume are all not less than .
Solution
To use the method of contradiction, we must assume the opposite of what we want to prove and show that this assumption leads to a contradiction.
We want to prove that "If , then at least one of is less than ." The opposite of this statement is "If , then are all not less than ," because it denies the existence of any number among that is less than , while still adhering to the condition .
So, to use the method of contradiction, we assume that all of are not less than , which could mean they are greater than or equal to . Now we need to find a contradiction under this assumption.
Assuming and , we consider the sum of , and . Their minimum possible sum occurs when , which is , and their maximum possible sum is less than since each of is less than .
However, if are all greater than or equal to , their sum must be greater than or equal to , which violates the original condition that they must all be less than . This contradiction implies that our initial assumption is false. Therefore, it is indeed true that if , at least one of must be less than . The correct choice is: