{VERSION 2 3 "IBM INTEL NT" "2.3" } {USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 1 0 0 0 0 }{CSTYLE "2D Math" -1 2 "Times" 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 }{CSTYLE "2D Output" 2 20 "" 0 1 0 0 255 1 0 0 0 0 0 0 0 0 0 } {CSTYLE "" 0 21 "" 0 1 0 0 0 1 0 0 0 0 2 0 0 0 0 }{PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Maple Output" 0 11 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }3 3 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Maple Plot" 0 13 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 }3 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }} {SECT 0 {EXCHG {PARA 0 "" 0 "" {MPLTEXT 0 21 60 "Trac\351 de la courbe elliptique y^2=x^3+a*x+b (a=-4 et b=1)" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 11 "a:=-4:b:=1:" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "ec: = x -> x^3+a*x+b:" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 82 "with(plots):\n g:=implicitplot(y^2=ec(x),x=-4..4,y=-7..7,numpoints=1500):display(g); " }}{PARA 13 "" 1 "" {INLPLOT "6$-%'CURVESG6\\v7$7$$!1Zzr[zr[>!#:$!11u Q'y-5<\"F*7$$!1_\")QYQ'p,#F*$!1+!fV(*eV(*)!#;7$F-7$$!1ZkK$e!)\\/#F*$!1 T-roGw*G(F27$7$$!1ma#*Q`mw?F*$!15ah%Q:YQ&F2F47$F:7$$!1/n\"e]b%)4#F*$!1 trQN\"3Uw#F27$7$$!1BT>&3;l5#F*$!1?=([zr[z\"F2F@7$FF7$FG$\"1pEhMf&fm*!# <7$7$FG$\"1q<([zr[z\"F2FL7$FQ7$$!1fn&y1qk3#F*$\"1#)4!)zQ`0UF27$7$$!1na #*Q`mw?F*$\"1f`h%Q:YQ&F2FU7$Fen7$$!13qg2<#y/#F*$\"1QRF*$\"1vBV\"4=d!)*F 27$7$F($\"11uQ'y-5<\"F*Fgo7$7$$!1U(*eV(*eVD_\"F*7$7$$!1sLup h@>>F*$!1f-Tc-Tc7F*F\\q7$FbqF'7$F]p7$$!1QIwb4LI>F*$\"1j\"R(=IBC7F*7$7$ $!1uLuph@>>F*$\"1a-Tc-Tc7F*Fiq7$F_r7$$!1,E?fE9F*7$7$$ !1VD\"e3&)Qv\"F*$\"18YQ:YQ:;F*Fer7$F[s7$$!1+12=#=([F*7$$!1+q\\^U(GO\"F*$! 1x*eV(*eV(>F*7$FfuFat7$F]u7$$!1D@)ex\")H\\\"F*$\"1,]%)*QpZ*=F*7$7$$!15 q\\^U(GO\"F*$\"1s*eV(*eV(>F*F]v7$Fcv7$$!1VDR)H(**R8F*$\"1#f7K\"4-')>F* 7$7$Fbu$\"1!*zT*)zT*)>F*Fiv7$Fau7$$!1pg2OW/C8F*$!1)=fXa91*>F*7$7$$!1F^ ?G^?G6F*$!1+%\\\"3<%e,#F*Fcw7$F_w7$$!1$o*o@VG]6F*$\"1Xp&Hc(*H,#F*7$7$F jw$\"1+%\\\"3<%e,#F*F_x7$Fiw7$$!1()Rp)4ho5\"F*$!1rM+E5r6?F*7$7$$!1?#p2 Bp2B*F2$!1`]g9N9w>F*Fix7$Fex7$$!1EMiDXBU#*F2$\"1e%e4Slj(>F*7$7$F`y$\"1 `]g9N9w>F*Fey7$F_y7$$!1ILT#Q%oA#*F2$!1e7#G#Qxv>F*7$7$$!1.FgOGu\">*F2Fi uF_z7$Fez7$$!1`*Qx$[#)fwF2$!1:\\;%))*H!*=F*7$7$$!1qr[zr[zrF2$!1D@r%*G% R'=F*Fiz7$7$F`[l$\"1D@r%*G%R'=F*7$$!1+EgOGu\">*F2Ffv7$Fh[lF[z7$F_[l7$$ !1X1#4i%y-iF2$!1gP8jvI'y\"F*7$7$$!1>^?G^?G^F2$!1RI7qA*3q\"F*F]\\l7$Fe[ l7$$!17,,dIXBgF2$\"1([DH+`?x\"F*7$7$Fd\\l$\"1QI7qA*3q\"F*Fi\\l7$Fc\\l7 $$!1HbLn\">R\"[F2$!1'zO&eYQq;F*7$7$$!1nZhb$F2$!1i+b&R?:`\"F*7$7$$!1oI#p2Bp2$F2$!1(3l5ysLZ\"F*F]^l7$7$Fd^l$ \"1)3l5ysLZ\"F*7$$!1>E8/![(F2Fial7$7$F`bl$\"1[^>E8/![(F27$$\"1Az[!y[!y[FOFdo7$FhblFg`l7$ F_bl7$$\"1g.z%>Lv\\\"F2$!1Gni!oE/@'F27$7$$\"1z@e1>Z/=F2F=F]cl7$7$$\"1y @e1>Z/=F2F=7$$\"1/I'\\*Gu;@F2$!1n_=m+I/PF27$7$$\"1B:r'R#frCF2FIFjcl7$F `dl7$$\"1D:r'R#frCF2$!1we,X5VbtFO7$7$$\"1G:r'R#frCF2FRFddl7$Fjdl7$$\"1 3rvbG%)z@F2$\"1JA\">=iZO$F27$7$$\"1$>#e1>Z/=F2FhnF^el7$FdelFebl7$7$$\" 1\\zr[zr[>F*$!1R\"42Ny9e(F27$$\"14GG@!G\")*=F*F=7$F^fl7$$\"16E1k>O&)=F *$!1**p9`c)eF%F27$7$$\"1,,I]_zc=F*FIFbfl7$Fhfl7$$\"1+,I]_zc=F*$!1/ZfDd Ci=FO7$7$F]glFRF\\gl7$Fbgl7$$\"1Q.ue6@s=F*$\"1j*z%>1uLJF27$7$$\"13GG@! G\")*=F*FhnFdgl7$Fjgl7$$\"1*zNLTfE\">F*$\"1vH!QvRc,'F27$7$Fjel$\"1W\"4 2Ny9e(F2F^hl7$7$$\"1ah%Q:YQ:#F*$!1eMx&*\\BM:F*7$$\"1=%RjON91#F*Feq7$F] il7$$\"1`4#eIK)*)>F*$!1#ehOAgQp*F27$7$$\"1[M`FJ)=(>F*F0Fail7$FgilFiel7 $Fdhl7$$\"1\"Q#f>4mm>F*$\"1$RcS)pNg')F27$7$$\"1ZM`FJ)=(>F*FdoF\\jl7$Fb jl7$$\"1AIG#)4=F?F*$\"1v8nZ**4>6F*7$7$$\"1;%RjON91#F*FbrFfjl7$F\\[m7$$ \"1RGuhbV&4#F*$\"1c5f#zG'e8F*7$7$Fihl$\"1fMx&*\\BM:F*F`[m7$7$$\"1fV(*e V(*eBF*$!1P7%ppz%e@F*7$$\"1n%>F5!p)G#F*Fiu7$F_\\m7$$\"1>@4k1V+AF*$!1c] J3v!pp\"F*7$7$$\"1qxz1w\\u@F*FipFc\\m7$Fi\\mFhhl7$Ff[m7$$\"1c7s[V8o@F* $\"1&=`VF!Q!f\"F*7$7$$\"1pxz1w\\u@F*F^sF^]m7$Fd]m7$$\"1EBDl%o/C#F*$\"1 r\")RH*pF#=F*7$7$$\"1m%>F5!p)G#F*FfvFh]m7$7$$\"1l%>F5!p)G#F*Ffv7$$\"1( )30u\"QoJ#F*$\"1[](zH(4[?F*7$7$F[\\m$\"1P7%ppz%e@F*Fe^m7$7$$\"1lD5kD5k DF*$!1kli2/y`FF*7$$\"1)GDRA<#RDF*$!1&p2Bp2Bp#F*7$Fd_m7$$\"1*\\/OeN')\\ #F*$!1!3OkZSxd#F*7$7$$\"1#Q()4Xi?T#F*$!1OLLLLLLBF*Fj_m7$F``mFj[m7$F[_m 7$$\"1DH]GCk$R#F*$\"1S$e;@kEF#F*7$7$$\"1!Q()4Xi?T#F*$\"1JLLLLLLBF*Fg`m 7$F]am7$$\"1EN*>mV-Z#F*$\"1\\T-7ke(\\#F*7$7$$\"1'GDRA<#RDF*$\"1!p2Bp2B p#F*Fcam7$Fiam7$$\"17Wy\"RO&\\DF*$\"1eW'Q\\)zBEm#F*$!1a?G^?G^IF*7$ F^cmF__m7$Febm7$$\"16&pF&fZEEF*$\"1$*[6@'G@%HF*7$7$$\"1zMR*>BEm#F*$\"1 \\?G^?G^IF*Fecm7$F[dm7$$\"1b#\\l@(p/FF*$\"1*pu%od@kJF*7$7$Fjbm$\"1bp7X YVPLF*Fadm7$7$$\"1v*eV(*eV(HF*$!1c,rPbKARF*7$$\"1E#*34s4;HF*$!1s2Bp2Bp PF*7$F`em7$$\"1\"y+>j(pEGF*$!1K*G*>M#3^$F*7$7$$\"1&*o[\"40>z#F*$!18kD5 kD5MF*Ffem7$F\\fmFibm7$Fgdm7$$\"1pkABx!Ry#F*$\"1NRwSz#F*$\"13kD5kD5MF*Fcfm7$Fifm7$$\"1(fIdX62'GF*$\"1pg&ycR\"4OF*7$7 $$\"1C#*34s4;HF*$\"1n2Bp2BpPF*F_gm7$Fegm7$$\"1\"4%z6vQRHF*$\"18$>(G3VI QF*7$7$F\\em$\"1c,rPbKARF*F[hm7$7$$\"1\"=([zr[zJF*$!1g,%Qof\"=XF*7$$\" 1)*Q?'3Vw;$F*$!1!\\zr[zr[%F*7$Fjhm7$$\"1rCk4d^[JF*$!1[7&\\TzHV%F*7$7$$ \"1#[))=!*f4/$F*$!1J^?G^?GTF*F`im7$FfimF[em7$7$F\\em$\"1b,rPbKARF*7$$ \"1d&=j;&)o,$F*$\"1deF#H%y`SF*7$7$$\"1![))=!*f4/$F*$\"1E^?G^?GTF*F`jm7 $Ffjm7$$\"1sE2yUF*7$7$$\"1'*Q?'3Vw;$F*$\"1&[zr[zr[ %F*F\\[n7$Fb[n7$$\"1`3R_3RsJF*$\"1f!)ff!)f*\\%F*7$7$Ffhm$\"1g,%Qof\"=X F*Fh[n7$7$$\"1'Q:YQ:YQ$F*$!1fRDP:n>^F*7$$\"1HM(3!*fvG$F*$!1[Q:YQ:Y[F*7 $Fg\\nFehm7$F^\\n7$$\"1/2urV.[KF*$\"1z,rfi>EZF*7$7$$\"1FM(3!*fvG$F*$\" 1VQ:YQ:Y[F*F^]n7$Fd]n7$$\"1BET`0uCLF*$\"1y'e2![$4&\\F*7$7$Fc\\n$\"1fRD P:n>^F*Fj]n7$7$$\"1\"fV(*eV(*e$F*$!1Mo21***Ht&F*7$$\"1thkT9.INF*$!1mD5 kD5kbF*7$Fi^n7$$\"1frb=AcZMF*$!15j_k^G:`F*7$7$$\"1-Xnr706MF*$!13#G^?G^ ?&F*F__n7$Fe_n7$Fc\\n$!1eRDP:n>^F*7$F`^n7$$\"1K]@,kw,MF*$\"1@)yg#R6v^F *7$7$$\"1+Xnr706MF*$\"1-#G^?G^?&F*F_`n7$Fe`n7$$\"1Y\"GO@\\mZ$F*$\"1I-L jL/.aF*7$7$$\"1rhkT9.INF*$\"1gD5kD5kbF*F[an7$Faan7$$\"18_!ecaGb$F*$\"1 AZ*fNe'GcF*7$7$Fe^n$\"1Mo21***Ht&F*Fgan7$7$$\"1'zr[zr[z$F*$!1q&)\\iW$* fjF*7$$\"1*[&fqHgnPF*$!1$G^?G^?G'F*7$Ffbn7$$\"1->T'p\\,t$F*$!1oku4wyoh F*7$7$$\"1G-qG(**)[OF*$!1Dp2Bp2BfF*F\\cn7$7$Fccn$!1Cp2Bp2BfF*Fd^n7$7$F e^n$\"1Lo21***Ht&F*7$$\"1fl7;8/GOF*$\"1Cn!>!f0ceF*7$7$$\"1E-qG(**)[OF* $\"1>p2Bp2BfF*F_dn7$7$Ffdn$\"1?p2Bp2BfF*7$$\"1,J'H12Cq$F*$\"1Nr\"R?!*[ 3'F*7$7$$\"1)[&fqHgnPF*$\"1x70#G^?G'F*F^en7$7$$\"1([&fqHgnPF*Fgen7$$\" 1e$zT=jzx$F*$\"1VIw]8k6jF*7$7$Fbbn$\"1p&)\\iW$*fjF*F]fn7$7$$\"1-++++++ SF*$!\"(\"\"!7$$\"1L'*z()QB#)QF*$!1Tc-Tc-TmF*7$F]gnFabn7$Fcfn7$$\"1]'e YOd9&QF*$\"1T')*Q*3+UlF*7$7$$\"1J'*z()QB#)QF*$\"1Oc-Tc-TmF*Fdgn7$Fjgn7 $$\"1Y0azb=DRF*$\"1%oHo(3&>x'F*7$7$Fhfn$\"1&*************pF*F`hn-%'COL OURG6&%$RGBG\"\"\"F\\gnF\\gn-%+AXESLABELSG6$%\"xG%\"yG" 2 475 431 431 2 0 1 0 2 9 0 4 2 1.000000 45.000000 45.000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 }}}{EXCHG {PARA 0 "" 0 "" {MPLTEXT 0 21 65 "Addition de deux points P et Q sur une courbe ellipt ique (sch\351ma)" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 570 "with(plottools ):\npointP:=point([-1,2], color=blue):\ntexteP:=textplot([-1.1,2.1,`P` ],align=\{ABOVE,RIGHT\}):\n\npointQ:=point([0,1], color=blue):\ntexteQ :=textplot([0.2,0.9,`Q`],align=\{ABOVE,RIGHT\}):\n\ndroitePQ:= line([- 2,3], [4,-3], color=black, linestyle=1):\n\npointPplusQ:=point([2,1],c olor=blue):\ntextePplusQ:=textplot([2.2,0.8,`P+Q`],align=\{ABOVE,RIGHT \}):\n\npointmPplusQ:=point([2,-1],color=blue):\ntextemPplusQ:=textplo t([2.1,-1,`-(P+Q)`],align=\{ABOVE,RIGHT\}):\n\naxeOx:=line([-2.5,0], [ 4.2,0], color=black, linestyle=2):\naxeSym:=line([2,-1], [2,1], color= black, linestyle=2):" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 157 "display([g ,axeOx,axeSym,pointP,pointQ,droitePQ,pointPplusQ,texteP,texteQ,textePp lusQ,pointmPplusQ,textemPplusQ],axes=framed,title=`Calcul de -(P+Q) et P+Q`);" }}{PARA 13 "" 1 "" {INLPLOT "61-%'CURVESG6\\v7$7$$!1Zzr[zr[>! #:$!11uQ'y-5<\"F*7$$!1_\")QYQ'p,#F*$!1+!fV(*eV(*)!#;7$F-7$$!1ZkK$e!)\\ /#F*$!1T-roGw*G(F27$7$$!1ma#*Q`mw?F*$!15ah%Q:YQ&F2F47$F:7$$!1/n\"e]b%) 4#F*$!1trQN\"3Uw#F27$7$$!1BT>&3;l5#F*$!1?=([zr[z\"F2F@7$FF7$FG$\"1pEhM f&fm*!#<7$7$FG$\"1q<([zr[z\"F2FL7$FQ7$$!1fn&y1qk3#F*$\"1#)4!)zQ`0UF27$ 7$$!1na#*Q`mw?F*$\"1f`h%Q:YQ&F2FU7$Fen7$$!13qg2<#y/#F*$\"1QRF*$\"1vBV\" 4=d!)*F27$7$F($\"11uQ'y-5<\"F*Fgo7$7$$!1U(*eV(*eVD_\"F*7$7$ $!1sLuph@>>F*$!1f-Tc-Tc7F*F\\q7$FbqF'7$F]p7$$!1QIwb4LI>F*$\"1j\"R(=IBC 7F*7$7$$!1uLuph@>>F*$\"1a-Tc-Tc7F*Fiq7$F_r7$$!1,E?fE9 F*7$7$$!1VD\"e3&)Qv\"F*$\"18YQ:YQ:;F*Fer7$F[s7$$!1+12=#=([F*7$$!1+q\\^U(G O\"F*$!1x*eV(*eV(>F*7$FfuFat7$F]u7$$!1D@)ex\")H\\\"F*$\"1,]%)*QpZ*=F*7 $7$$!15q\\^U(GO\"F*$\"1s*eV(*eV(>F*F]v7$Fcv7$$!1VDR)H(**R8F*$\"1#f7K\" 4-')>F*7$7$Fbu$\"1!*zT*)zT*)>F*Fiv7$Fau7$$!1pg2OW/C8F*$!1)=fXa91*>F*7$ 7$$!1F^?G^?G6F*$!1+%\\\"3<%e,#F*Fcw7$F_w7$$!1$o*o@VG]6F*$\"1Xp&Hc(*H,# F*7$7$Fjw$\"1+%\\\"3<%e,#F*F_x7$Fiw7$$!1()Rp)4ho5\"F*$!1rM+E5r6?F*7$7$ $!1?#p2Bp2B*F2$!1`]g9N9w>F*Fix7$Fex7$$!1EMiDXBU#*F2$\"1e%e4Slj(>F*7$7$ F`y$\"1`]g9N9w>F*Fey7$F_y7$$!1ILT#Q%oA#*F2$!1e7#G#Qxv>F*7$7$$!1.FgOGu \">*F2FiuF_z7$Fez7$$!1`*Qx$[#)fwF2$!1:\\;%))*H!*=F*7$7$$!1qr[zr[zrF2$! 1D@r%*G%R'=F*Fiz7$7$F`[l$\"1D@r%*G%R'=F*7$$!1+EgOGu\">*F2Ffv7$Fh[lF[z7 $F_[l7$$!1X1#4i%y-iF2$!1gP8jvI'y\"F*7$7$$!1>^?G^?G^F2$!1RI7qA*3q\"F*F] \\l7$Fe[l7$$!17,,dIXBgF2$\"1([DH+`?x\"F*7$7$Fd\\l$\"1QI7qA*3q\"F*Fi\\l 7$Fc\\l7$$!1HbLn\">R\"[F2$!1'zO&eYQq;F*7$7$$!1nZhb$F2$!1i+b&R?:`\"F*7$7$$!1oI#p2Bp2$F2$!1(3l5ysLZ\"F*F]^l7 $7$Fd^l$\"1)3l5ysLZ\"F*7$$!1>E8/![(F2Fial7$7$F`bl$\"1[^>E8/![(F27$$\"1Az[!y[!y[FOFdo7$Fh blFg`l7$F_bl7$$\"1g.z%>Lv\\\"F2$!1Gni!oE/@'F27$7$$\"1z@e1>Z/=F2F=F]cl7 $7$$\"1y@e1>Z/=F2F=7$$\"1/I'\\*Gu;@F2$!1n_=m+I/PF27$7$$\"1B:r'R#frCF2F IFjcl7$F`dl7$$\"1D:r'R#frCF2$!1we,X5VbtFO7$7$$\"1G:r'R#frCF2FRFddl7$Fj dl7$$\"13rvbG%)z@F2$\"1JA\">=iZO$F27$7$$\"1$>#e1>Z/=F2FhnF^el7$FdelFeb l7$7$$\"1\\zr[zr[>F*$!1R\"42Ny9e(F27$$\"14GG@!G\")*=F*F=7$F^fl7$$\"16E 1k>O&)=F*$!1**p9`c)eF%F27$7$$\"1,,I]_zc=F*FIFbfl7$Fhfl7$$\"1+,I]_zc=F* $!1/ZfDdCi=FO7$7$F]glFRF\\gl7$Fbgl7$$\"1Q.ue6@s=F*$\"1j*z%>1uLJF27$7$$ \"13GG@!G\")*=F*FhnFdgl7$Fjgl7$$\"1*zNLTfE\">F*$\"1vH!QvRc,'F27$7$Fjel $\"1W\"42Ny9e(F2F^hl7$7$$\"1ah%Q:YQ:#F*$!1eMx&*\\BM:F*7$$\"1=%RjON91#F *Feq7$F]il7$$\"1`4#eIK)*)>F*$!1#ehOAgQp*F27$7$$\"1[M`FJ)=(>F*F0Fail7$F gilFiel7$Fdhl7$$\"1\"Q#f>4mm>F*$\"1$RcS)pNg')F27$7$$\"1ZM`FJ)=(>F*FdoF \\jl7$Fbjl7$$\"1AIG#)4=F?F*$\"1v8nZ**4>6F*7$7$$\"1;%RjON91#F*FbrFfjl7$ F\\[m7$$\"1RGuhbV&4#F*$\"1c5f#zG'e8F*7$7$Fihl$\"1fMx&*\\BM:F*F`[m7$7$$ \"1fV(*eV(*eBF*$!1P7%ppz%e@F*7$$\"1n%>F5!p)G#F*Fiu7$F_\\m7$$\"1>@4k1V+ AF*$!1c]J3v!pp\"F*7$7$$\"1qxz1w\\u@F*FipFc\\m7$Fi\\mFhhl7$Ff[m7$$\"1c7 s[V8o@F*$\"1&=`VF!Q!f\"F*7$7$$\"1pxz1w\\u@F*F^sF^]m7$Fd]m7$$\"1EBDl%o/ C#F*$\"1r\")RH*pF#=F*7$7$$\"1m%>F5!p)G#F*FfvFh]m7$7$$\"1l%>F5!p)G#F*Ff v7$$\"1()30u\"QoJ#F*$\"1[](zH(4[?F*7$7$F[\\m$\"1P7%ppz%e@F*Fe^m7$7$$\" 1lD5kD5kDF*$!1kli2/y`FF*7$$\"1)GDRA<#RDF*$!1&p2Bp2Bp#F*7$Fd_m7$$\"1*\\ /OeN')\\#F*$!1!3OkZSxd#F*7$7$$\"1#Q()4Xi?T#F*$!1OLLLLLLBF*Fj_m7$F``mFj [m7$F[_m7$$\"1DH]GCk$R#F*$\"1S$e;@kEF#F*7$7$$\"1!Q()4Xi?T#F*$\"1JLLLLL LBF*Fg`m7$F]am7$$\"1EN*>mV-Z#F*$\"1\\T-7ke(\\#F*7$7$$\"1'GDRA<#RDF*$\" 1!p2Bp2Bp#F*Fcam7$Fiam7$$\"17Wy\"RO&\\DF*$\"1eW'Q\\)zBEm#F*$!1a?G^ ?G^IF*7$F^cmF__m7$Febm7$$\"16&pF&fZEEF*$\"1$*[6@'G@%HF*7$7$$\"1zMR*>BE m#F*$\"1\\?G^?G^IF*Fecm7$F[dm7$$\"1b#\\l@(p/FF*$\"1*pu%od@kJF*7$7$Fjbm $\"1bp7XYVPLF*Fadm7$7$$\"1v*eV(*eV(HF*$!1c,rPbKARF*7$$\"1E#*34s4;HF*$! 1s2Bp2BpPF*7$F`em7$$\"1\"y+>j(pEGF*$!1K*G*>M#3^$F*7$7$$\"1&*o[\"40>z#F *$!18kD5kD5MF*Ffem7$F\\fmFibm7$Fgdm7$$\"1pkABx!Ry#F*$\"1NRwSz#F*$\"13kD5kD5MF*Fcfm7$Fifm7$$\"1(fIdX62'GF*$\"1pg&ycR \"4OF*7$7$$\"1C#*34s4;HF*$\"1n2Bp2BpPF*F_gm7$Fegm7$$\"1\"4%z6vQRHF*$\" 18$>(G3VIQF*7$7$F\\em$\"1c,rPbKARF*F[hm7$7$$\"1\"=([zr[zJF*$!1g,%Qof\" =XF*7$$\"1)*Q?'3Vw;$F*$!1!\\zr[zr[%F*7$Fjhm7$$\"1rCk4d^[JF*$!1[7&\\TzH V%F*7$7$$\"1#[))=!*f4/$F*$!1J^?G^?GTF*F`im7$FfimF[em7$7$F\\em$\"1b,rPb KARF*7$$\"1d&=j;&)o,$F*$\"1deF#H%y`SF*7$7$$\"1![))=!*f4/$F*$\"1E^?G^?G TF*F`jm7$Ffjm7$$\"1sE2yUF*7$7$$\"1'*Q?'3Vw;$F*$\"1 &[zr[zr[%F*F\\[n7$Fb[n7$$\"1`3R_3RsJF*$\"1f!)ff!)f*\\%F*7$7$Ffhm$\"1g, %Qof\"=XF*Fh[n7$7$$\"1'Q:YQ:YQ$F*$!1fRDP:n>^F*7$$\"1HM(3!*fvG$F*$!1[Q: YQ:Y[F*7$Fg\\nFehm7$F^\\n7$$\"1/2urV.[KF*$\"1z,rfi>EZF*7$7$$\"1FM(3!*f vG$F*$\"1VQ:YQ:Y[F*F^]n7$Fd]n7$$\"1BET`0uCLF*$\"1y'e2![$4&\\F*7$7$Fc\\ n$\"1fRDP:n>^F*Fj]n7$7$$\"1\"fV(*eV(*e$F*$!1Mo21***Ht&F*7$$\"1thkT9.IN F*$!1mD5kD5kbF*7$Fi^n7$$\"1frb=AcZMF*$!15j_k^G:`F*7$7$$\"1-Xnr706MF*$! 13#G^?G^?&F*F__n7$Fe_n7$Fc\\n$!1eRDP:n>^F*7$F`^n7$$\"1K]@,kw,MF*$\"1@) yg#R6v^F*7$7$$\"1+Xnr706MF*$\"1-#G^?G^?&F*F_`n7$Fe`n7$$\"1Y\"GO@\\mZ$F *$\"1I-LjL/.aF*7$7$$\"1rhkT9.INF*$\"1gD5kD5kbF*F[an7$Faan7$$\"18_!ecaG b$F*$\"1AZ*fNe'GcF*7$7$Fe^n$\"1Mo21***Ht&F*Fgan7$7$$\"1'zr[zr[z$F*$!1q &)\\iW$*fjF*7$$\"1*[&fqHgnPF*$!1$G^?G^?G'F*7$Ffbn7$$\"1->T'p\\,t$F*$!1 oku4wyohF*7$7$$\"1G-qG(**)[OF*$!1Dp2Bp2BfF*F\\cn7$7$Fccn$!1Cp2Bp2BfF*F d^n7$7$Fe^n$\"1Lo21***Ht&F*7$$\"1fl7;8/GOF*$\"1Cn!>!f0ceF*7$7$$\"1E-qG (**)[OF*$\"1>p2Bp2BfF*F_dn7$7$Ffdn$\"1?p2Bp2BfF*7$$\"1,J'H12Cq$F*$\"1N r\"R?!*[3'F*7$7$$\"1)[&fqHgnPF*$\"1x70#G^?G'F*F^en7$7$$\"1([&fqHgnPF*F gen7$$\"1e$zT=jzx$F*$\"1VIw]8k6jF*7$7$Fbbn$\"1p&)\\iW$*fjF*F]fn7$7$$\" 1-++++++SF*$!\"(\"\"!7$$\"1L'*z()QB#)QF*$!1Tc-Tc-TmF*7$F]gnFabn7$Fcfn7 $$\"1]'eYOd9&QF*$\"1T')*Q*3+UlF*7$7$$\"1J'*z()QB#)QF*$\"1Oc-Tc-TmF*Fdg n7$Fjgn7$$\"1Y0azb=DRF*$\"1%oHo(3&>x'F*7$7$Fhfn$\"1&*************pF*F` hn-%'COLOURG6&%$RGBG\"\"\"F\\gnF\\gn-F$6%7$7$$!#D!\"\"F\\gn7$$\"#UFdin F\\gn-Fjhn6&F\\inF\\gnF\\gnF\\gn-%*LINESTYLEG6#\"\"#-F$6%7$7$$F]jnF\\g n$FdinF\\gn7$Fbjn$F]inF\\gnFhinFjin-%'POINTSG6$7$FcjnFbjn-Fjhn6&F\\inF \\gnF\\gn$\"*++++\"!\")-Fgjn6$7$F\\gnFejnFjjn-F$6%7$7$$!\"#F\\gn$\"\"$ F\\gn7$$\"\"%F\\gn$!\"$F\\gnFhin-F[jn6#F]in-Fgjn6$FdjnFjjn-%%TEXTG6&7$ $!#6Fdin$\"#@Fdin%\"PG%+ALIGNABOVEG%+ALIGNRIGHTG-Fd\\o6&7$$F]jnFdin$\" \"*Fdin%\"QGF\\]oF]]o-Fd\\o6&7$$\"#AFdin$\"\")Fdin%$P+QGF\\]oF]]o-Fgjn 6$FajnFjjn-Fd\\o6&7$Fi\\oFcjn%'-(P+Q)GF\\]oF]]o-%&TITLEG6#%8Calcul~de~ -(P+Q)~et~P+QG-%+AXESLABELSG6$%\"xG%\"yG-%*AXESSTYLEG6#%&FRAMEG" 2 496 496 496 2 0 1 0 2 9 0 3 2 1.000000 45.000000 45.000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 }}}{EXCHG }{EXCHG {PARA 0 "" 0 "" {MPLTEXT 0 21 41 "P+Q sur la courbe elliptique y^2=x^3 +ax+b" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 8 "restart:" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 35 "Add2P := proc(a,b,P1,P2) " }}{PARA 0 "> \+ " 0 "" {MPLTEXT 1 0 33 " local lambda,x1,x2,x3,y1,y2,y3:" }}{PARA 0 " > " 0 "" {MPLTEXT 1 0 37 " if P1=infinity then RETURN(P2): fi;" }} {PARA 0 "> " 0 "" {MPLTEXT 1 0 37 " if P2=infinity then RETURN(P1): f i;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 54 " x1:=op(1,P1):y1:=op(2,P1):x 2:=op(1,P2):y2:=op(2,P2);" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 48 " if x 1=x2 and y1=-y2 then RETURN(infinity): fi;" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 41 " if x1<>x2 then lambda:=(y1-y2)/(x1-x2):" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 38 " else lambda:=(3*x1^2+a)/(2*y1): fi;" }} {PARA 0 "> " 0 "" {MPLTEXT 1 0 63 " x3:=-x1-x2+lambda^2:y3:=-(lambda* (x3-x1)+y1):RETURN([x3,y3]);" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 5 " end :" }}}{EXCHG {PARA 0 "" 0 "" {MPLTEXT 0 21 7 "Exemple" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 25 "Add2P(-4,1,[-1,2],[0,1]);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#7$\"\"#\"\"\"" }}}}{MARK "1 0 0" 65 }{VIEWOPTS 1 1 0 1 1 1803 }