Bài 4c
Ta có Góc ADC= góc ACB (cmt)
Tg ABC (A=90 độ) OA là trung tuyến
=>OA=BC/2
=>OA=OB=>Tg OAB cân tại O
=> góc BAO=góc ABC
Gọi K là giao OA và EF
Xét tg ADF
Góc ADC+ góc BAO
=ACb+abc=90 ĐỘ
=> Tg AKD là tg vuông tại K
=>OA vuông góc DE
=> đpcm