Fichier cercle_circ.jps — Modifié le 23 Mars 2006 à 15 h 41
/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