// xcas version=0.7.4 fontsize=20 font=0 // fltk 7Fl_Tile 23 74 920 469 20 0 [ // fltk N4xcas6FigureE 23 74 920 468 20 0 landscape=0 history=0.32935 geo=0.54891 mouse_param=0.12174 // fltk N4xcas12History_PackE 25 -588 283 1130 20 0 [ // fltk 7Fl_Tile 47 -588 261 80 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 -588 261 30 20 0 point3d(A,B,C,D) , // fltk N4xcas10Log_OutputE 47 -558 261 1 20 0 , // fltk 9Fl_Scroll 47 -557 261 49 20 0 [ // fltk N4xcas10Gen_OutputE 47 -557 905 27 20 0 [pnt(pnt[point[-2,0,4],0,"A"]),pnt(pnt[point[4,1,2],0,"B"]),pnt(pnt[point[-4,1,-5],0,"C"]),pnt(pnt[point[-3,-4,3],0,"D"])] , // fltk 12Fl_Scrollbar 47 180 245 20 20 0 [] , // fltk 12Fl_Scrollbar 292 153 16 33 20 0 [] ] ] , // fltk 7Fl_Tile 47 -506 261 80 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 -506 261 30 20 0 tetrahedron(A,B,C,D) , // fltk N4xcas10Log_OutputE 47 -476 261 1 20 0 , // fltk 9Fl_Scroll 47 -475 261 49 20 0 [ // fltk N4xcas10Gen_OutputE 47 -475 1663 27 20 0 pnt(pnt[polyhedron[group[point[-2,0,4],point[4,1,2],point[-4,1,-5]],group[point[-2,0,4],point[-4,1,-5],point[-3,-4,3]],group[point[-2,0,4],point[4,1,2],point[-3,-4,3]],group[point[4,1,2],point[-4,1,-5],point[-3,-4,3]]],0]) , // fltk 12Fl_Scrollbar 47 180 245 20 20 0 [] , // fltk 12Fl_Scrollbar 292 153 16 33 20 0 [] ] ] , // fltk 7Fl_Tile 47 -424 261 58 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 -424 261 30 20 0 assume(t=[0.28,0,1,0.02]) , // fltk N4xcas10Log_OutputE 47 -394 261 1 20 0 , // fltk N4xcas10Gen_OutputE 47 -393 261 27 20 0 parameter(t,0.0,1.0,0.28,0.02) ] , // fltk 7Fl_Tile 47 -364 261 101 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 -364 261 51 20 0 I:=element(segment(A,B),t,£display=epaisseur_point_5) , // fltk N4xcas10Log_OutputE 47 -313 261 1 20 0 , // fltk 9Fl_Scroll 47 -312 261 49 20 0 [ // fltk N4xcas10Gen_OutputE 47 -312 799 27 20 0 pnt(pnt[point[-2*(1-t)+4*t,t,4*(1-t)+2*t],[2097152,[pnt(pnt[group[point[-2,0,4],point[4,1,2]],0]),t]],"I"]) , // fltk 12Fl_Scrollbar 47 201 245 20 20 0 [] , // fltk 12Fl_Scrollbar 292 174 16 33 20 0 [] ] ] , // fltk 7Fl_Tile 47 -261 261 101 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 -261 261 51 20 0 P:=parallel(I,plane(B,C,D),£display=cyan) , // fltk N4xcas10Log_OutputE 47 -210 261 1 20 0 , // fltk 9Fl_Scroll 47 -209 261 49 20 0 [ // fltk N4xcas10Gen_OutputE 47 -209 561 27 20 0 pnt(pnt[hyperplan([[-35,57,40],point[-2*(1-t)+4*t,t,4*(1-t)+2*t]]),6,"P"]) , // fltk 12Fl_Scrollbar 47 201 245 20 20 0 [] , // fltk 12Fl_Scrollbar 292 174 16 33 20 0 [] ] ] , // fltk 7Fl_Tile 47 -158 261 79 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 -158 261 51 20 0 J:=single_inter(P,line(A,C),£display=epaisseur_point_5) , // fltk N4xcas10Log_OutputE 47 -107 261 1 20 0 , // fltk N4xcas10Gen_OutputE 47 -106 261 27 20 0 Done ] , // fltk 7Fl_Tile 47 -77 261 79 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 -77 261 51 20 0 K:=single_inter(P,line(A,D),£display=epaisseur_point_5) , // fltk N4xcas10Log_OutputE 47 -26 261 1 20 0 , // fltk N4xcas10Gen_OutputE 47 -25 261 27 20 0 Done ] , // fltk 7Fl_Tile 47 4 261 58 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 4 261 30 20 0 triangle(I,J,K) , // fltk N4xcas10Log_OutputE 47 34 261 1 20 0 , // fltk N4xcas10Gen_OutputE 47 35 261 27 20 0 Done ] , // fltk 7Fl_Tile 47 64 261 79 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 64 261 51 20 0 L:=isobarycenter(I,J,K,£display=epaisseur_point_5) , // fltk N4xcas10Log_OutputE 47 115 261 1 20 0 , // fltk N4xcas10Gen_OutputE 47 116 261 27 20 0 Done ] , // fltk 7Fl_Tile 47 145 261 58 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 145 261 30 20 0 line(B,L,display=bleu) , // fltk N4xcas10Log_OutputE 47 175 261 1 20 0 , // fltk N4xcas10Gen_OutputE 47 176 261 27 20 0 Done ] , // fltk 7Fl_Tile 47 205 261 79 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 205 261 51 20 0 H:=projection(line(B,L),C,£display=epaisseur_point_5) , // fltk N4xcas10Log_OutputE 47 256 261 1 20 0 , // fltk N4xcas10Gen_OutputE 47 257 261 27 20 0 Done ] , // fltk 7Fl_Tile 47 286 261 101 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 286 261 51 20 0 l:=isobarycenter(B,C,D,£display=epaisseur_point_5) , // fltk N4xcas10Log_OutputE 47 337 261 1 20 0 , // fltk 9Fl_Scroll 47 338 261 49 20 0 [ // fltk N4xcas10Gen_OutputE 47 338 305 27 20 0 pnt(pnt[point[-1,(-2)/3,0],2097152,"l"]) , // fltk 12Fl_Scrollbar 47 116 261 20 20 0 [] , // fltk 12Fl_Scrollbar 308 87 16 29 20 0 [] ] ] , // fltk 7Fl_Tile 47 389 261 58 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 389 261 30 20 0 trace(H) , // fltk N4xcas10Log_OutputE 47 419 261 1 20 0 , // fltk N4xcas10Gen_OutputE 47 420 261 27 20 0 Done ] , // fltk 7Fl_Tile 47 449 261 58 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 449 261 30 20 0 trace(L) , // fltk N4xcas10Log_OutputE 47 479 261 1 20 0 , // fltk N4xcas10Gen_OutputE 47 480 261 27 20 0 Done ] , // fltk 7Fl_Tile 47 509 261 31 20 0 [ // fltk N4xcas19Multiline_Input_tabE 47 509 261 30 20 0 , // fltk N4xcas10Log_OutputE 47 539 261 1 20 0 ] ] // fltk N4xcas5Geo3dE 326 100 505 442 20 0 -5,5,-5,5,[[pnt(pnt[point[-2,0,4],0,"A"]),pnt(pnt[point[4,1,2],0,"B"]),pnt(pnt[point[-4,1,-5],0,"C"]),pnt(pnt[point[-3,-4,3],0,"D"])],pnt(pnt[polyedre[group[point[-2,0,4],point[4,1,2],point[-4,1,-5]],group[point[-2,0,4],point[-4,1,-5],point[-3,-4,3]],group[point[-2,0,4],point[4,1,2],point[-3,-4,3]],group[point[4,1,2],point[-4,1,-5],point[-3,-4,3]]],0]),parameter(t,0.0,1.0,0.28,0.02),pnt(pnt[point[-2*(1-t)+4*t,t,4*(1-t)+2*t],[2097152,[pnt(pnt[group[point[-2,0,4],point[4,1,2]],0]),t]],"I"]),pnt(pnt[hyperplan([[-35,57,40],point[-2*(1-t)+4*t,t,4*(1-t)+2*t]]),6,"P"]),pnt(pnt[point[-2-2*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233,-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233,4-9*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233],2097152,"J"]),pnt(pnt[point[-2+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233,-4*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233,4+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233],2097152,"K"]),pnt(pnt[group[point[-2*(1-t)+4*t,t,4*(1-t)+2*t],point[-2-2*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233,-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233,4-9*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233],point[-2+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233,-4*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233,4+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233],point[-2*(1-t)+4*t,t,4*(1-t)+2*t]],0]),pnt(pnt[point[-2*(1-t)+4*t-2-2*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233-2+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3,t-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233-4*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233/3,4*(1-t)+2*t+4-9*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233+4+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3],2097152,"L"]),pnt(pnt[line[point[4,1,2],point[-2*(1-t)+4*t-2-2*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233-2+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3,t-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233-4*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233/3,4*(1-t)+2*t+4-9*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233+4+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3]],4]),pnt(pnt[point[4+(-2*(1-t)+4*t-2-2*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233-2+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-4)*(-8*(-2*(1-t)+4*t-2-2*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233-2+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-4)-7*(4*(1-t)+2*t+4-9*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233+4+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-2))/((-2*(1-t)+4*t-2-2*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233-2+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-4)*(-2*(1-t)+4*t-2-2*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233-2+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-4)+(t-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233-4*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233/3-1)*(t-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233-4*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233/3-1)+(4*(1-t)+2*t+4-9*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233+4+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-2)*(4*(1-t)+2*t+4-9*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233+4+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-2)),1+(t-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233-4*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233/3-1)*(-8*(-2*(1-t)+4*t-2-2*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233-2+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-4)-7*(4*(1-t)+2*t+4-9*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233+4+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-2))/((-2*(1-t)+4*t-2-2*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233-2+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-4)*(-2*(1-t)+4*t-2-2*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233-2+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-4)+(t-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233-4*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233/3-1)*(t-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233-4*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233/3-1)+(4*(1-t)+2*t+4-9*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233+4+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-2)*(4*(1-t)+2*t+4-9*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233+4+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-2)),2+(4*(1-t)+2*t+4-9*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233+4+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-2)*(-8*(-2*(1-t)+4*t-2-2*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233-2+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-4)-7*(4*(1-t)+2*t+4-9*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233+4+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-2))/((-2*(1-t)+4*t-2-2*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233-2+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-4)*(-2*(1-t)+4*t-2-2*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233-2+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-4)+(t-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233-4*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233/3-1)*(t-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233-4*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233/3-1)+(4*(1-t)+2*t+4-9*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233+4+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-2)*(4*(1-t)+2*t+4-9*(-35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40)/-233+4+35*(-2*(1-t)+4*t+2)+t*57+(4*(1-t)+2*t-4)*40/-233/3-2))],2097152,"H"]),pnt(pnt[point[-1,(-2)/3,0],2097152,"l"])],-5,5,0.63894,-0.04038,-0.2571,0.7239,1,2,0,2097152,1,1.05,0,1,65,[[0,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,0,0,-1,0,0,180,1,0,0,1],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,180,1,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,180,1,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,180,1,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,180,1,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,180,1,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,180,1,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,180,1,0,0,0]],24,18,256,0,100,0,0,1,0.1 , // fltk N4xcas10Log_OutputE 23 542 920 1 20 0 ] , // fltk 7Fl_Tile 23 545 920 78 20 0 [ // fltk N4xcas19Multiline_Input_tabE 23 545 920 30 20 0 simplifier(coordinates(L)-coordinates(A)) , // fltk N4xcas10Log_OutputE 23 575 920 1 20 0 , // fltk N4xcas8EquationE 23 576 920 47 20 0 [-3*t,(11*t)/3,-4*t] ] , // fltk 7Fl_Tile 23 625 920 52 20 0 [ // fltk N4xcas23Comment_Multiline_InputE 23 625 920 51 20 0 donc L est sur une droite de vecteur directeur les coeffs de t passant par A£(et l'isobarycentre de BCD) , // fltk N4xcas10Log_OutputE 23 676 920 1 20 0 ] , // fltk 7Fl_Tile 23 679 920 98 20 0 [ // fltk N4xcas19Multiline_Input_tabE 23 679 920 30 20 0 h:=simplifier(coordinates(H)) , // fltk N4xcas10Log_OutputE 23 709 920 1 20 0 , // fltk N4xcas8EquationE 23 710 920 67 20 0 [(674*t^2-2136*t+1440)/(346*t^2-882*t+657),(1406*t^2-3102*t+1872)/(346*t^2-882*t+657),(-1408*t^2+3060*t-1872)/(346*t^2-882*t+657)] ] , // fltk 7Fl_Tile 23 779 920 52 20 0 [ // fltk N4xcas23Comment_Multiline_InputE 23 779 920 51 20 0 H semble etre sur un cercle. On en cherche le centre en prenant£3 valeurs de t, le centre est dans le plan et dans 2 plans médiateurs , // fltk N4xcas10Log_OutputE 23 830 920 1 20 0 ] , // fltk 7Fl_Tile 23 833 920 75 20 0 [ // fltk N4xcas19Multiline_Input_tabE 23 833 920 27 20 0 h0:=substituer(h,t,0); h1:=substituer(h,t,1/2); h2:=substituer(h,t,1); , // fltk N4xcas10Log_OutputE 23 860 920 1 20 0 , // fltk N4xcas8EquationE 23 861 920 47 20 0 [160/73,208/73,(-208)/73],[1081/605,269/121,(-1388)/605],[(-2)/11,16/11,(-20)/11] ] , // fltk 7Fl_Tile 23 910 920 330 20 0 [ // fltk N4xcas19Multiline_Input_tabE 23 910 920 30 20 0 d:=single_inter(perpen_bisector(h0,h1),perpen_bisector(h0,h2)); p:=plane(h0,h1,h2); c:=single_inter(p,d) , // fltk N4xcas10Log_OutputE 23 940 920 1 20 0 , // fltk 7Fl_Tile 23 941 920 299 20 0 [ // fltk N4xcas7Graph3dE 23 941 779 299 20 0 -11.475,-2.0287,2.6486,3.8596,[pnt(pnt[line[point[(-51)/3649,11304/3649,(-12406)/3649],point[40627995/354547787,779247396/354547787,(-1532084552)/354547787]],0,"d"]),pnt(pnt[hyperplan([12492/97163,(-87444)/97163,(-89526)/97163],[160/73,208/73,(-208)/73]),0,"p"]),pnt(pnt[point[(-51)/3649,11304/3649,(-12406)/3649],0,"c"])],-4.6147,1.4405,0.45338,-0.35752,-0.50198,-0.64393,0.005,0.1,1,2097152,1,1.7143,0,0,65,[[0,0,1,0,1,1,1,1,1,1,1,1,0,0,0,1,0,0,-1,0,0,180,1,0,0,1],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,180,1,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,180,1,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,180,1,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,180,1,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,180,1,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,180,1,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,180,1,0,0,0]],24,18,256,0,100,0,0,1,0.1 , // fltk 8Fl_Group 802 941 141 299 20 0 [ // fltk N4xcas14Mouse_PositionE 802 941 141 60 20 0 [] , // fltk 8Fl_Group 802 1001 141 115 20 0 [ // fltk 9Fl_Button 802 1001 46 23 20 0 [] , // fltk 9Fl_Button 848 1001 47 23 20 0 [] , // fltk 9Fl_Button 895 1001 46 23 20 0 [] , // fltk 9Fl_Button 802 1024 46 23 20 0 [] , // fltk 9Fl_Button 848 1024 47 23 20 0 [] , // fltk 9Fl_Button 895 1024 46 23 20 0 [] , // fltk 9Fl_Button 802 1047 46 23 20 0 [] , // fltk 9Fl_Button 848 1047 47 23 20 0 [] , // fltk 9Fl_Button 895 1047 46 23 20 0 [] , // fltk 9Fl_Button 802 1070 46 23 20 0 [] , // fltk 9Fl_Button 848 1070 47 23 20 0 [] , // fltk 9Fl_Button 895 1070 46 23 20 0 [] , // fltk 9Fl_Button 802 1093 46 23 20 0 [] , // fltk 11Fl_Menu_Bar 848 1093 93 23 20 0 [] ] , // fltk 8Fl_Group 802 1116 141 124 20 0 [ ] ] ] ] , // fltk 7Fl_Tile 23 1242 920 78 20 0 [ // fltk N4xcas19Multiline_Input_tabE 23 1242 920 30 20 0 simplifier(distance2(h,coordinates(c))) , // fltk N4xcas10Log_OutputE 23 1272 920 1 20 0 , // fltk N4xcas8EquationE 23 1273 920 47 20 0 19085/3649 ] , // fltk 7Fl_Tile 23 1322 920 31 20 0 [ // fltk N4xcas23Comment_Multiline_InputE 23 1322 920 30 20 0 Donc H est bien sur un cercle de centre c et rayon au carre ci-dessus. , // fltk N4xcas10Log_OutputE 23 1352 920 1 20 0 ] , // fltk 7Fl_Tile 23 1355 920 73 20 0 [ // fltk N4xcas23Comment_Multiline_InputE 23 1355 920 72 20 0 Ces preuves ne sont bien sur valables que dans ce cas de tétraèdre. Pour une preuve£générale, il faut donner des coordonnées formelles à A,B,C,D (on peut toutefois fixer£A en l'origine et B en (1,0,0) sans restreindre la généralité). , // fltk N4xcas10Log_OutputE 23 1427 920 1 20 0 ] , // fltk 7Fl_Tile 23 1430 920 31 20 0 [ // fltk N4xcas19Multiline_Input_tabE 23 1430 920 30 20 0 , // fltk N4xcas10Log_OutputE 23 1460 920 1 20 0 ]