Applications
Introduction : On se place dans plan affine euclidien orient. On suppose connu :
Angles orients de vecteurs, relation de Chasles
i) ii)
Dmonstration :
i) Les triangles OAM et OBM sont isocles en O, et en utilisant le deuximes rappel de lintroduction, on a :
(OM , OA ) + 2 (MA ,MO) = (2 ) . On additionne membre membre pour trouver que : ( OB ,OM) + 2 (MO , MB) = (2 )
Si T (distinct de A) appartient la tangente C en A, alors : 2 ( AT , AB ) = 2 ( AT , AO) + 2 ( AO, AB ) (2 ) soit 2 ( AT , AB ) = + 2 ( AO, AB ) (2 ) puisque (AT) (AO)
De plus le triangle OAB est isocle en O donc ( OA, OB ) + 2 ( AB , AO) = (2 ) 2 ( AO, AB ) = ( OA, OB ) -
(2 )
(2 )
Soit T (distinct de A) vrifiant lgalit ( OA , OB ) = 2 ( AT , AB ) (2 ). On veut montrer que T appartient la tangente au cercle C passant par A. Soit T0 (distinct de A) un point de la tangente C en A. Si T = T0 alors T est sur la tangente C en A et cest termin.
-1-
Guesmi.B
Leon 31
Sinon, daprs le premier sens T0 vrifie lgalit ( OA , OB ) = 2 (AT0 , AB ) (2 ). Par suite, 2 ( AT , AB ) (AT0 , AB ) = 0
(2 )
( AT , AB ) - (AT0 , AB ) = 0 ( ) ( AT , AT0) = 0 ( ) Les points A, T, T0 sont aligns T appartient la tangente au cercle C passant par A. On dduit de ce thorme le corollaire suivant : Corollaire 1 : Soient A, B et M trois points distincts dun cercle C de centre O et T un point (distinct de A) de la
tangente c passant par A.. On a alors que ( AT , AB ) = ( MA , MB) ( ) ce qui correspond lgalit des angles orients de droites : langle orient entre les droites (AT) et (AB) est le mme que langle orient entre les droites (MA) et (MB) modulo ( ) Remarque : Un angle orient entre 2 droites se dfinit modulo car on peut considr 2 angles :
O x (D) y (D)
a a (Oy , Oy) = (Ox , Oy) + (2 ) et cest pour cela quun angle orient de droite se dfinit prs a (D , D) = ( ) o est une mesure dun des angles de demi-droites dfinis par D et D
Dfinition 1 : Avec les notations du thorme 1, on dit que langle ( MA, MB) est inscrit dans le cercle C, et que langle
( OA , OB ) est langle au centre correspondant. Dans un cercle, langle au centre vaut ainsi le double de langle inscrit correspondant.
Dfinition 2 : Si ( MA, MB) est un angle inscrit dans un cercle, on dit que cet angle inscrit intercepte larc orient AB dorigine A qui ne passe pas par M. Dfinition 3 : Soit C cercle de centre O, orient par une orientation du plan. La mesure de larc orient A B est le rel ]-2 , 2 [ qui est une mesure, de mme signe que larc, de langle
orient ( OA , OB ). On crit mes AB = La mesure gomtrique dun arc est la valeur absolue de lun ( quelconque) des arcs orients associs, elle appartient [0 , 2 [. AB est dit un arc positif sil est dans le plan ngatif dtermin
-2-
Guesmi.B
Leon 31
Thorme 2 : [Thorme de larc intercept]
Dans le plan euclidien orient, pour tout angle inscrit ( MA, MB) qui intercepte larc orient AB on a : ( MA, MB) = 1 mes (2 ).
Deux angles inscrits sont gaux en tant quangles orients de vecteurs si et seulement si ils interceptent deux arcs orients de mme mesure. Ils sont gaux en tant quangles gomtriques si et seulement si ils interceptent deux cordes gales et sont tous les deux aigus ou tous les deux obtus.
Dmonstration : Soit (MA , MB) un angle inscrit dans un cercle C de centre O. On suppose que cet angle a une mesure
principale ]0 , [ (i.e. langle est positif). On a ( OA, OB ) = 2 (MA , MB) = 2 (2 ) par le thorme de langle 1 inscrit. Or 2 ]0 ,2 |, cest donc la mesure le larc orient positif AB. Ainsi = mes AB et 2 (MA , MB) = 1 mes AB (2 ). 2 Il reste vrifier que cet arc positif AB est bien larc intercept. Il faut donc montrer que larc intercept par un angle inscrit positif est un arc positif (i.e. un arc situ dans le plan ngatif).
Dans le triangle MAB, les angles orients (MA , MB) et ( AB , AM) sont de mme sens (sens direct ici) et cela entrane que M est dans le plan positif dlimit par laxe (AB) dirig par AB . Or larc intercept est par dfinition, larc AB situ dans lautre plan, celui qui ne contient pas M et qui est donc dans le plan ngatif : cest bien par dfinition des arcs orients larc positif AB.
On raisonne de mme faon si la mesure principale de (MA , MB) est dans ]- , 0[ Pour la dernire partie du thorme, on utilise lquivalence AB = CD a AOB= a COD (facile vrifier) a=a Par le thorme de langle inscrit on a AMB CND.
2. Cocyclicit :
Dfinition 4 : On dit que N points du plan sont cocycliques sil existe un cercle passant par ces N points. Remarque : Pour N = 2 cest facile : si A et B sont 2 points, tracer le cercle de diamtre [AB] Pour N = 3 cest aussi facile : Si A, B, C sont trois points non aligns, On note O lintersection des 3 mdiatrices et on trace le cercle de centre O et de rayon OA : cest le cercle circonscrit au triangle ABC. Pour N = 4, a se complique Thorme 3 : Quatre points distincts du plan A, B, C et D sont aligns ou cocycliques si et seulement si on a
( CA , CB ) =( DA , DB ) ( )
-3-
Guesmi.B
Leon 31
Dmonstration : Si A, B, C et D sont aligns alors ( CA, CB ) =( DA , DB ) = 0 ( ) . cest ok Si A, B, C et D sont cocycliques, le thorme de langle inscrit entrane que 2( CA, CB )=2( DA , DB ) = ( OA, OB ) (2 ) Do ( CA, CB ) =( DA , DB ) ( ) rciproquement, si on suppose avoir ( CA , CB ) =( DA , DB ) ( ) A, B, C aligns A, B, D aligns car cela correspond la nullit de ces 2 angles modulo A, B, C et D sont aligns. En revanche si A, B et C ne sont pas aligns alors il en va de mme pour les points A, B et D. Donc il existe deux cercles et respectivement circonscrits au triangle ABC et au triangle ABD. Si T (resp. T) est un point de la tangente (resp. ) en A et diffrent de A, le corollaire 1 donne :
( ) ) do en utilisant lhypothse :
( AT , AB ) = (AT, AB ) ( ) et donc (AT) = (AT). Les cercles et passent tous les 2 par les points A et B et ont le mme tangente en A ils sont confondus et alors les 4 points A, B, C et D sont sur le mme cercle. On peut traduire ce thorme en terme daffixe : Thorme 4 : Quatre points distincts A, B, C, D daffixes respectives a, b, c, d sont aligns ou cocycliques si et bc bd Y *. seulement si a-c a-d
C
B
On note A le pied de la hauteur issue de A. B le pied de la hauteur issue de B. C le pied de la hauteur issue de C. H le symtrique de H par rapport (BC) H le symtrique de H par rapport (AC) H le symtrique de H par rapport (AB) On veut montrer que A, B, C et H sont cocyclique
H A
A B
C
-4-
Guesmi.B
Leon 31
Montrons en prambule le rsultat suivant : Soient ABC un triangle rectangle en B et ADC un triangle rectangle en D. Alors les points A, B, C et D sont cocycliques. ($)
En effet, ( BA , BC ) = ( DA, DC ) ( )
(HB,HC) = ( HC , HB ) (2 ) car une rflexion renverse les angles orients. = (HC, HB) (2 ) angles opposs par rapport au sommet Or les points H, C, A, B sont cocycliques car ACH est rectangle en C et ABH est rectangle en B.
Et on a bien que les points H, B, A, C sont cocycliques et donc H appartient au cercle circonscrit du triangle ABC. On peut faire le mme raisonnement pour H et H.
M, P, Q, C sont cocycliques ( PQ , PM) = ( CQ , CM) ( ) De mme les points M, B, P, R sont cocycliques (par le mme argument avec les triangles RBM rectangle en R et PBM
( )
Guesmi.B
-5-