ok,un truc possible, juste avec Pythagore, c'est de prendre trois points M, N, P tels que la parallèle à AB passant par I coupe BC en M et coupe FE en N, et P est l'intersection entre la parallèle à AB passant par J et EF.
Puis tu fais Pythagore dans IMJ puis dans INF et dans JPF, et tu regardes si IJ+JF=IF (les distances)