AE. EC =BE. ED (gt)
⇒AE/ED=BE/EC
Xét ∆AEB và ∆DEC:
AE/ED=BE/EC
gócAEB=gócDEC(đối đỉnh)
Suy ra: ∆AEB đồng dạng ∆DEC (c.g.c)
⇒gócBAE=gócCDE hay gócBAC=gócCDB
A và D nhìn đoạn BC cố định dưới một góc bằng nhau nên A và D nằm trên một cung chứa góc vẽ trên BC hay 4 điểm A,B, C, D nằm trên một đường tròn.