Kí hiệu: (O ;r) là đường tròn tâm O bán kính r.
B, C thuộc (O; r) nên OB = OC = r.
D thuộc (A;r) nên AD = r.
E thuộc (D; BC) và (A;r) nên AE = r, DE = BC.
Xét OBC và ADE có:
OB = AD (cùng bằng r)
OC = AE (cùng bằng r)
BC = DE
Nên ΔOBC = ΔADE (c.c.c)