Section Exercices.
Context `{TE:Tarski_euclidean}.
(** Exercice 35 : Dans un triangle rectangle a. GAZ est un triangle rectangle en A. Les points F, E et R sont les milieux respectifs de [AZ], [GZ] et [GA]. Fais une figure. b. Quelle est la nature du quadrilatère FERA ? Prouve-le. *)
(** # <div style="width:748px;height:397px;display:block" id="applet_container35"></div> # **)

Lemma sesamath_4ieme_G2_ex35 :
forall G A Z F E R,
~ Col G A Z ->
Per G A Z ->
Midpoint F A Z ->
Midpoint E G Z ->
Midpoint R G A ->
Rectangle F E R A.