Vì A và B thuộc (P; r) => PA = PB => P thuộc trung trực của AB (định lý) (1)
Vì (A; m) cắt (B; m) tại C => CA= CB=> C thuộc trung trực của AB (định lý) (2)
Từ (1) và (2)=> PC là trung trực của AB => PC vuông góc với AB mà A, B thuộc đường thẳng d => PC vuông góc với đường thảng d