Réponse :

Explications étape par étape :

1) (AD) // (BC)

   (AF) ⊥ (AD) d'après le codage de la figure

"Une droite perpendiculaire à une première droite est perpendiculaire à toutes les droites parallèles à cette première droite."

(AF) ⊥ (BC)

2) (AB) ⊥ (AD) et (CD) ⊥ (AD)

"2 droites perpendicualires à une même troisième droite sont parallèles entre elles."

(AB) // (DC)