Định lý Stewart là gì?

Trong hình học Euclid, định lý Stewart là đẳng thức miêu tả mối quan hệ độ dài giữa các cạnh trong tam giác với đoạn thẳng nối một đỉnh với một điểm nằm trên cạnh đối diện của tam giác đó. Định lý mang tên nhà toán học người Scotland Matthew Stewart, ông đã lần đầu tiên chứng minh định lý này vào năm 1746.