Chứng minh định lý “Trong một tam giác, cạnh đối diện với góc lớn hơn là cạnh lớn hơn” theo gợi ý sau: Cho tam giác ABC có ∠B > ∠C

Có thể xảy ra AC < AB hay không?

Kẻ DH ⊥ BC.

Xét hai tam giác vuông ABD và HBD, ta có:

∠B1 = ∠B2 ( vì BD là tia phân giác của góc ABC).

Cạnh huyền BD chung

∠BAD = ∠BHD = 90º

Suy ra: ΔABD = ΔHBD (cạnh huyền, góc nhọn)

⇒ AD = HD (2 cạnh tương ứng) (1)

Trong tam giác vuông DHC có ∠DHC = 90o

⇒ DH < DC (cạnh góc vuông nhỏ hơn cạnh huyền) (2)

Từ (1) và (2) suy ra: AD < DC

Trên tia đối tia MA lấy điểm D sao cho MD = MA

Xét ΔAMB và ΔDMC, ta có:

MA = MD (theo cách vẽ)

∠(AMB) = ∠(DMC) (đối đỉnh)

MB = MC (gt)

Suy ra: ΔAMB = ΔDMC (c.g.c)

Suy ra: AB = CD (2 cạnh tương ứng)

và ∠D = ∠A1(2 góc tương ứng) (1)

Mà AB < AC (gt)

nên: CD < AC

Trong ΔADC, ta có: CD < AC

Suy ra: ∠D > ∠A2(đối diện cạnh lớn hơn là góc lớn hơn) (2)

Từ (1) và (2) suy ra: ∠A1 > ∠A2hay ∠(BAM) > ∠(MAC) .