Xét ΔQDC có AB//DC
nên QA/AD=QB/BC
mà AD=BC
nên QA=QB
QA+AD=QD
QB+BC=QC
mà QA=QB và AD=BC
nên QD=QC
Xét ΔABD và ΔBAC có
AB chung
BD=AC
AD=BC
=>ΔABD=ΔBAC
=>góc DBA=góc BAC
=>góc PAB=góc PBA
=>PA=PB
PA+PC=AC
PB+PD=BD
mà PA=PB và AC=BD
nên PC=PD
PA=PB
QA=QB
=>PQ là trung trực của AB
PD=PC
QD=QC
=>PQ là trung trực của DC