Gọi giao điểm của các đường thẳng AM và SQ là R'. Cho biết tứ giác OMR'P là hình bình hành. Tính OS theo R.
Gọi giao điểm của tia OP với QS là P', ta có P'S = P'Q. Do PP' // MR' nên (1). Mặt khác, do OMR'P là hình bình hành nên PR' // MS; PP' // MR' và ∆ PP'R' ~ ∆ MR'S (t.h 2)
Suy ra (2)
Kết hợp (2) với (1) ta được (3)
Do QP' = P'S = P'R' + R'S nên thay vào (3) và biến đổi ta được R'S = P'R'
Vậy nên ;