Vì DAB^=CBA^ => HAD^=KBC^ (góc bù nhau)
Trong ΔHAD và ΔKBC có:
AHD^=BKC^=900
HAD^=KBC^
=> HDA^=KCB^
mà DH = CK
=> ΔHAD = ΔKBC (g.c.g)
=> AD = BC
