Ta có:
AB^2 + AC^2 < BC^2
=> AB^2 + AC^2 - BC^2 < 0
=> AB^2 + AC^2 - 2(AB)(AC)cos(BAC) < 0 (theo định lý cosin)
=> 2(AB)(AC)cos(BAC) > AB^2 + AC^2 - BC^2 > 0
=> cos(BAC) > 0
=> góc BAC > 90 độ

Vậy ta đã chứng minh được góc BAC lớn hơn 90 độ.