Olympiad Maths Prep

Track / Stage 4 / 53 of 340 #313 of 2000

Problem 313

AMC 12 late, AIME early
Geometry Difficulty 4.6 Prove it

Prove by contradiction the proposition "In a triangle, at least one of the angles is not greater than 60 degrees." What should we assume for the proof by contradiction? (Answer in words).

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Proof by contradiction involves assuming the negation of the statement we want to prove. The direct negation of the statement "In a triangle, at least one of the angles is not greater than 60 degrees" is:

"All angles of the triangle are greater than 60 degrees."

Thus, for the proof by contradiction, we should assume that "All three angles of the triangle are greater than 60 degrees."

Starting with this assumption, we can proceed with the enhanced proof:
1. Assume, for the sake of contradiction, that all three angles in the triangle are greater than 60 degrees.
2. Let the three angles be AA, BB, and CC, then according to the assumption, we have A>60A > 60^\circ, B>60B > 60^\circ, and C>60C > 60^\circ.

3. The sum of the angles in any triangle is 180180^\circ. So, we can write an equation for the sum of angles:

A+B+C=180 A + B + C = 180^\circ

4. Since each angle is greater than 60 degrees, adding them together would give a sum greater than 180180^\circ, which can be expressed as:

A+B+C>60+60+60 A + B + C > 60^\circ + 60^\circ + 60^\circ

5. Simplifying the right side, we get:

A+B+C>180 A + B + C > 180^\circ

6. This is a contradiction because we previously stated that the sum of angles in a triangle must equal 180180^\circ. Therefore, our initial assumption must be false.

7. This leads to the conclusion that not all angles in a triangle can be greater than 60 degrees, which means that at least one angle must be 6060^\circ or less.

8. Hence, the original proposition is proven to be true: "In a triangle, at least one of the angles is not greater than 60 degrees."

At least one angle in a triangle is60\boxed{\text{At least one angle in a triangle is} \leq 60^\circ}

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