%%%%% 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
I times
%%% 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
Omega 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
%%%%% nouveau trace %%%%%
0 setgray
%% trace de la mediatrice de [OM]
%% les points necessaires a la construction simulee au compas
/H {O M milieu} def
/B'1 {H 0 R 1.2 mulv addv} def
/B'2 {H 0 R 1.2 mulv subv} def
%% les arcs de cercle
A0 B'1 10 Arc
O B'1 10 Arc
A0 B'2 10 Arc
O B'2 10 Arc
%% trace de la mediatrice
O M mediatrice /d defdroite
d droite
%% definition puis trace de l'intersection de cette mediatrice avec
%% le cercle initial
d C0 interdroitecercle /A1 defpoint /A4 defpoint
A1 note
A4 note
|