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.