input geometriesyr16; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; end