dans le triangle ABC on a:
* I milieu de [AC]
* E milieu de [BA]
donc (th de Thales) : (EI) // (AB)
dans le triangle DBC on a:
* J milieu de [BD]
* F milieu de [DC]
donc (th de Thales) : (FJ) // (AB)
dans le triangle ABD on a:
* I milieu de [AC]
* J milieu de [BD]
donc (th de Thales) : (EJ) // (AD)
dans le triangle ADC on a:
* I milieu de [AC]
* F milieu de [CD]
donc (th de Thales) : (FI) // (AD)
on en déduit que :
(EI) // (FJ) et (EJ) // (FI)
donc EIFJ est un parallélogramme