a) Nếu \(AB > AC\) thì \(\widehat C > \widehat B\) (góc đối diện với cạnh lớn hơn là góc lớn hơn)
Điều này trái với giả thiết \(\widehat B > \widehat C\)
b) Nếu \(AB = AC\) thì \(∆ABC\) cân tại \(A.\)
\(\Rightarrow \widehat B = \widehat C\) (tính chất tam giác cân)
Điều này trái với giả thiết \(\widehat B > \widehat C.\)
Vậy từ a) và b) suy ra \(\widehat B > \widehat C\) thì \(AC > AB\)
