Cho tam giác ABC cân tại A. Lấy hai điểm E, F theo thứ tự thuộc AB, AC
Giải thích
Xét hai tam giác ∆ABF, ∆ACE ta có:
AB = AC, vì ∆ABC cân tại A
A^ chung
AE = AF, giả thiết
Do đó:
∆ABF=∆ACEc.g.c
⇒ABF^=ACE^⇔EBF^=FCE^
Vậy các điểm B, C nằm phía dưới đối với EF và thỏa mãn EBF^=FCE^ nên bốn điểm B, C, E, F cùng thuộc một đường tròn.