/* Enoncé :
Pour le cercle de centre O ci-contre, 
les cordes [AB] et [CD] ont même longueur.
1. Démontrer que les triangles EAB et ECD sont isométriques.
2. En déduire que la droite (OE) est la médiatrice du segment [BD].
*/
// import geometry_dev; // extension devenue l'extension geometry officielle
import geometry;        // le 12/05/09, dans la version 1.71 d'asymptote. :-))

size(7.5cm,0);
triangle t1 = triangleabc(5,7,6,angle=-90);
show(t1,LA="$A$",LB="$B$",LC="$D$",La="",Lb="",Lc="");
point C=reflect(bisector(t1.B,t1.C))*t1.A;
triangle t2 = triangle(C,t1.B,t1.C);
show(t2,LA="$C$",LB="",LC="",La="",Lb="",Lc="");
draw(circumcircle(t1));
point O=circumcenter(t1),
      E=extension(t1.A,t1.C,t2.A,t2.B);
dot("$O$",O,S);
dot("$E$",E,NE);
draw(t1.A--t1.B,StickIntervalMarker(1,2));
draw(t2.A--t2.C,StickIntervalMarker(1,2));
addMargins(.5cm,.5cm);

/* Enoncé :
Soit ABC un triangle, M le point d'intersection de la médiatrice Delta
du segment [BC] et de la bissectrice d de l'angle BÂC.
H et K sont les projetés orthogonaux de M sur (AB) et (AC).
1. Démontrer que les triangles MHB et MKC sont isométriques.
2. En déduire l'égalité AB+AC=2AH.
*/
// import geometry_dev; // extension devenue l'extension geometry officielle
import geometry;        // le 12/05/09, dans la version 1.71 d'asymptote. :-))

size(7.5cm,0);
triangle t1 = triangleabc(2.6,2.2,3.7,angle=-10);
show(t1,LA="$A$",LB="$B$",LC="$C$",La="",Lb="",Lc="",1bp+black);
line d=bisector(t1.VA),
     delta=bisector(t1.BC);
draw(Label("$d$",Relative(1),align=SW),d);
markangle(t1.AB, t1.AC, StickIntervalMarker(2,1));
draw(segment(t1.BC),1bp+blue,StickIntervalMarker(2,2, 0.8*blue));
draw(Label("$\Delta$",Relative(0),align=NW),delta,dashed+.8bp+red);
perpendicularmark(t1.BC,delta);
point M=intersectionpoint(d,delta);
dot("$M$",M,SE);
point K=projection(t1.AC)*M,
      H=projection(t1.AB)*M;
label("$K$",K,NW);
label("$H$",H,SW);
perpendicularmark(t1.AB,line(M,H));
perpendicularmark(t1.AC,line(M,K),quarter=3);
draw(t1.C--K--M--H);
addMargins(.2cm,.2cm);

/* Enoncé : 
Soit (C) un cercle, A un point extérieur à (C),
R et Q les points de (C) tels que (AR) et (AQ) tangentes à (C).
B et C les points respectivement sur [AR] et [AQ] tels que
(BC) soit tangente à (C) en un point noté P.
Déterminer le périmètre du triangle ABC
et montrer qu'il ne dépend pas de la position de P sur l'arc RQ.
*/
// import geometry_dev; // extension devenue l'extension geometry officielle
import geometry;        // le 12/05/09, dans la version 1.71 d'asymptote. :-))

usepackage("mathrsfs");
size(7.5cm,0);
triangle t1 = triangleabc(7,8,9,angle=-150);
drawline(t1);
label(t1,alignFactor=2);
circle c1=excircle(t1.BC);draw(c1);
point O=c1.C,
      R=projection(t1.AB)*O,
      P=projection(t1.BC)*O,
      Q=projection(t1.AC)*O;
draw(O--R^^O--P^^O--Q^^O--t1.B^^O--t1.C);
perpendicularmark(t1.AB,line(O,R));
perpendicularmark(t1.BC,line(O,P),quarter=3);
perpendicularmark(t1.AC,line(O,Q),quarter=3);
label("$R$",R,dir(O--R));
label("$P$",P,dir(O--P));
label("$Q$",Q,dir(O--Q));
label("$O$",O,dir(Q--O));
label("$O$",O,dir(Q--O));
draw(Label("$(\mathscr{C})$", Relative(0.6)), c1);
addMargins(.5cm,.5cm);