Déplacer les points A, B, C et D.
Il semble que IJKL soit un parallélogramme: est-ce toujours vrai?
C'est à démontrer, en distinguant d'abord
l'hypothèse (données): I, J, K, L milieux de [AB], [BC], [CD], [DA]
et la conclusion (ce qu'il faut démontrer): IJKL parallélogramme?
Considérer le triangle ABC:
I est le milieu de [AB] et J celui de [BC] (hypothèse)
donc (IJ) est parallèle à (AC) (propriété).
Considérer le triangle ADC:
K est le milieu de [CD] et L celui de [DA] (hypothèse)
donc (KL) est parallèle à (AC) (propriété).
(IJ) // (AC) et (KL) // (AC) (démontré)
donc (IJ) // (KL) (propriété).
On démontrerait de même que (JK) // (LI).
(IJ) // (KL) et (JK) // (LI) (démontré)
donc IJKL est un parallélogramme (définition).