Les droites (EF) et (BC) sont parallèles si elles sont, toutes les deux, perpendiculaires à la droite (AB). Il s'agit donc de savoir si les angles AFE et FBC sont droits (égaux à 90°). Pour cela, il faut calculer les longueurs manquantes (FE et BC) grâce à l'égalité de Pythagore vue, normalement, en 4°. Une fois ces longueurs connues, il faut vérifier que les triangles sont bien rectangles en comparant les longueurs au carré de l'hypothénuse (le plus long côté) avec la somme des carrés des longueurs de leurs deux autres côtés. Si elles sont égales, les triangles sont bien rectangles DONC les côtés sont perpendiculaires à AB DONC elles sont parallèles.
