AH // BK (cùng vuông góc CD)
AB // CD (gt)
=> AH = BK (cùng cắt AB và CD)
Xét tam giác AHD và tam giác BKC ta có:
Góc H = Góc K = 90 độ (gt)
DH = CK (gt)
AH = BK (cmt)
=> Tam giác AHD = Tam giác BKH (c.g.c)
=> Góc D = Góc C (hai góc tương ứng)
Vậy: ABCD là hình thang cân