Fichier 430.jps — Modifié le 23 Janvier 2007 à 15 h 50

430.pdf
Source
-2 10 setxrange
-2.2 2.2 setyrange
20 setxunit

traceOx
axeOxarrow

[0.2 dup neg 0 dup 4 1 roll exch ] ligne
[0.2 dup neg 3 dup 4 1 roll exch ] ligne
[0.2 dup neg 5 dup 4 1 roll exch ] ligne
1.7 setlinewidth

/a {7} def
/b {0} def
/c {3} def
/d {5} def

gsave
%0 30 translate
   orange
(I) a 1.5 [1.5 dup] cctext
   [b c] {1.5} apply
   ([-[) ligne
grestore
gsave
%0 15 translate
   bleu
(J) a 0.75 [1.5 dup] cctext
   [c d] {0.75} apply
   ([-]) ligne
grestore
gsave
%0 -15 translate
   noir
<latex> 
$I\cap J=\varnothing$
</latex> 
a -0.75 [1.5 dup] cctexlabel
%   [-1 2] {-0.75} apply
%   ([-[) ligne

grestore
gsave
%0 -30 translate
   noir
<latex> 
$I\cup J$
</latex> 
a -1.5 [1.5 dup] cctexlabel
   [0 5] {-1.5} apply
   ([-]) ligne
grestore



/B{b 0} def    
/C {c 0} def
/D{d 0} def   

noir
12 setfontsize
setTimesItalic
  
(0) B urtext
(3) C ultext
(5) D urtext