Le plan médiateur : perpen_bisector mediatrice

11.6.2 Le plan médiateur : perpen_bisector mediatrice

Voir aussi : 10.9.12 pour la géométrie plane.
mediatrice, en géométrie 3-d, a comme argument un segment ou deux points A et B.
mediatrice(A,B) trace le plan médiateur du segment (A,B).
On tape :

mediatrice(point([0,0,0]),point([4,4,4]))

Ou on tape :

mediatrice(segment([0,0,0],[4,4,4]))

On obtient :

Le plan médiateur du segment [0,0,0],[4,4,4]