Khi so sánh AB và AC sẽ có 3 trường hợp xảy ra: AC < AB; AC = AB; AC > AB
+ Nếu AC < AB
Xét tam giác ABC có AC < AB
=> góc B < góc C ( quan hệ giữa cạnh và góc đối diện trong tam giác )
=> Trái với giả thiết góc B > góc C => vô lý
+ Nếu AC = AB
AC = AB => Tam giác ABC cân tại A ( dấu hiệu nhận biết )
=> góc B = góc C ( tính chất )
=> Trái với giả thiết góc B > góc C => vô lý
Vậy nếu tam giác ABC có góc B > góc C thì AC > AB ( đpcm )