Để chứng minh rằng các đoạn thẳng AB và CD là song song (AB // CD), ta có thể sử dụng các thuộc tính của các góc.

1. **Chứng minh AB // CD:**

- Trong hình có hai góc vuông tại các điểm E và F.
- Góc ABE = 45°, góc CDF = 45° (góc chéo).
- Bởi vì tổng của các góc trong một hình vuông là 360° và các góc chéo tại E và F đều là 90°, ta có:
- Góc ABE + Góc AEF = 90°.
- Góc CDF + Góc CFE = 90°.
- Nếu hai góc cùng bên trong hai đường thẳng bị cắt bởi một đường thẳng khác (trong trường hợp này là EF) bằng nhau, thì hai đường thẳng đó là song song.
- Do đó, ta có AB // CD.

2. **Tính góc ABF:**

- Ta đã biết rằng góc ABE = 45° và góc AEF = 90°.
- Góc ABF = Góc ABE + Góc AEF = 45° + 90° = 135°.

Vậy:
- AB // CD do hai góc chéo bằng nhau.
- Góc ABF = 135°.