Maths Olympiad Prep

Library / /495 of 520

Algebra Difficulty 4.6 AIME Prove it

Prove using the method of contradiction that "If a,b,c<3a, b, c < 3, then at least one of a,b,ca, b, c is less than 11." The assumption should be:
A: Assume at least one of a,b,ca, b, c is greater than 11.
B: Assume a,b,ca, b, c are all greater than 11.
C: Assume at least two of a,b,ca, b, c are greater than 11.
D: Assume a,b,ca, b, c are all not less than 11.

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 a,b,c<3a, b, c < 3, then at least one of a,b,ca, b, c is less than 11." The opposite of this statement is "If a,b,c<3a, b, c < 3, then a,b,ca, b, c are all not less than 11," because it denies the existence of any number among a,b,ca, b, c that is less than 11, while still adhering to the condition a,b,c<3a, b, c < 3.

So, to use the method of contradiction, we assume that all of a,b,ca, b, c are not less than 11, which could mean they are greater than or equal to 11. Now we need to find a contradiction under this assumption.

Assuming a,b,c1a, b, c \geq 1 and a,b,c<3a, b, c < 3, we consider the sum of a,ba, b, and cc. Their minimum possible sum occurs when a=b=c=1a=b=c=1, which is 1+1+1=31+1+1=3, and their maximum possible sum is less than 3+3+3=93+3+3=9 since each of a,b,ca, b, c is less than 33.

However, if a,b,ca, b, c are all greater than or equal to 11, their sum must be greater than or equal to 33, which violates the original condition that they must all be less than 33. This contradiction implies that our initial assumption is false. Therefore, it is indeed true that if a,b,c<3a, b, c < 3, at least one of a,b,ca, b, c must be less than 11. The correct choice is:

D:Assume a,b,c are all not less than 1 \boxed{D: Assume \ a, b, c \ are \ all \ not \ less \ than \ 1}

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.