Vì AC là đường trung trực của BB' nên CB=CB'
=>ΔCBB' cân tại C
hay \(\widehat{BCA}=\widehat{B'CA}\)
Vì AB là đường trung trực của CC' nên BC=BC'
=>ΔBCC' cân tại B
hay \(\widehat{CBA}=\widehat{C'BA}\)
Vì AB và AC lần lượt là các đường phân giác của các góc CBB' và BCB'
và AB cắt AC tại A
nên A là điểm cách đều ba cạnh của ΔA'BC