/* Image d'un point par projection "verticale"
   en utilisant la fonction vprojection de l'extension geometry
   Syntaxe :
		transform vprojection(line l, bool safe=false)
*/
// import geometry_dev; // extension devenue l'extension geometry officielle
import geometry;        // le 12/05/09, dans la version 1.71 d'asymptote. :-))

size(6cm,0);
show(currentcoordsys);

// Définition de 3 points donnés
point A=(2,1),B=(-1,3.5),C=(1.2,3.1);
// et de l'image C' de C par projection sur (AB)
// parallèlement à l'axe des abscisses.
pair imC=vprojection(line(A,B))*C;

// Constructions
draw(line(A,B),blue);
draw(segment(C,imC),green);
dot("$A$",A,NE); dot("$B$",B,NE);
dot("$C$",C,N); dot("$C'$",imC,SW,red);

addMargins(1cm,1cm);