`a)` Xét `triangleAHD` và `triangleAKC` có:

`hat{AHD}=hat{BKC}=90^o`

`AD=BC` (2 cạnh bên hình thang)

`hat{ADH}=hat{BCK}` (2 góc kề hình thang)

`=>triangleAHD=triangleAKC`

`b)`

Có:

`AH botDC` (gt)

`BK bot DC` (gt)

`=>AH////BK`

Xét tam giác `ABKH` có:

`AB////HK`

`AH////BK`

`=>` tam giác `ABHK` là hình bình hành (tam giác có 2 cặp cạnh đối song song)

`=>AB=HK`

`c)`

Có:

`KC+DH=DC-HK`

Mà `KC=DH`

`=>2KC=(DC-HK)`

`=>KC=(DC-HK):2`

Lại có:`AB=HK`

`=>KC=(DC-AB):2`