Source : sansmots.mp

prologues:=2;
input geometriesyr16;
vue=5;
tempo=3;
%tempo 1 vue 0
for k=0*tempo upto tempo:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  pair O,A,B,C,D,I;
  path cc,dd,car[];
  O=u*(5.5,4);
  cc=cercles(O,1.75u);
  D=pointarc(cc,150);
  C=pointarc(cc,45);
  A=pointarc(cc,75);
  dd=perpendiculaire(D,C,A);
  I=dd intersectionpoint droite(C,D);
  B=demidroite(iso(A,I),I) intersectionpoint cc;
  car1=polygone(A,I,rotation(A,I,90),rotation(I,A,-90));
  car2=polygone(B,I,rotation(B,I,90),rotation(I,B,-90));
  car3=polygone(C,I,rotation(C,I,90),rotation(I,C,-90));
  car4=polygone(D,I,rotation(D,I,90),rotation(I,D,-90));
  trace cc;
  trace segment(A,B);
  trace segment(C,D);
  trace codeperp(D,I,B,5);
  fillcolor:=jaune;
  transparence car1;
  fillcolor:=rouge;
  transparence car2;
  fillcolor:=rose;
  transparence car3;
  fillcolor:=orange;
  transparence car4;
  for l=1 upto 4:
    trace car[l];
  endfor;
  marque_p:="plein";
  pointe(O);
  marque_p:="non";
  label(btex $a^2$ etex,iso(I,rotation(I,A,-90)));
  label(btex $b^2$ etex,iso(I,rotation(I,B,-90)));
  label(btex $c^2$ etex,iso(I,rotation(I,C,-90)));
  label(btex $d^2$ etex,iso(I,rotation(I,D,-90)));
  fin;
endfor;
%tempo 2 vue 0
for k=tempo+1 upto (2*tempo):
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace cc;
  trace segment(A,B);
  trace segment(C,D);
  trace codeperp(D,I,B,5);
  fillcolor:=jaune;
  transparence car1;
  fillcolor:=orange;
  transparence car4;
  trace car1;
  trace car4;
  marque_p:="plein";
  pointe(O);
  marque_p:="non";
  label(btex $a^2$ etex,iso(I,rotation(I,A,-90)));
  label(btex $d^2$ etex,iso(I,rotation(I,D,-90)));
  fin;
endfor;
%tempo 3 vue 0
car11=polygone(A,I,rotation(A,I,-90),rotation(I,A,90));
for k=2*tempo+1 upto 3*tempo:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace cc;
  trace segment(A,B);
  trace segment(C,D);
  trace codeperp(D,I,B,5);
  fillcolor:=jaune;
  transparence car11;
  fillcolor:=orange;
  transparence car4;
  trace car11;
  trace car4;
  marque_p:="plein";
  pointe(O);
  marque_p:="non";
  label(btex $a^2$ etex,iso(I,rotation(I,A,90)));
  label(btex $d^2$ etex,iso(I,rotation(I,D,-90)));
  fin;
endfor;
%tempo 4 vue 0
for k=3*tempo+1 upto 4*tempo:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace cc;
  trace segment(A,B);
  trace segment(C,D);
  trace codeperp(D,I,B,5);
  fillcolor:=jaune;
  transparence car11;
  fillcolor:=orange;
  transparence car4;
  trace car11;
  trace car4;
  marque_p:="plein";
  pointe(O);
  marque_p:="non";
  label(btex $a^2$ etex,iso(I,rotation(I,A,90)));
  label(btex $d^2$ etex,iso(I,rotation(I,D,-90)));
  trace segment(A,D) dashed evenly;
  fin;
endfor;
%tempo 5 vue 0
car41=polygone(A,D,rotation(A,D,90),rotation(D,A,-90));
for k=4*tempo+1 upto 5*tempo:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace cc;
  trace segment(A,B);
  trace segment(C,D);
  trace codeperp(D,I,B,5);
  fillcolor:=jaune;
  transparence car11;
  fillcolor:=orange;
  transparence car4;
  trace car11;
  trace car4;
  fillcolor:=violet;
  transparence car41;
  trace car41;
  marque_p:="plein";
  pointe(O);
  marque_p:="non";
  label(btex $a^2+d^2$ etex,iso(D,rotation(D,A,-90)));
  trace segment(A,D) dashed evenly;
  fin;
endfor;
%tempo 6 vue 0
for k=5*tempo+1 upto 6*tempo:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace cc;
  trace segment(A,B);
  trace segment(C,D);
  trace codeperp(D,I,B,5);
  fillcolor:=rouge;
  transparence car2;
  fillcolor:=rose;
  transparence car3;
  trace car2;
  trace car3;
  marque_p:="plein";
  pointe(O);
  marque_p:="non";
  label(btex $b^2$ etex,iso(I,rotation(I,B,-90)));
  label(btex $c^2$ etex,iso(I,rotation(I,C,-90)));
  fin;
endfor;
%tempo 7 vue 0
car21=polygone(I,B,rotation(I,B,90),rotation(B,I,-90));
for k=6*tempo+1 upto 7*tempo:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace cc;
  trace segment(A,B);
  trace segment(C,D);
  trace codeperp(D,I,B,5);
  fillcolor:=rouge;
  transparence car21;
  fillcolor:=rose;
  transparence car3;
  trace car21;
  trace car3;
  marque_p:="plein";
  pointe(O);
  marque_p:="non";
  label(btex $b^2$ etex,iso(I,rotation(I,B,90)));
  label(btex $c^2$ etex,iso(I,rotation(I,C,-90)));
  fin;
endfor;
%tempo 8 vue 0
for k=7*tempo+1 upto 8*tempo:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace cc;
  trace segment(A,B);
  trace segment(C,D);
  trace codeperp(D,I,B,5);
  trace segment(B,C) dashed evenly;
  fillcolor:=rouge;
  transparence car21;
  fillcolor:=rose;
  transparence car3;
  trace car21;
  trace car3;
  marque_p:="plein";
  pointe(O);
  marque_p:="non";
  label(btex $b^2$ etex,iso(I,rotation(I,B,90)));
  label(btex $c^2$ etex,iso(I,rotation(I,C,-90)));
  fin;
endfor;
%tempo 9 vue 0
car31=polygone(C,B,rotation(C,B,-90),rotation(B,C,90));
for k=8*tempo+1 upto 9*tempo:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace cc;
  trace segment(A,B);
  trace segment(C,D);
  trace codeperp(D,I,B,5);
  trace segment(B,C) dashed evenly;
  fillcolor:=rouge;
  transparence car21;
  fillcolor:=rose;
  transparence car3;
  trace car21;
  trace car3;
  fillcolor:=ciel;
  transparence car31;
  trace car31;
  marque_p:="plein";
  pointe(O);
  marque_p:="non";
  label(btex $b^2+c^2$ etex,iso(C,rotation(C,B,-90)));
  fin;
endfor;
%tempo 10 vue 0
for k=9*tempo+1 upto 10*tempo:
  figure(0,0,11u,8u);
  trace feuillet withcolor blanc;
  trace cc;
  trace segment(A,B);
  trace segment(C,D);
  trace codeperp(D,I,B,5);
  fillcolor:=violet;
  transparence car41;
  fillcolor:=ciel;
  transparence car31;
  trace car41;
  trace car31;
  marque_p:="plein";
  pointe(O);
  marque_p:="non";
  label(btex $a^2+d^2$ etex,iso(D,rotation(D,A,-90)));
  label(btex $b^2+c^2$ etex,iso(C,rotation(C,B,-90)));
  fin;
endfor;
au=angle(A-O)-angle(C-O);
%tempo10 vue 1
for k=10*tempo+1 upto (10*tempo+1+vue):
  figure(0,0,11u,8u);
  car31:=polygone(rotation(C,O,(k-10*tempo-1)/5*au),rotation(B,O,(k-10*tempo-1)/5*au),rotation(rotation(C,O,(k-10*tempo-1)/5*au),rotation(B,O,(k-10*tempo-1)/5*au),-90),rotation(rotation(B,O,(k-10*tempo-1)/5*au),rotation(C,O,(k-10*tempo-1)/5*au),90));
  trace feuillet withcolor blanc;
  trace cc;
  trace segment(A,rotation(B,O,(k-10*tempo-1)/5*au));
  trace segment(rotation(C,O,(k-10*tempo-1)/5*au),D);
  fillcolor:=violet;
  transparence car41;
  fillcolor:=ciel;
  transparence car31;
  trace car41;
  trace car31;
  marque_p:="plein";
  pointe(O);
  marque_p:="non";
  label(btex $a^2+d^2$ etex,iso(D,rotation(D,A,-90)));
  label(btex $b^2+c^2$ etex,iso(rotation(C,O,(k-10*tempo-1)/5*au),rotation(rotation(C,O,(k-10*tempo-1)/5*au),rotation(B,O,(k-10*tempo-1)/5*au),-90)));
  trace segment(rotation(B,O,(k-10*tempo-1)/5*au),D) dashed evenly;
  fin;
endfor;
%tempo 13 vue 1<- à voir :)
for k=12*tempo+1 upto 13*tempo:
  figure(0,0,11u,8u);
  car31:=polygone(rotation(C,O,au),rotation(B,O,au),rotation(rotation(C,O,au),rotation(B,O,au),-90),rotation(rotation(B,O,au),rotation(C,O,au),90));
  trace feuillet withcolor blanc;
  trace cc;
  trace segment(A,rotation(B,O,au));
  trace segment(rotation(C,O,au),D);
  fillcolor:=violet;
  transparence car41;
  fillcolor:=ciel;
  transparence car31;
  trace car41;
  trace car31;
  marque_p:="plein";
  pointe(O);
  marque_p:="non";
  label(btex $a^2+d^2$ etex,iso(D,rotation(D,A,-90)));
  label(btex $b^2+c^2$ etex,iso(rotation(C,O,au),rotation(rotation(C,O,au),rotation(B,O,au),-90)));
  trace segment(rotation(B,O,au),D) dashed evenly;
  fin;
endfor;
%tempo 14 vue 1
for k=13*tempo+1 upto 14*tempo:
  figure(0,0,11u,8u);
  car1234:=polygone(D,rotation(B,O,au),rotation(D,rotation(B,O,au),90),rotation(rotation(B,O,au),D,-90));
  trace feuillet withcolor blanc;
  trace cc;
  trace segment(A,rotation(B,O,au));
  trace segment(rotation(C,O,au),D);
  fillcolor:=violet;
  transparence car41;
  fillcolor:=ciel;
  transparence car31;
  trace car41;
  trace car31;
  fillcolor:=vert;
  transparence car1234;
  trace car1234;
  marque_p:="plein";
  pointe(O);
  marque_p:="non";
  label(btex $a^2+d^2$ etex,iso(D,rotation(D,A,-90)));
  label(btex $b^2+c^2$ etex,iso(rotation(C,O,au),rotation(rotation(C,O,au),rotation(B,O,au),-90)));
  label(btex $a^2+d^2+b^2+c^2$ etex,iso(D,rotation(D,rotation(B,O,au),90)));
  fin;
endfor;
end