Question

Đã trả lời bởi chuyên gia

Answer 1

Để chứng minh các phần của bài toán, ta sẽ thực hiện từng bước một:

a) Chứng minh tứ giác EFMK là tứ giác nội tiếp:

Xét tam giác EIB và tam giác FIM:

∠EIB=∠FIM (vì chúng là góc đối của các tiếp tuyến).
∠BEI=∠IFM (vì BE và IF là tia phân giác của các góc).
Do đó, theo góc - cạnh - góc, ta có △EIB∼△FIM.

Tương tự, từ tam giác EAB và FBM, ta cũng có △EAB∼△FBM.

Từ đó, ta suy ra tứ giác EFMK là tứ giác nội tiếp, vì ∠EAB=∠FBM và ∠EIB=∠FIM.

b) Chứng minh AF=IM⋅IR:

Vì AE là tia phân giác của góc IAM, nên theo định lí phân giác, ta có:

AE/ME=AI/IM

Tương tự, vì BE là tia phân giác của góc IBM, nên:

BE/ME=BI/IM

Từ đó, ta có:

AE/BE=AI/BI

Áp dụng định lí điểm giao của hai đường tròn, ta có:

AE⋅BE=AF⋅BF

Từ tứ giác nội tiếp EFMK, ta có AE⋅BE=ME⋅KE

Do đó: ME⋅KE=AF⋅BF

Tuy nhiên, ta cũng biết rằng ME⋅KE=MF⋅MI, từ tứ giác EFMK.

Vậy, ta có: AF⋅BF=MF⋅MI

Từ đó, ta suy ra: AF=MF⋅MI/BF

Nhưng BF=BR, do hai tam giác BFR và BIM đồng dạng. Vậy:

AF=MF⋅MI/BR

Nhưng BR=IR, do BRI cũng là tam giác đồng dạng với BAF.

AF=MF⋅MI/IR

c) Chứng minh BAF là tam giác cân:

Xét góc BFA và BAF, chúng là góc đồng nhất, do AF là tiếp tuyến với đường tròn tại F.

Ngoài ra, ta đã chứng minh AF=IM⋅IR.

Vậy, BAF là tam giác cân.

...Xem thêm

Answer 2