Présentation de reflexion_triangle.jps

-6 4 setyrange

/A {-5 -2} def
/B {-3 2} def
/C {-1 -4} def

/I {B C milieu} def

%% on se donne une droite
/d {0 2 0 -2} def

%% on calcule les images
[A B C I] {d axesympoint} papply   
%% et on les nomme
[/A' /B' /C' /I'] exch mapnp

%% dessin de la droite 
d droite

gsave
   pointilles
   [I I'] ligne
grestore

1.2 setcurvelinewidth
[A B C] polygone
[A' B' C'] polygone

%% on marque les longueurs
[B I I C B' I' I' C'] {1 marked} dapply

B A C angledroit
B' A' C' angledroit

[I I'] points

bleu
setTimesItalic
   (A) A dltext      (A') A' drtext    (d) d popp urtext 
   (B) B ultext      (B') B' urtext    
   (C) C dltext      (C') C' drtext    
   (I) I dltext      (I') I' drtext