Gọi Cy là tia đối của tia CB. Dựng DH, DI, DK lần lượt vuông góc với BC. AC, AB. Từ giả thiết ta suy ra DI = DK; DK = DH nên suy ra DI = DH ( CI nằm trên tia CA vì nếu điểm I thuộc tia đối của CA thì DI > DH). Vậy CD là tia phân giác của và là góc ngoài của tam giâc ABC suy ra Gọi Cy là tia đối của tia CB. Dựng DH, DI, DK lần lượt vuông góc với BC. AC, AB. Từ giả thiết ta suy ra DI = DK; DK = DH nên suy ra DI = DH ( CI nằm trên tia CA vì nếu điểm I thuộc tia đối của CA thì DI > DH). Vậy CD là tia phân giác của và là góc ngoài của tam giâc ABC suy ra . Mặt khác . Do đó, nên cân tại C. Vậy CA = CE