Bonjour,
la question est-elle vraiment là ?
la "conclusion" n'apporte rien puisqu'on sait que (d) est médiatrice et on n'en tire aucune conclusion. en particulier rien sur le milieu de [KL] ou quoi que ce soit
ce n'est pas "C'est l'une des définitions de la médiatrice"
c'est juste un raisonnement archi faux
de façon générale un raisonnement correct est
on sait que propriété P (ici que (d) est médiatice)
or propriété générale "P implique Q"
donc Q est vraie
on ne peut rien tirer de :
on sait que propriété P
or Q implique P
donc rien du tout.
la seule correction possible à ce raisonement faux est de le transformer en
on sait que (d) médiatrice
or une médiatrice a telle propriété (si une droite est médiatrice alors...)
donc (d) a cette propriété
dans ce sens là "si une droite est médiatrice alors"
et pas "si .. alors la droite est médiatrice"
évidemment on peut aussi supprimer le raisonnement faux complètement mais ce n'est pas ce qui est attendu de cet exo, c'est de corriger le raisonnement )
l'exo porte sur la rédaction des "on sait que ... or ... donc ..."