Cho tam giác ABC vuông cân tại A. Trên cạnh BC lấy hai điểm D, E sao cho BD = DE = EC. Qua D và E kẻ các đường vuông góc với BC,

Tứ giác KHED là hình vuông.

Giải thích: Tam giác vuông BDK có B^=450 nên là tam giác cân,
do đó BD = DK. Chứng minh tương tự, HE = EC.

Vì BD = DE = EC theo giả thiết, nên:

       KD = DE = EH.

Tứ giác KHED có KD∥HE,KD=HE nên là hình bình hành.

Hình bình hành này lại có D^=900 nên nó là hình chữ nhật.
Hình chữ nhật này lại có KD = DE nên nó là hình vuông.