Chứng minh rằng mọi điểm nằm trên (O1), (O2), (O3) không kể hai điểm A và D đều nằm trong (O)
Giải chi tiết:
Xét điểm M nằm trên (O3) ta có
OM < OO3 + O3M = OO3 + O3D = OD.
Dấu bằng xảy ra khi O3 nằm giữa O, M, tức là M ≡ D trái với giả thiết.
Vậy OM < OD hay M nằm trong (O). Tương tự, đối với các điểm lấy trên (O1), (O2) cũng vậy