Xét ΔOQC vuông tại Q và ΔOPC vuông tại P có
OC chung
OQ=OP
=>ΔOQC=ΔOPC
=>CQ=CP
mà OQ=OP
nen OC là trung trực của PQ
=>OC vuông góc PQ
=>OC vuông góc MN
mà OA vuông góc MN
nên O,A,C,K thẳng hàng
=>AC là phân giác của góc DAB
Xét tứ giác ABCD có
AB//CD
AD//BC
AC là phân giác của góc DAB
=>ABCD là hình thoi