Définition 2. L'extrémité d'un rayon d'un cercle est l'extrémité du segment appartenant au cercle.
Propriété 2. Si une droite est tangente à un cercle alors cette droite coupe
perpendiculairement l'extrémité d'un rayon du cercle.
Démonstration. (Raisonnement par l'absurde) Supposons que (d) n'a qu'un seul point d'intersection
A avec un cercle de centre O. Supposons également
que cette droite ne soit pas perpendiculaire au rayon [OA].
Soit H l'intersection de (d) et de la perpendiculaire à
(d) passant par O. Les points H et A sont distincts. Soit
B le symétrique de A par rapport à (OH), on a alors
OA = OB, autrement dit B est un point du cercle. Le
point B appartient également à (d). Ainsi (d) a deux
points d'intersection distincts avec le cercle, ce qui est
absurde. Donc (d) est perpendiculaire au rayon [OA].
Réciproque. Si une droite coupe perpendiculairement l'extrémité d'un rayon d'un cercle
alors cette droite est tangente au cercle.
Démonstration. Supposons que la droite (d) coupe perpendiculairement l'extrémité A du rayon
[OA] d'un cercle de centre O. Soit P un point
quelconque de (d), distinct de A. D'après la
propriété 1, on a OP > OA. Or le cercle de centre O
et de rayon OA est l'ensemble des points M tel que
OM = OA, donc P n'est pas un point du cercle. Ainsi
la droite (d) n'a qu'un seul point d'intersection avec
le cercle, cette droite est tangente au cercle.
Bissectrice d'un angle
Propriété 3. Si un point appartient à la bissectrice d'un angle alors ce point est équidistant
des côtés de l'angle.
Démonstration. Plaçons un point M sur la bissectrice d'un angle de sommet A, et de ce point on
mène les perpendiculaires (MB) et (MC) aux
côtés de l'angle. Sachant que la bissectrice d'un
angle est l'axe de symétrie de cet angle, le point
B' image de B par rapport à (AM) appartient
nécessairement à [AC). De plus, les symétries
conservent les angles, donc :