Cho tam giác
cạnh
, lấy
sao cho
. Đường tròn tâm
bán kính
tiếp xúc với các cạnh
lần lượt tại các điểm
. Tính độ dài cạnh
?
Hình vẽ minh họa
Ta có: từ đó suy ra
(do
là các góc nhọn)
Đặt . Do
là phân góc của góc
nên
Mặt khác, theo định lí cosin trong tam giác ta có:
Thay số ta được hệ phương trình:
Vậy
