Hãy nhập câu hỏi của bạn vào đây, nếu là tài khoản VIP, bạn sẽ được ưu tiên trả lời.
Gọi đường tròn (BIC) cắt BD trại G khác B. Trên đoạn AD lấy E' sao cho AE' = AF.
Xét \(\Delta\)AIF và \(\Delta\)AIE': AF = AE', ^IAF = ^IAE', AI chung => \(\Delta\)AIF = \(\Delta\)AIE' (c.g.c) => IF = IE'
Xét (BIC): ^FBG nội tiếp, BI là phân giác ^FBG, I thuộc (BIC) => (IF = (IG => IF = IG. Từ đó IG = IE'
Dễ thấy: ^IE'A = ^IFA (Do \(\Delta\)AIF = \(\Delta\)AIE') => ^IFB = ^IE'D hay ^IE'D = ^IGD
Từ đó: ^GID = ^E'ID (Vì ^IDE' = ^IDG), kết hợp với IG = IE', cạnh ID chung => \(\Delta\)DGI = \(\Delta\)DE'I (c.g.c)
Suy ra: DG = DE'. Ta lại có: ^CAB = ^CDB; ^CFB = ^CGB => ^FCA = ^GCD
Xét \(\Delta\)CFA và \(\Delta\)CGD: CA = CD; ^CAF = ^CDG; ^FCA = ^GCD => \(\Delta\)CFA = \(\Delta\)CGD (g.c.g)
=> AF = DG. Mà DG = DE' nên AF = DE'. Do đó: DE' = AE' => E' là trung điểm AD => E' trùng E
Như vậy AE = AF và IF = IE suy ra AI là trung trực của EF hay AI vuông góc EF (đpcm),
