Tứ giác `DACM` có:
`DA` // `MC`
`DM` // `AC`
`=>` Tứ giác `DACM` là hình bình hành
`=> hat{D} = hat{C}; DA = MC`
Tương tự:
Tứ giác `AEMB` là hình bình hành có `hat{B} = hat{E}; AE = BM`
Ta có:
* `DE = DA + AE`
* `BC = BM + MC`
mà `DA = MC; AE = BM`
`=> DE = MC`
Xét tam giác `MDE` và tam giác `ACB` có:
`hat{B} = hat{E}`
` DE = MC`
`hat{D} = hat{C}`
`=>` tam giác `MDE =` tam giác `ACB` (góc - cạnh - góc)