ΔABC=ΔDEF nên  

{BAC^=EDF^;B^=E^;C^=F^AB=DE;AC=DF;BC=EF (các góc tương ứng và các cạnh tương ứng bằng nhau).

Vì AH là đường cao của tam giác ABC nên AH vuông góc với BC. Do đó, AHB^=90.

Vì DK là đường cao của tam giác DEF nên DK vuông góc với EF. Do đó, DKE^=90

Xét ΔABHΔDEK có:  

AHB^=DKE^=90 (chứng minh trên)

AB = DE (chứng minh trên)

B^=E^ (chứng minh trên)

Do đó, ΔABH=ΔDEK (cạnh huyền – góc nhọn).

Suy ra AH = DK.