Cho đoạn thẳng AB, điểm C nằm giữa AB. Vẽ về một phía của AB các nửa đường tròn có đường kính theo thứ tự là AB, AC, BC. Đường vuông góc với AB tại C cắt nửa đường tròn lớn hơn tại D. DA, DB cắt các nửa đường tròn có đường kính AC, BC theo thứ tự tại M, N. Chứng minh hệ thức DM.DA = DN.DB