// Les medianes d'un triangle sont concourrantes
A:=point(0);
B:=point(1,0);
assume(x=1);
assume(y=-1);
//y:=-1;
C:=point(x,y);
triangle(A,B,C);
a:=bissectrice(A,B,C);
b:=bissectrice(B,C,A);
c:=bissectrice(C,A,B);
M:=head(inter(a,b));
N:=head(inter(a,c));
normal(M-N);