a) Giả sử m không cắt AB, AC. Thật vậy ta suy ra m // AB và m // AC. Suy ra AB // AC // BC (mâu thuẫn với giả thiết ABC là tam giác). Vậy ta có đpcm.
b) Giả sử m không cắt AC. Thật vậy ta suy ra m // AC. Suy ra AC // BC (mâu thuẫn với giả thiết ABC là tam giác). Vậy ta có đpcm.