### 9.10.11 La médiatrice d’un segment : `perpen_bisector mediatrice`

Voir aussi : 10.6.2 pour la géométrie 3-d.
`mediatrice`, en géométrie plane, a comme argument un segment ou 2 points (ou 2 nombres complexes représentant l’affixe de ces points ou encore une liste de 2 points ou de 2 complexes).
`mediatrice` renvoie et dessine une droite qui est la médiatrice du segment défini par les deux arguments.
On tape :

`mediatrice(1,i)`

Ou on tape :

`mediatrice(segment(1,i))`

On obtient :

`La droite d’équation y=x`