b) A1^=C1^ (1) (chứng minh a)

Mà △ABC vuông có AM là trung tuyến nên △AMC cân tại M => C1^=A4^(2).

Từ (1) và (2) suy ra A1^=A4^(3)

D thuộc đường trung trực của BC.

=> DM⊥BC = {M}

=> D1^=A2^

Vì DM = MA (giả thiết) ⇒ M1^= A3^ ⇒ A2^=A3^  (4)