`\color{green}\text{iplayguitar}`

Vì `ABCD` là hình thang cân

`=>{(AD=BC),(\hat{ADH}=\hat{BCK}):}`

Vì `H,K` lần lượt là hình chiếu của `A,B` trên `CD`

`=>{(AH⊥CD),(BK⊥CD):}`

Xét `ΔADH` vuông tại `H` và `ΔBCK` vuông tại `K:`

`AD=BC`

`\hat{ADH}=\hat{BCK}`

`=>ΔADH=ΔBCK(\text{ch-gn})`

`=>DH=CK`