Présentation de cercle_circ.jps

/A {-3 -3} def
/B {-1 4} def
/C {4 0} def

%% les milieux
/A' {B C milieu} def
/B' {A C milieu} def
/C' {B A milieu} def

%% les mediatrices
/dA {B C mediatrice} def
/dB {A C mediatrice} def
/dC {B B mediatrice} def

%% le centre du cercle circonscrit
/O {dA dB interdroite} def

%% les angles droits
O A' C angledroit
O B' A angledroit
O C' B angledroit

%% on marque les longueurs
A' C 1 marked
B A' 1 marked
A C' 2 marked
C' B 2 marked
/dotangle A C angle def
A B' milieu times3
B' C milieu times3

1.7 setcurvelinewidth
[A B C] polygone

.7 setcurvelinewidth
[A' O C'] ligne
[O B'] ligne

O point

orange
O O C distance cercle
bleu
setTimesItalic
   (O) O dltext
   (A) A dltext
   (B) B urtext
   (C) C drtext
   (A') A' urtext
   (B') B' drtext
   (C') C' ultext