Cho tam giác ABC có AB < AC. Gọi d là đường thẳng trung trực

d là đường trung trực của BC (gt) ⇒ d ⊥ BC

A và K đối xứng qua d nên d lả trung trực của AK ⇒ d ⊥ AK

Suy ra: BC //AK. Tứ giác ABCK là hình thang.

AC và KB đối xứng qua d nên AC = BK

Vậy hình thang ABCK là hình thang cân.