Présentation de cercle_insc.jps

/A {-3 -3} def
/B {-1 4} def
/C {4 0} def
%% %% taille de la fenetre
%% -4 5 setxrange
%% -4 5 setyrange
%% 
%% %% definition des points
%% /A {4 -2} def
%% /B {2 4} def
%% /C {-2 -1.5} def

%%%% tout ce qui suit ne depend que des points A B et C

%% on nomme les bissectrices
/d {A B C bissectrice} def
/d' {B C A bissectrice} def

%% le centre du cercle inscrit
/I {d d' interdroite} def

%% les projetes orthogonaux
/A' {I B C orthoproj} def
/B' {I A C orthoproj} def
/C' {I B A orthoproj} def

%% rayon du cercle inscrit
/r {I B' distance} def

%% les traces
orange
I r cercle


I C' A angledroit
I B' A angledroit
I A' B angledroit

rouge
jpegmode
pointilles
[I A'] ligne
[I B'] ligne
[I C'] ligne

noir
[C A B A' B' C' I] points
1.7 setcurvelinewidth
continu
[C A B] polygone

bleu
setTimesItalic
   (O) O dltext
   (A) A dltext
   (B) B urtext
   (C) C drtext
   (A') A' urtext
   (B') B' drtext
   (C') C' ultext
   (I) I utext