Xét ΔDAC có MI//AC
nên \(\dfrac{DI}{DC}=\dfrac{DM}{DA}\)

mà \(\dfrac{DM}{DA}=\dfrac{BN}{BC}\)

nên \(\dfrac{DI}{DC}=\dfrac{DM}{DA}=\dfrac{BN}{BC}\)

=>Các tỉ số bằng với tỉ số DI/DC là \(\dfrac{DM}{DA};\dfrac{BN}{BC}\)

a) Để chứng minh tứ giác ABFM là tứ giác nội tiếp, ta cần chứng minh góc AMB + góc AFB = 180 độ.

Góc AMB là góc giữa đường chéo BD và cạnh AB của hình vuông ABCD. Vì đường chéo BD cắt AE tại M, nên góc AMB chính là góc EAM.

Góc AFB là góc giữa đường thẳng EF và cạnh AB của hình vuông ABCD. Vì đường thẳng EF song song với cạnh AB, nên góc AFB bằng góc EAF.

Theo đề bài, góc EAF + 45 độ = 180 độ. Do đó, góc EAF = 180 - 45 = 135 độ.

Vậy, ta có góc AMB + góc AFB = góc EAM + góc EAF = 135 độ + 135 độ = 270 độ = 180 độ.

Vì tổng hai góc AMB và AFB bằng 180 độ, nên tứ giác ABFM là tứ giác nội tiếp.

b) Khi E và F di động trên các cạnh BC và CD của hình vuông ABCD, ta cần chứng minh rằng đường thẳng EF luôn tiếp xúc với một đường tròn cố định.

Gọi O là giao điểm của đường chéo BD và đường thẳng EF. Ta cần chứng minh rằng O nằm trên một đường tròn cố định khi E và F di động.

Vì góc EAF + 45 độ = 180 độ, nên góc EAF = 135 độ. Điều này có nghĩa là tam giác EAF là tam giác cân tại A.

Do đó, đường trung tuyến MN của tam giác EAF là đường cao và đường trung trực của cạnh EF. Vì M và N lần lượt là giao điểm của đường trung tuyến MN với AE và AF, nên M và N là trung điểm của AE và AF.

Vì M và N là trung điểm của hai cạnh của hình vuông ABCD, nên OM và ON là đường trung trực của AB và AD. Do đó, O nằm trên đường trung trực của cạnh AB và AD.

Vì AB và AD là hai cạnh cố định của hình vuông ABCD, nên đường trung trực của AB và AD là đường thẳng cố định. Vậy, O nằm trên một đường tròn cố định.

Vì vậy, khi E và F di động trên các cạnh BC và CD của hình vuông ABCD, đường thẳng EF luôn tiếp xúc với một đường tròn cố định.

Sửa đề: Chứng minh góc EFM = 90⁰ ?

Có DF = CK => DF + FK = CK + FK => DK = CF. Xét \(\Delta\)EKF có ^EKF = 90⁰

=> ME² = KE² + KM² (ĐL Pytagoras). Tương tự: KE² = DE² + DK² ; KM² = CK² + CM²

Do đó ME² = DE² + DK² + CK² + CM². Thay CK = DF, DK = CF ta được:

ME² = (DE² + DF²) + (CF² + CM²) = FE² + FM² (ĐL Pytagoras)

Áp dụng ĐL Pytagoras đảo vào \(\Delta\)EMF suy ra \(\Delta\)EMF vuông tại F => ^EFM = 90⁰.

Cho mình sửa dòng thứ 2: "Xét \(\Delta\)EKM có ^EKM = 90⁰ "