Dễ dàng c/m được góc EID = 120 độ
--> tứ giác BDIE nội tiếp được.
--> góc IED = IBD và góc IDE = góc IBE (hai góc nội tiếp cùng chắn 1 cung)
mà góc EIB = góc IBD (T/c ba đường phân giác của tam giác)
--> góc IED = góc IDE
--> tam giác IED cân tại I --> IE = ID
dựa vào nhen