a) OD = OB (gt) mà ED = EO = OD/2 ; FO = FB = OB/2 

=> ED = EO = FO = FB 

Ta có: OA = OC (gt) và   OE = OF (cmt)  => tứ giác AECF là hbh  => AE // CF

b) Kẻ OS // AK (S thuộc DC) 

Tg DOS: EO = ED (cmt) ; OS // EK (do OS //AK)  => KD = KS.   (1)

Hình thang EKCF: OE = OF (cmt) ; OS // EK (cmt) => KS = SC    (2) 

Từ (1) và (2) => KD = KS = SC  (*)

Mặt khác: KS + SC = KC => 2 * KS = KC  (**)

Từ (*) và (**) => đpcm