(** Exercice 38 avec une médiane a. Construis un triangle EAU quelconque. b. Construis la médiane [EL]. Place N milieu de [AE] et M milieu de [EU]. O est le point d'intersection de (EL) et de (MN). c. Est-il vrai que (OL) est une médiane du triangle LMN ? Justifie ta réponse. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container38"></div> # **)

(* Specifications: *)
Lemma sesamath_4ieme_G2_ex38 :
forall E A U M N L,
~ Col E A U ->
Midpoint N E A ->
Midpoint M E U ->
Midpoint L U A ->
exists O : Tpoint, Col O E L /\ Midpoint O M N.