Cho tam giác DEF =  DE; DF lấy điểm K nằm trong tam giác sao cho KE = KF. Kẻ KP vuông góc DE (PE thuộc DE), KQ vuông góc DF (Q thuộc DF). Chứng minh : a) K thuộc đường trung trực của EF và PQ. b) DK là đường trung trực của EF và PQ. Từ đó => PQ // EF