a) Sử dụng tính chất đối xứng trục kết hợp với chứng minh tam giác bằng nhau ta có được E1^=M1^ và F1^=M2^ mà E1^=F1^(Tính chất tam giác cân)

⇒ M1^=M2^ Þ ĐPCM.

b) Sử dụng tính chất đối xứng trục ta có PM = PE; QM = QF. Theo bất đẳng thức trong tam giacs MPQ, ta có:

P_DMPQ = MP + PQ + QM= (PE + PQ) + QF ≥ EQ + QF ≥ EF.

Do M cố định, tam giác ABC cố định Þ E, F, I, K cố định. Vậy (P_DMPQ)_min = EF Û P º I, Q º K