Cho tam giác DEF có DE = DF. Lấy điểm K nằm trong tam giác sao cho KE = KF. Kẻ KP vuông góc với DE (P thuộc DE), KQ vuông góc với 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ừ đó suy ra PQ//EF.