Cho tam giác cân tại
. Lấy điểm
nằm trong
sao cho
. Kẻ
vuông góc với
, kẻ
vuông góc với
. Điểm
thuộc đường tròn trung trực của đoạn thẳng:
Hình vẽ minh họa
Xét tam giác DEK và tam giác DFK có:
DE = DF (do tam giác DEF cân tại D)
KE = KF (giả thiết)
DK là cạnh chung
Do đó
Suy ra (cặp góc tương ứng)
Xét tam giác DPK và tam giác DQK có:
DK là cạnh chung
Do đó
Suy ra KP = KQ (cạnh tương ứng)
Khi đó K thuộc đường trung trực của đoạn thẳng PQ.