A scalene triangle is a triangle in which all three sides have different lengths. The scalene inequality theorem states that in such a triangle, the angle facing the larger side has a measure larger than the angle facing the smaller side.
Problem
In scalene triangle ΔABC, AB>AC. Show that m∠ACB> m∠ABC
Strategy
We have one theorem that tells us when angles in a triangle are equal - the Base Angles Theorem, and one postulate that tells us when one angle is larger than another - the Angle Addition Postulate.
Let's try to combine these two things: to use the Base Angles theorem, we'll construct an isosceles triangle. Since we know AB>AC, we'll find a point D, on side AB, such that AD=AC.
From the Base Angles theorem, we know ∠ADC≅ ∠ACD, and so m∠ADC= m∠ACD. But as D is an interior point to angle ∠ACB, from the angle addition postulate we know that m∠ACB = m∠ACD+m∠DCB, and so m∠ACB > m∠ACD and so m∠ACB > m∠ADC. But ∠ADC is an exterior angle to triangle ΔDBC, and so is equal to the sum of the two remote interior angles.
So if m∠ADC=m∠DBC+m∠DCB, m∠ADC>m∠DBC. Combining this with m∠ACB > m∠ADC we get m∠ACB > m∠ABC
Proof of the Scalene Inequality Theorem
(1) AB>AC //Given
(2) AD=AC //Construction
(3) ∠ADC≅ ∠ACD //Base Angles theorem
(4) m∠ADC= m∠ACD // Defintion of congruent angles
(5) m∠ACB = m∠ACD+m∠DCB // Angle addition postulate
(6) m∠ACB > m∠ACD //(5), m∠DCB is positive
(7) m∠ADC=m∠DBC+m∠DCB //Exterior angle theorem
(8) m∠ADC>m∠DBC //(7), m∠DCB is positive
(9) m∠ACB > m∠ACD=m∠ADC>m∠DBC //(6), (4), (8)
(10) m∠ACB > >m∠ABC //transitive property of inequality