\documentclass[a4paper,11pt,reqno]{amsart}
\usepackage{M67tds}

\DeclareMathOperator{\aire}{aire}

\begin{document}

\hautdepage{TD3: Géométrie plane}

\begin{convention}
  On se place dans le plan $\ens{P}=\R^2$.
\end{convention}

% ==================================
\section{Propriétés basiques -- Cours}
% ==================================


%-----------------------------------
\begin{exo}[.5]

  Montrer que deux droites perpendiculaires à une troisième sont parallèles.
\end{exo}

%-----------------------------------
\begin{exo}[.7] (Médiatrice)

  Soient $A$ et $B$ deux points distincts. Montrer que l'ensemble des points $M$ tels que $AM=BM$ est la droite perpendiculaire à $(AB)$ passant par le milieu de $[AB]$.
\end{exo}

%-----------------------------------
\begin{exo} (Bissectrice et longueurs)

  Soit $M$ le pied de la bissectrice issue de $A$ dans un triangle $\tri ABC$ (c.-à-d. le point d'intersection de cette bissectrice et du côté opposé $[BC]$).
  \begin{enumerate}
    \item Montrer l'égalité des rapports $AB:AC=MB:MC$.
    \item Montrer que la bissectrice $AM$ coupe le cercle circonscrit en un point $P$ qui est sur la médiatrice.
    \item Montrer que $AM^{2} = AB \times AC - MB \times MC$
  \end{enumerate}
\end{exo}

%-----------------------------------
\begin{exo} (Parallélogrammes) % parallelogrammes : cotes paralleles deux a deux ; quadrilateres : 4 segments

  \begin{enumerate}
    \item Montrer qu'un quadrilatère $ABCD$ est convexe si et seulement si les segments $[AC]$ et $[BD]$ se rencontrent.
    \item Montrer que pour un quadrilatère convexe $ABCD$ les conditions suivantes sont équivalentes :
    \begin{enumerate}
      \item c'est un parallélogramme;
      \item les angles opposés sont égaux;
      \item les côtés opposés sont égaux;
      \item deux côtés opposés sont parallèles et égaux;
      \item ses diagonales $[AC]$ et $[BD]$ se coupent en leur milieu.
    \end{enumerate}
    \item Montrer qu'un parallélogramme est un rectangle (resp. un losange) si et seulement si ses diagonales sont égales (resp. perpendiculaires).
    \item Montrer que les bissectrices d'un parallélogramme forment un rectangle. À quelle condition forment-elles un carré?
    \item Montrer que les milieux des côtés d'un quadrilatère convexe sont les sommets d'un parallélogramme.
  \end{enumerate}
\end{exo}

%-----------------------------------
%-----------------------------------
\begin{exo} (Quadrilatère inscrit)

    Soit $ABCD$ un quadrilatère non croisé.
    \begin{enumerate}
      \item Montrer que si $ABCD$ est inscrit dans un cercle, alors $ABCD$ est convexe et ses diagonales se coupent en un point.
      \item Montrer l'équivalence des assertions suivantes:
      \begin{itemize}
        \item $ABCD$ est inscrit dans un cercle.
        \item $\widehat{ABC}+\widehat{CDA} = \pi$ (ou $\widehat{DAB}+\widehat{BCD} = \pi$).
        \item $[AC]$ et $[BD]$ se coupent en $S$ et $AS \times SC = BS \times SD$.
        \item $AB\times CD + BC\times DA = AC\times BD$ (c'est le \emph{théorème de Ptolémée}).
      \end{itemize}
    \end{enumerate}
\end{exo}

%-----------------------------------
\begin{exo} (Cas de similitude)

  Soient $\tri ABC$ et $A'B'C'$ deux triangles tels que $(A'B') \parallel (AB)$, $(A'C') \parallel (AC)$ et $(B'C') \parallel (BC)$.
  \begin{enumerate}
    \item Montrer que les triangles $\tri ABC$ et $A'B'C'$ sont semblables.
    \item Montrer que de plus les droites $(AA')$, $(BB')$ et $(CC')$ sont parallèles ou concourantes.
  \end{enumerate}

\end{exo}


%-----------------------------------
\begin{exo} (Points remarquables dans le triangle)

  Soit $\tri ABC$ un triangle.
  \begin{enumerate}
    \item Montrer que les trois bissectrices sont concourantes. Montrer que leur point commun est centre d'un \emph{cercle inscrit} dans le triangle $\tri ABC$, et qu'il n'y a qu'un seul tel centre (et un seul tel cercle).
    \item Montrer que la bissectrice d'un angle et les bissectrices extérieures des deux autres angles sont également concourantes.
    \item Montrer que les trois médiatrices du triangle sont concourantes. Montrer que leur point commun est \emph{centre du cercle circonscrit} au triangle $\tri ABC$.
    \item Montrer que les trois hauteurs sont concourantes. On appelle \emph{orthocentre} leur point d'intersection.
    \item Montrer que les trois médianes sont concourantes en un point situé au tiers de chacune d'elles en partant de la base correspondante. On appelle \emph{centre de gravité} ou \emph{barycentre} leur point d'intersection.
    \item Montrer que le centre du cercle circonscrit, l'orthocentre et le centre de gravité sont alignés (on appelle \emph{droite d'Euler} la droite passant par ces trois points). %On pourra considérer le point $A'$ du cercle circonscrit à $\tri ABC$ diamétralement opposé à $A$.Autre piste: $I$ et $J$ étant les milieux de $[BC]$ et $[AC]$, on a $(JO)$ parallèle à $(BH)$, $(IO)$ à $(AH)$ et $(IJ)$ à $(AB)$, donc $(BJ)$, $(AI)$ et $(HO)$ sont concourantes ou parallèles.
  \end{enumerate}
\end{exo}

%-----------------------------------
\begin{exo} (Rayons des cercles circonscrit et inscrit)

  Soit $\tri ABC$ un triangle.
  \begin{enumerate}
    \item Exprimer le rayon du cercle circonscrit en fonction des longueurs des côtés et des angles du triangle.
    \item Exprimer le rayon du cercle inscrit en fonction du périmètre et de l'aire du triangle.
  \end{enumerate}
\end{exo}


% ==================================
\section{Dans le triangle}
% ==================================

%-----------------------------------
\begin{exo}[.7]

  Soient $\tri ABC$ un triangle et $H$  son orthocentre. Soit $H'$ le symétrique de $H$ par rapport à $(BC)$ Montrer que $H'$ est sur le cercle circonscrit à $\tri ABC$.
\end{exo}

%-----------------------------------
\begin{exo}[.7]

  Soient $\tri ABC$ un triangle et $P$, $Q$, $R$ trois points situés respectivement sur $[BC]$, $[CA]$ et $[AB]$. Montrer que les cercles circonscrits aux triangles $AQR$, $BRP$ et $CPQ$ ont un point commun.
\end{exo}


%-----------------------------------
\begin{exo} (Carré dans un  triangle)

  Soit $\tri ABC$ un triangle \emph{acutangle}\footnote{À angles aigus.}.
  \begin{enumerate}
    \item Montrer qu'il existe un carré $IJKL$ avec $I \in [AB]$, $J \in [AC]$ et $K,L \in [BC]$. En donner une construction.
    \item Un tel carré est-il unique?
    \item Que se passe-t-il si le triangle a un angle obtus?
  \end{enumerate}
\end{exo}

%-----------------------------------
\begin{exo} (Inégalité triangulaire)

  Soit $\tri ABC$ un triangle.
  \begin{enumerate}
    \item \label{plusgrand} Montrer que si $AB > AC$, alors $\widehat{C}>\widehat{B}$ (on pourra considérer $B' \in [AB]$ tel que $AB'=AC$). % ou utiliser la loi des sinus
    \item Montrer qu'on a en fait équivalence: $AB>AC$ si et seulement si $\widehat{C}>\widehat{B}$.
    \item En déduire l'inégalité triangulaire: dans un triangle, chacun des côtés est plus petit que la somme des deux autres.
    \item Déduire de la question \ref{plusgrand}) qu'un disque est convexe.
  \end{enumerate}
\end{exo}


%-----------------------------------
\begin{exo}[.7] (Triangle orthique)

  Soit $\tri ABC$ un triangle. On note respectivement $H_A$, $H_B$ et $H_C$ les pieds des hauteurs issues de $A$, $B$ et $C$. Montrer que les bissectrices du triangle $\tri H_AH_BH_C$ sont les hauteurs du triangle $\tri ABC$.
\end{exo}

%-----------------------------------
\begin{exo} (Tout triangle est isocèle)

  On donne ici un argument pour établir que tout triangle est isocèle (dû à W.W. Rouse Ball).
  Soit $\tri ABC$ un triangle quelconque. Soit $D$ le point d'intersection de la bissectrice de l'angle $\widehat{BAC}$ avec la médiatrice du côté opposé $[BC]$. Soient $E,F$ et $G$ les projetés orthogonaux de $D$ sur $[BC]$,$[AB]$ et $[AC]$.\vskip -1.1\baselineskip
  \sidebyside{.70}{
    \begin{enumerate}
      \item Montrer que $DF=DG$ et $AF=AG$.
      \item Montrer que $DB=DC$, puis que $FB=GC$.
      \item En déduire que $\tri ABC$ est isocèle, puis qu'il est équilatéral.
      \item Comment expliquer cela?
    \end{enumerate}
  }{
    \includegraphics[width=35mm]{img_isocele_ball}
  }
\end{exo}

% ==================================
\section{Cercles, angles et longueurs}
% ==================================

%-----------------------------------
\begin{exo}

  Soient $A$ et $B$ deux points  et $\alpha \in ]0,\pi[$ donnés. Soit $\Gamma$ l'ensemble des points $C$ tels que $\widehat{ACB}=\alpha$.
  \begin{enumerate}
    \item Décrire l'ensemble $\Gamma$. Sous quelle condition $\Gamma$ est un cercle ?
    \item Montrer que quand $C$ parcourt $\Gamma$, l'isobarycentre $G$ de $\tri ABC$ parcourt deux arcs de cercles. Sous quelle condition $G$ parcourt un cercle ?
    \item Montrer que quand $C$ parcourt $\Gamma$, le centre du cercle inscrit $I$ de $\tri ABC$ parcourt deux arcs de cercles. Sous quelle condition $I$ parcourt un cercle ?
    \item Montrer que quand $C$ parcourt $\Gamma$, l'orthocentre $H$ de $\tri ABC$ parcourt deux arcs de cercles. Sous quelle condition $H$ parcourt un cercle ?
    \item Quand $C$ parcourt $\Gamma$, quelle est l'ensemble parcouru par le centre du cercle circonscrit de $\tri ABC$ ?
  \end{enumerate}
\end{exo}

%-----------------------------------
\begin{exo} (Puissance d'un point)

  Soient $M$ un point et $\ens{C}$ un cercle. On considère une droite $\ens{D}$ passant par $P$ et qui rencontre $\ens{C}$ en deux points (pas forcement distincts) $S$ et $T$.
  \begin{enumerate}
    \item Montrer que la quantité $\overline{MS}\times \overline{MT}$ ne dépend pas du choix de la droite $\ens{D}$.
  \end{enumerate}
  \begin{convention}
    Pour la suite on note cette quantité $P_{\ens{C}}(M)$ et on l'appelle \emph{puissance de $M$ par rapport à $\ens{C}$}.
  \end{convention}
  \begin{enumerate}[resume]
    \item Étant donné un cercle $\ens{C}$, déterminer le signe de $P_{\ens{C}}(M)$ en fonction de la position de $M$.
    \item Montrer que l'ensemble des points à égale puissance par rapport à deux cercles non concentriques donnés est une droite (appelée \emph{axe radical} de ces deux cercles).
    \item Déterminer l'axe radical dans le cas de deux cercles distincts qui s'intersectent.
    \item Quelle droite «connue» généralise l'axe radical.
    \item Étant donnés deux cercles non concentriques, construire à la règle et compas l'axe radical.
  \end{enumerate}
\end{exo}

%-----------------------------------
\begin{exo} (Angle entre deux cercles)

  Soient deux cercles $\ens{C}_{1}$ et $\ens{C}_{2}$ de centre respectifs $O_{1}$ et $O_{2}$ qui se rencontrent en un point $S$. On définit (la mesure de) l'angle entre $\ens{C}_{1}$ et $\ens{C}_{2}$ comme étant égale à $\widehat{O_{1}MO_{2}}$.
  \begin{enumerate}
    \item Quelle est l'angle entre deux cercles tangents extérieurement ?
    \item Quelle est l'angle entre deux cercles tangents intérieurement ?
    \item Soient un cercle $\ens{C}$ et un point $M$ extérieur à $\ens{C}$. Montrer qu'il existe un cercle de centre $M$ qui est orthogonal\footnote{Qui fait un angle de $\pi/2$ avec $\ens{C}$.} à $\ens{C}$.
    \item Étant donnés deux cercles, déterminer l'ensemble des centres des cercles orthogonaux à ces deux cercles.
    \item Étant donnés trois cercles en position générale, montrer qu'il existe un unique cercle qui est orthogonal aux trois.
  \end{enumerate}
\end{exo}


% ==================================
\section{Utilisation des aires}
% ==================================

\begin{convention}
  On note $\aire (P)$ l'aire d'une figure $P$.
\end{convention}

%-----------------------------------
\begin{exo}[.5]

  Soit $T$ un triangle inclus dans un rectangle $R$. Montrer que $\aire(T) \leqslant \frac{1}{2}\aire{R}$.
\end{exo}

%-----------------------------------
\begin{exo}
  Soit $\tri ABC$ un triangle inscrit dans le cercle fixé $\ens{C}$.
  \begin{enumerate}
    \item Sous quelle condition l'aire de $\tri ABC$ est maximale ?
    \item Sous quelle condition $AB^{2}+BC^{2}+CA^{2}$ est maximal ?
    \item Et pour un quadrilatère $ABCD$ ?
  \end{enumerate}

\end{exo}

%-----------------------------------
\begin{exo} (Théorèmes de Gergonne et de Céva)

  Soient $\tri ABC$ un triangle et $A'$, $B'$, $C'$ trois points de $(BC)$, $(AC)$ et $(AB)$.
  \begin{enumerate}
    \item Si $(AA')$, $(BB')$ et $(CC')$ sont concourantes en un point $M$ intérieur au triangle $\tri ABC$, alors on a la relation de Gergonne
    $$
      \frac{MA'}{AA'}+\frac{MB'}{BB'}+\frac{MC'}{CC'}=1.
    $$
    \begin{indication}
      Interpréter les rapports comme des rapports d'aires.
    \end{indication}
    \item Les trois droites $(AA')$, $(BB')$ et $(CC')$ sont concourantes si et seulement si la relation de Céva
      $$
        \frac{\overline{A'B}}{\overline{A'C}}\frac{\overline{B'C}}{\overline{B'A}}\frac{\overline{C'A}}{\overline{C'B}}=-1.
      $$
  \end{enumerate}
\end{exo}

%-----------------------------------
\begin{exo} (Formule de Héron)

  \begin{enumerate}
    \item Montrer que l'aire d'un triangle $\tri ABC$ de côtés de longueurs $a$, $b$ et $c$ et de demi-périmètre $p=\frac{1}{2}(a+b+c)$ est
    $$
      \aire{(ABC)}=\sqrt{p(p-a)(p-b)(p-c)}.
    $$
    \begin{indication}
      Exprimer $\sin^2(\widehat{A})$.
    \end{indication}
    \item En déduire une expression du rayon du cercle inscrit en fonction des longueurs des côtés.
  \end{enumerate}
\end{exo}

%-----------------------------------
\begin{exo} (Longueurs des hauteurs)

  Donnes une condition nécessaire et suffisante sur trois nombres réels $h_{A}$, $h_{B}$ et $h_{C}$ pour qu'ils soient les longueurs des hauteurs d'un triangle.\\
  Et pour qu'ils soient les longueurs des hauteurs d'un triangle acutangle ?
\end{exo}

%-----------------------------------
\begin{exo}[.7] (Partage de trapèze)

  Soit $ABCD$ un trapèze de grande base $CD$ et de petite base $AB$. Construire un point $M$ de $[CD]$ tel que $(AP)$ partage le trapèze en deux parties de même aire.
\end{exo}

%-----------------------------------
\begin{exo}[.5] (Rosace)

  Calculer l'aire de la rosace à 6 feuilles construite au compas.
\end{exo}

%-----------------------------------
\begin{exo}[.7]

  Deux disques $\Delta_1$ et $\Delta_2$ de même rayon sont tangents extérieurement et tangents à une même droite $\mathcal D$. Calculer l'aire du disque $\Delta$ tangent à la fois à $\Delta_1$, $\Delta_2$ et $\mathcal D$.
\end{exo}

%-----------------------------------
\begin{exo} (Kangourou 2012)

  \sidebyside{.7}{
    Un morceau de papier rectangulaire $ABCD$, de taille $4$ sur $16$, est plié le long de la droite $(MN)$ de sorte que le sommet $C$ coïncide avec le sommet $A$ (voir la figure).\\
    Quelle est l'aire du pentagone $ABMND'$ ?
  }{
    \raisebox{-14mm}[0pt][0pt]{\includegraphics[width=5cm]{img_kangourou2012b}}
  }
\end{exo}

%-----------------------------------
\begin{exo} (Kangourou 2015)

  \sidebyside{.7}{
    Soit $IJKL$ un rectangle. Soient $M_{1}$ le milieux de $KL$, $M_{2}$ le milieux de $IM_{1}$, $M_{3}$ le milieux de $JM_{2}$ et $M_{4}$ le milieux de $KM_{3}$ \emph{(voir la figure ci-contre)}. Quel est le rapport entre l'aire du quadrilatère $M_{1}M_{2}M_{3}M_{4}$ et celle du rectangle $IJKL$ ?
  }{
    \raisebox{-21mm}[0pt][0pt]{\includegraphics[width=5cm]{img_kangourou2015}}
  }
\end{exo}



\end{document}