Voir la source de Théorème de l'angle inscrit/Version relative aux angles orientés

{{Chapitre
  | idfaculté = mathématiques
  | niveau    = 13
  | numéro    = 2
  | précédent = [[../Angle inscrit et angle au centre/]]
  | suivant   = [[../|Sommaire]]
}}
Avec des angles orientés, le théorème de l'angle au centre et son corollaire immédiat, le théorème de l'angle inscrit, sont plus simples, et admettent des réciproques donc s'énoncent sous la forme d'équivalences.
{{Clr}}

== Théorème de l'angle au centre==
{{Théorème|contenu=
Soient <math>A</math>, <math>B</math> et <math>M</math> trois points distincts et Γ un cercle de centre <math>O</math> passant par <math>A</math> et <math>B</math>.

Le point <math>M</math> appartient à Γ si et seulement si :
:<math>(\overrightarrow{OA},\overrightarrow{OB})\equiv2\,(\overrightarrow{MA},\overrightarrow{MB})\mod {2\pi}</math>.
}}

{{Démonstration déroulante|contenu=
Supposons que <math>M\in\Gamma</math>. En utilisant la relation de Chasles sur les angles orientés et le fait que les [[Triangle rectangle/Définition|triangles]] <math>OAM</math> et <math>OBM</math> sont [[w:Triangle isocèle|isocèles]], on a (modulo <math>2\pi</math>) :
:<math>\begin{align}(\overrightarrow{OA},\overrightarrow{OB})&\equiv(\overrightarrow{OA},\overrightarrow{OM})+(\overrightarrow{OM},\overrightarrow{OB})\\
&\equiv\pi-2\,(\overrightarrow{MO},\overrightarrow{MA})+\pi-2\,(\overrightarrow{MB},\overrightarrow{MO})\\
&=2\pi-2\left((\overrightarrow{MB},\overrightarrow{MO})+(\overrightarrow{MO},\overrightarrow{MA})\right)\\
&\equiv-2\,(\overrightarrow{MB},\overrightarrow{MA})\\
&\equiv2\,(\overrightarrow{MA},\overrightarrow{MB}).
\end{align}</math>

Réciproquement, supposons que <math>(\overrightarrow{OA},\overrightarrow{OB})\equiv2(\overrightarrow{MA},\overrightarrow{MB})\mod {2\pi}</math>, ce qui empêche les points <math>A</math>, <math>B</math> et <math>M</math> d'être alignés (l'angle <math>(\overrightarrow{OA},\overrightarrow{OB})</math> n'est jamais nul). On peut donc considérer le centre <math>O'</math> du [[w:Cercle circonscrit à un triangle|cercle circonscrit au triangle]] <math>MAB</math> et utiliser le sens direct de la propriété :
:<math>(\overrightarrow{O'A},\overrightarrow{O'B})\equiv2\,(\overrightarrow{MA},\overrightarrow{MB})\mod{2\pi}</math>.
On obtient ainsi :
:<math>(\overrightarrow{O'A},\overrightarrow{O'B})\equiv(\overrightarrow{OA},\overrightarrow{OB})\mod{2\pi}</math>.

Les triangles isocèles <math>OAB</math> et <math>O'AB</math> ayant même base et même angle au sommet, ils sont confondus et <math>O'=O</math>. Le point <math>M</math> est donc bien sur le cercle Γ.
}}

== Théorème de l'angle inscrit==
{{Corollaire|contenu=
Soit <math>AMB</math> un triangle non plat. Un point <math>N</math> distinct de <math>A</math> et <math>B</math> appartient au cercle circonscrit à ce triangle si et seulement si :
:<math>(\overrightarrow{NA},\overrightarrow{NB})\equiv(\overrightarrow{MA},\overrightarrow{MB})\mod\pi</math>.
}}

{{Bas de page
  | idfaculté = mathématiques
  | précédent = [[../Angle inscrit et angle au centre/]]
  | suivant   = [[../|Sommaire]]
}}