Maths Olympiad Prep

Library / /459 of 520

Geometry Difficulty 4.6 AIME Prove it

Given: In ABC\triangle ABC, ABACAB\neq AC, prove that BC\angle B\neq \angle C. If we use proof by contradiction to prove this conclusion, we can assume that

A: A=B\angle A=\angle B

B: AB=BCAB=BC

C: B=C\angle B=\angle C

D: A=C\angle A=\angle C

Solution

To prove that in ABC\triangle ABC with ABACAB \neq AC, it follows that BC\angle B \neq \angle C, we approach this by proof by contradiction. The essence of proof by contradiction involves assuming the negation of what we want to prove and showing that this assumption leads to a contradiction.

Given that we want to prove BC\angle B \neq \angle C, the direct negation of this statement is B=C\angle B = \angle C. This means, to use proof by contradiction effectively, we assume that B=C\angle B = \angle C and show that this assumption contradicts the given conditions or leads to an impossible scenario within the context of ABC\triangle ABC where ABACAB \neq AC.

Therefore, the correct assumption to make, based on the method of proof by contradiction, is:

- A: A=B\angle A = \angle B (Incorrect, does not directly negate the statement we want to prove)
- B: AB=BCAB = BC (Incorrect, does not directly relate to the angles at vertices B and C)
- C: B=C\angle B = \angle C (Correct, directly negates the statement BC\angle B \neq \angle C)
- D: A=C\angle A = \angle C (Incorrect, does not directly negate the statement we want to prove)

Hence, the correct assumption to make for the proof by contradiction is B=C\angle B = \angle C.

So, the answer is encapsulated as C\boxed{C}.

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.