Diagrammes ensemblistes

 input geometriesyr16;
 
 

 beginfig(1);
 %figure(0,0,10u,10u);%A
 pair O,O',A',B',A,B;
 path cc,cd;
 picture fond;
 O=u*(3,4);
 O'=u*(6,5);
 cc=cercles(O,2.5u);
 cd=cercles(O',3.5u);
 A=cc intersectionpoint cd;
 B=symetrie(A,O,O');
 A'=pointarc(cc,120);
 B'=pointarc(cd,50);
 fond=image(
   trace feuillet;
   trace A'--(A' shifted(u*(-0.5,0.5)))--(A' shifted(u*(-0.5,1)))--(A' shifted(u*(-1,1)))--(A' shifted(u*(-1,0.5)))--(A' shifted(u*(-0.5,0.5)))--cycle;
   label(btex $A$ etex,iso((A' shifted(u*(-0.5,0.5))),(A' shifted(u*(-1,1)))));
   trace B'--(B' shifted(u*(0.5,0.5)))--(B' shifted(u*(0.5,1)))--(B' shifted(u*(1,1)))--(B' shifted(u*(1,0.5)))--(B' shifted(u*(0.5,0.5)))--cycle;
   label(btex $B$ etex,iso((B' shifted(u*(0.5,0.5))),(B' shifted(u*(1,1)))));
   trace u*(4,0.25)--u*(6,0.25)--u*(6,0.75)--u*(4,0.75)--cycle;
   trace cc;
   trace cd;
   );
 trace hachurage(cc,60,0.25,0) withcolor orange;
 trace fond;
 label(btex $A$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
 %fin;
 endfig;
 
 

 beginfig(2);
 %figure(0,0,10u,10u);%Abar
 draw hachurage(feuillet,60,0.25,0) withcolor orange;
 remplis cc withcolor blanc;
 trace fond;
 label(btex $\bar A$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
 %fin;
 endfig;
 
 

 beginfig(3);
 %figure(0,0,10u,10u);
 trace hachurage(cd,60,0.25,0) withcolor orange;
 trace fond;
 label(btex $B$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
 %fin;
 endfig;
 
 

 beginfig(4);
 %figure(0,0,10u,10u);%Bbar
 draw hachurage(feuillet,60,0.25,0) withcolor orange;
 remplis cd withcolor blanc;
 trace fond;
 label(btex $\bar B$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
 %fin;
 endfig;
 
 

 beginfig(5);
 %figure(0,0,10u,10u);%réunion
 trace fond;
 label(btex $A\cup B$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
 trace hachurage(A--arccercle(A,B,O)--B--arccercle(B,A,O')--cycle,60,0.25,0) withcolor orange;
 %fin;
 endfig;
 
 beginig(6);
 %figure(0,0,10u,10u);%reunionbar
 trace hachurage(feuillet,60,0.25,0) withcolor orange;
 remplis (A--arccercle(A,B,O)--B--arccercle(B,A,O')--cycle) withcolor blanc;
 trace fond;
 label(btex $\overline{A\cup B}$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
 %fin;
 endfig;
 
 

 beginfig(7);
 %figure(0,0,10u,10u);%intersection
 trace fond;
 label(btex $A\cap B$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
 trace hachurage(A--arccercle(A,B,O')--B--arccercle(B,A,O)--cycle,60,0.25,0) withcolor orange;
 %fin;
 endfig;
 
 

 beginfig(8);
 %figure(0,0,10u,10u);%intersectionbar
 trace hachurage(feuillet,60,0.25,0) withcolor orange;
 remplis (A--arccercle(A,B,O')--B--arccercle(B,A,O)--cycle) withcolor blanc;
 trace fond;
 label(btex $\overline{A\cap B}$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
 %fin;
 endfig;
 
 

 beginfig(9);
 %figure(0,0,10u,10u);%B-A
 trace hachurage(B--arccercle(B,A,O')--reverse(arccercle(B,A,O))--cycle,60,0.25,0) withcolor orange;
 trace fond;
 label(btex $B-A$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
 %fin;
 endfig;
 
 

 beginfig(10);
 figure(0,0,10u,10u);%(B-A)bar
 draw hachurage(feuillet,60,0.25,0) withcolor orange;
 remplis (B--arccercle(B,A,O')--reverse(arccercle(B,A,O))--cycle) withcolor blanc;
 trace fond;
 label(btex $\overline{B-A}$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
 %fin;
 endfig;
 
 

 beginfig(11);
 %figure(0,0,10u,10u);%A-B;
 trace hachurage(A--arccercle(A,B,O)--reverse(arccercle(A,B,O'))--cycle,60,0.25,0) withcolor orange;
 trace fond;
 label(btex $A-B$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
 %fin;
 endfig;
 
 

 beginfig(12);
 figure(0,0,10u,10u);%(A-B)bar;
 trace hachurage(feuillet,60,0.25,0) withcolor orange;
 remplis (A--arccercle(A,B,O)--reverse(arccercle(A,B,O'))--cycle) withcolor blanc;
 trace fond;
 label(btex $\overline{A-B}$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
 %fin;
 endfig;
 
 

 beginfig(13);
 %figure(0,0,10u,10u);%A ouexclu B
 trace hachurage(A--arccercle(A,B,O)--B--arccercle(B,A,O')--cycle,60,0.25,0) withcolor orange;
 remplis (A--arccercle(A,B,O')--B--arccercle(B,A,O)--cycle) withcolor blanc;
 trace fond;
 label(btex $A\,ou\,B$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
 %fin;
 endfig;
 
 

 beginfig(14);
 %figure(0,0,10u,10u);%(A ouexclu B) bar
 trace hachurage(feuillet,60,0.25,0) withcolor orange;
 remplis (A--arccercle(A,B,O)--reverse(arccercle(A,B,O'))--cycle) withcolor blanc;
 remplis (B--arccercle(B,A,O')--reverse(arccercle(B,A,O))--cycle) withcolor blanc;
 trace fond;
 label(btex $\overline{A\,ou\,B}$ etex,iso(u*(4,0.25),u*(6,0.75)));%titre
 %fin;
 endfig;
 end;