On veut démontrer le théorème de la droite des milieux: Si C' est le milieu de [AB]
et B' est le milieu de [AC], alors (B'C')//(BC). Pour cela on ajoute un point à la
figure, D qui est le symétrique de C' par rapport à B':
Progression
Remettre la démonstration dans l'ordre:
Donc (BC')//(CD) et BC'=CD.
puisqu'il a deux côtés parallèles et de même longueur.
puisque ses diagonales ont même milieu.
Mais (C'D)=(C'B').
Soit également D le symétrique de C' par rapport à B'.
Soient C' le milieu de [AB] et B' le milieu de [AC].