Xét `\DeltaAED` và `\DeltaAMB`, ta có:
`AE = AM` (Vì ` \DeltaAME` vuông cân tại `A`)
` AB= AD` (Vì `ABCD` là hình vuông)
`\hat(EAD) = \hat(MAB)` (cùng phụ với `\hat(DAM)`)
Suy ra: `\DeltaAED = \DeltaAMB (c.g.c)`
`=> \hat(ADE) = \hat(ABM) = 90^0` (Hai góc tương ứng)
Ta có: `\hat(EDC) = \hat(ADE) + \hat(ADC) = 90^0 + 90^0 = 180^0`
`=> E, D, C ` thẳng hàng `(đpcm)`