(** Exercice 47 : Sur une droite (d), on considère trois points A, B et C tels que B soit le milieu de [AC]. Sur une droite (d'), on considère un point A'. B' est le point d'intersection de (d') et de la parallèle à (AA') passant par B. C' est le point d'intersection de (d') et de la parallèle à (AA') passant par C. a- Construis cette figure. b- Que dire de B'? Prouve-le. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container47"></div> # **)

(* Specifications: *)
Lemma sesamath_4ieme_G2_ex47 :
forall A B C A' B' C',
~Col A C C' ->
~Col A A' C'->
Col B' A' C' ->
Midpoint B A C->
Par A A' B B' ->
Par A A' C C' ->
Midpoint B' A' C'.