Xét hình chữ nhật `ABCD`, ta có:

`AB //// CD`

Mà `E, F in AB` nên `EF //// CD`

`=>` Tứ giác `EFCD` là hình thang

Xét `Delta ADE` và `Delta BCF` có:

`AD = BC` 

`hat(A) = hat(B) = 90^@` 

`AE = BF` `("gt")`

`=> Delta ADE = Delta BCF` `("c.g.c")`

`=> DE = CF` (hai cạnh tương ứng)

`=> EFCD` là hình thang cân