Une médiatrice est une droite qui coupe un segment en son milieu perpendiculairement,
Donc on calcule la distance des deux points par apport a K et si elles sont egales alors celui-ci fait bien partit de la médiatrice OC :
(*=au carré, R= Racine carré)
A (6;0)
B (0;4)
xK = (xA+ xB)/2
yK = (yA+yB)/2
(je passe car tu l'as deja caluculé) :
K (3;2)
O (0;0)
C (1; -1)
OK* = (3-0)* + (2-O)*
=3*+2*
=9+4=13
OK= R13
CK* = (3-1)* + (2-(-1)
=2*+3*
=4+9=13
CK=R13
CK=OK
Donc K fait bien partit de la médiatrice AB
