Lời giải:
Xét tam giác MAC và tam giác MDB có:
(Tứ giác ADBC nội tiếp (O))
Suy ra: Tam giác MAC đồng dạng với tam giác MDB
(1)
(Vì M là trung điểm của AB)
Xét tam giác SAO vuông tại A (Do SA vuông góc với AO) có AM là đường cao (Do OM vuông góc với AB):
Áp dụng hệ thức trong tam giác vuông:
(2)
Từ (1) và (2) suy ra: MO.MS = MC.MD (Điều phải chứng minh)