Cho tam giác ABC vuông tại A, điểm D nằm giữa A và B (BD > AD). Đường tròn (O) đường kính BD tại điểm thứ hai là E. Đường thẳng AE cắt đường tròn (O) tại điểm thứ hai là G, cắt DC tại J; đường thẳng DC cắt đường tròn tại điểm thứ hai là F.
a) Chứng minh AFBC là tứ giác nội tiếp.
b) Chứng minh AC//FG.
c) Chứng minh EF.DJ = EJ.DF.