(** Exercice 40 : ABC est un triangle quelconque. R est un point de [BC]. On appelle S, T, M et N les milieux respectifs de [BR], [RC], [AB] et [AC]. a- Montre que (NT) est parallèle à (MS). b- Montre que MNTS est un parallélogramme. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container40"></div> # **)

Lemma sesamath_4ieme_G2_ex40 :
forall A B C M R N S T,
~Col A B C ->
Bet C R B ->
Midpoint M A B ->
Midpoint N A C ->
Midpoint S B R ->
Midpoint T R C ->
Par M S N T /\ Parallelogram M S T N.