/* Projections sur une droite (objet de type line)
a) orthogonalement
    transform projection(line l)
b) parallèlement à une autre droite (objet de type line)
    transform projection(line l1, line l2, 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(7cm,0);

// Définition de deux droites par leurs équations
// droite d1 d'équation x + 2y - 3 = 0
line d1=line(1,3,-3);
// droite d2 d'équation y = -2x + 3
line d2=line(-2,3);

point M=(1,2);
// Images de M par deux projections sur d1.
pair imM1=projection(d1,d2)*M,
	 imM2=projection(d1)*M;

// Constructions
draw(d1,blue);
draw(d2,green);
draw(segment(M,imM1),dashed+green);
draw(segment(M,imM2),dashed+red); 
perpendicularmark(line(M,imM2),d1,quarter=2);
dot("$M$",M,NE);
dot("$M_1$",imM1,SW,red);
dot("$M_2$",imM2,SW,red);

addMargins(1cm,1cm);