%% PhS
%%
50 setxunit
-4 4 setxrange
-3.5 3.5 setyrange
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% procédures
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
/bddroite {
8 dict begin
/kd exch def
/kg exch def
/By exch def
/Bx exch def
/B {Bx By} def
/Ay exch def
/Ax exch def
/A {Ax Ay} def
gsave
[A A B vecteur kg mulv addv A A B vecteur kd mulv addv] ligne
grestore
end
} def
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% definition d'une couleur
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
/coul1 {120 255 div 70 255 div 9 255 div setrgbcolor} def
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% definition des points
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
/a {1.5} def
/c {2.3} def
/b {c c mul a a mul sub sqrt} def
/e {c a div} def
/Kx {a e div} def
/K {Kx neg 0} def
/K+ {K 0 6 addv} def
/K- {K 0 -6 addv} def
/Kp {Kx 0} def
/Kp+ {Kp 0 6 addv} def
/Kp- {Kp 0 -6 addv} def
/O {0 0} def
/F {c neg 0} def
/Fp {c 0} def
/S1 {a neg 0} def
/S2 {a 0} def
/B {0 b} def
/xdet {settvar t t mul b b mul div 1 add sqrt a mul} def
/ydet {settvar t} def
/Mx {b 1.4 mul xdet} def
/My {b 1.4 mul ydet} def
/M {Mx My} def
/Hp {M Kp Kp+ orthoproj} def
/H {M K K+ orthoproj} def
/bissec {F M Fp bissectrice} def
/T {bissec Kp Kp+ interdroite} def
/U {bissec M perp Kp Kp+ interdroite} def
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% traces
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1.2 setlinewidth
[O F Fp S1 S2 K Kp M H Hp] points
F Fp -0.5 1.5 bddroite
[O 0 -6.5 addv O 0 6.5 addv] ligne
coul1
b -2 mul b 2 mul settrange
{xdet} {ydet} courbeparam
b -2 mul b 2 mul settrange
{xdet neg} {ydet} courbeparam
vert
[K+ K-] ligne
[Kp+ Kp-] ligne
pointilles
[M H] ligne
orange
continu
[F M Fp] ligne
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% texte
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
setTimesItalic
noir
(O) O [1.5 dup] dltext
(F) F [1.5 dup] drtext
(F') Fp [1.5 dup] drtext
bleu
(M) M [1.5 dup] uctext
vert
(K) K [1.5 dup] dltext
(K') Kp [1.5 dup] drtext
(H) H [1.5 dup] ultext
(H') Hp [1.5 dup] urtext
$ \mathcal{D} $
K 0 -3 addv [1.5 dup] cltexlabel
$ \mathcal{D}' $
Kp 0 -3 addv [1.5 dup] crtexlabel