Chứng minh khi C di động trên AB thì tổng bán kính các đường tròn (O1) và đường tròn (O2) đi qua ba điểm A, C, D không đổi.
Kẻ đường kính MN, MB ⊥ BN mà BM là tiếp tuyến của (O1) nên tâm O1 của đường tròn đi qua ba điểm B, C, D ((O1)) phải nằm trên BN, tương tự O2 nằm trên AN
Dễ dàng chứng minh được các tam giác ABN, BCO1 , ACO2 cân, nên
Suy ra O1C // AN; O2C // NB
=> O1N = O2C và
O2C + O1B = O1N + O1B = BN không đổi.