%%%%% les anciens traces %%%%%
.6 setgray
%%% trace des axes
gsave
mixte
traceOx
grestore
%%% la style pour les points definitifs
/dotscale {1.5 1.5} def
/note {
gsave
bleu
point
grestore
} def
/R 4 def %% rayon du cercle initial
/A0 {R 0} def %% le point initial
/C0 {O dupp A0 distance} def %% le cercle initial
/A'0 {R neg 0} def %% le point diametralement oppose au
%% point initial
/I {0 R} def %% un point d'intersection du cercle
%% initial avec l'axe vertical
%%% trace des points initiaux
O times
A0 note
%%% trace du cercle initial
C0 cercle
A'0 times
%% trace du point I
/I' {I 0 1.5 addv} def
A0 I' 10 Arc
A'0 I' 10 Arc
O I' 1.1 trait
%%% La mediatrice de [O A'0]
%% points necessaires a la construction
/Omega {O A'0 milieu} def
/B1 {Omega 0 R 1.2 mulv addv} def
/B2 {Omega 0 R 1.2 mulv subv} def
%% trace des arcs de cercle
A'0 B1 10 Arc
O B1 10 Arc
A'0 B2 10 Arc
O B2 10 Arc
%% trace de la mediatrice et du point milieu
B1 B2 droite
%%%%% nouveau trace %%%%%
0 setgray
Omega times
I times
%% le cercle de centre Omega passant par I
/C1 {Omega I IAcercle} def
%% et son intersction M avec [O A0]
O A0 C1 interdroitecercle /M defpoint pop
%% trace de l'arc de cercl
90 -10 C1 Cercle
%% et du point d'intersection
M times
|