// import geometry_dev; // extension devenue l'extension geometry officielle
import geometry;        // le 12/05/09, dans la version 1.71 d'asymptote. :-))

size(7cm,0);
show(currentcoordsys);
point pA=(1,2),pB=(4,1),pC=(3,5);
triangle TRI=triangle(pA,pB,pC);
draw(TRI,.8bp+red);
label(TRI,alignFactor=1,alignAngle=-60);
// Hauteur issue de A
point projA=projection(pB,pC)*pA;
drawline(pA,projA,blue);
perpendicularmark(TRI.BC,line(pA,projA));
// Hauteur issue de B
point projB=projection(pA,pC)*pB;
drawline(pB,projB,green);
perpendicularmark(TRI.AC,line(pB,projB));
// Orthocentre
dot(extension(pA,projA,pB,projB));