HAL Id: edutice-00000171

(1)

HAL Id: edutice-00000171

https://edutice.archives-ouvertes.fr/edutice-00000171

Submitted on 5 Nov 2003

HAL

is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire

HAL, est

destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Une approche de la notion de limite dans un environnement basé sur un système de calcul formel

Jean-Michel Gelis, Dominique Lenne

To cite this version:

Jean-Michel Gelis, Dominique Lenne. Une approche de la notion de limite dans un environnement

basé sur un système de calcul formel. Environnements Informatiques pour l’Apprentissage Humain

2003, Apr 2003, Strasbourg, France. pp.485-492. �edutice-00000171�

(2)

!"#$%

&'$()*

+,-.$/)

"0$)*$ '1 2,, '1

) !

3("3 40'-(5)67$/1'$

))!'$ 0'!!810 $4$4$$

))$'5))'$4//) '$)$

8)9)0)$'$0$:))55$!!) 4/$41 -( '$450))$' /) $ ) 8 & )9) : '/ $4

*5'5 8'$)1054;

$4 0' -48) $ /1' $ )) !' $' !) 4': $ 40': $ ) )) $ 4/ $ )):7$!!)$41:9$*'5

<(= -3(>?.:))!':0'::/:'

(3)

!"#

! " # $ % % " %

&# " % ' '"#( % % % "

"%#"&# #%"#"#%()

#%**# % " % * #+ % * "" #&% % '(

! * % %* "&( , +

"" % % #" "# % -"&

#" (!"&. #*! /0012 3& /456 72 % % % # $ % + $ ' "%

8# %# %# #9:( ! % # '+ $ #+

#" $# %-"& % #()**

%#% " %%# %%" "%#

% % $ $ % % #+ /6!;) ( 7 2( ! %

" " %# %+%%&

%% + "$"*%#"

" %"% $ (!'+%

$ #+ % " " # %# $ ( #

# #$#%%% (

, "% "& #' % ' $ % % '+%""8!<:(!'+8 ) 3 3& ": ## %## $ %

% % '"# " % "" (,%"%

* " ()"&"&#% % #% # "% % # % /,=>6=

>1=; 77 1>5;! 72( , % % "#

" "#&% #!<"" $#+

% %#%"&+%" #/>4>),772

%#"" * (

) " " * + $ % % %# '+ % "" ( !

"&%"& % % %

#" #% % "#%"&+%" ##"

$ % ( 6 "? ,31 /=,@,662 !<3A% % % (6#" B%" # "#" " #

% % % ' % "&" % #( 6 *% " % % "

%#+%C⁺(

(4)

, """D

$" %& ##'()%*

* E"$'$+"*%

*" . % %* % ( +

* ##%'F%# "

% #( " # # * 8"

%# 9: E " &'&+

%"$% " (

"& ' "" " %# $ %

* %%%# (,-"&

" #+ $ " % %# 8 # #% % %# 9:()*+%'%#%

" % %#% (,"& #&%

' " $ %# * %

"% "* % " " % &#+ $ #%%%# (

, ,31%"" " #%'

"E * "" #%

* %% % % #%# (, C " % "&"& $ %# % ,31 E( ,

% % % ##.## " B"

"%% %%# %" " #(

> 8' $4 ! -(: $' $ 0$

484)'

+",-

A#%+%'%##" %* '

% + % #" ( A * % % %

""% " %" &#+ '*

%# 8 # %# # % ' G *:(

, ,31 % " ( , " % "

+% % %* % #%

%"% *(, *H

(5)

$,^B,^I,* #"#

(

>-4)$41$!')'$$'$

0$$0

."/

>8'$40'0@

)% %'#+%'"#% %&#+%#

$ %##"&"&#(, &%'+%

"" ##%&#+"%#+

%" ""*##

%"&% " (A*%# % &#+ " % '"# 8 % % % 9:

%# # " % " #+( , ,31

* #+ # " '+ % "" BE"

% &#+ " (A *##%# # "( C E " '# % % " *"%"% " %&#+ #8

&#+ %:(

% " % " % ##" 8# "

" :"% " %&#+#8 :(

%*&#+8 %'F :(

(6)

, """7

0" &

,% %+%'% +%

%#&% "&#(+%8

%#" #% :. #% &

% %" #%& " %"% $ ( ' % % " $ '# ( A

*%# % #% %# #""$

%%# #%

_C

! 8

:

'"&"&%

* %#

8 ! 88 : 8 8 !! :8 8 :

9

8 !

⁸^:

8 8 :

"

%. % * />5=,J 72( ! #&% %#%

# % " E " . '# #(

, *# " "% $ # % # #%

% " $ (

)% % %"%'"#"'%#&%

"*%%# % $ %%E "% % " ( , "&"& % "%

% " 8 ## %# * #+: %# %

#&%##% (

"#" ,31$% %#+%

# & %#' % #

"E" # ( ) "% # " %#

#"& & %""#%%? % ( )"%& * B* & # . ## % % # .

#" # (

1"(*%

6 # % " & * % " " ,31 " % #+ % C⁺ % '"# < % !^C $ 3' 87C:( %#%

% " %#

: 8 : C 8 :

8 8 8 8 ? 8

H

? 88 : C

8 8

8 8 8

8 8

8

8 8

8

8 8(,#+% "E"* "%

" " #$ %% ,31(

C" %%3 "&E#%&# '"#(

(7)

7

#

⁸

? 88 :

#$

C

8 8

:

^8%

? 88 :

:(

>&'$4'

?8$

6 #%"&$% %

*%"%%#"8 :(6 %% %

"#+ K

B ,31 # %

% %##" %"#%$%*

% G"'L

(8)

, """7C

B ,31 %# "" $ *% % #

* " % %# # 8 # * C % "% $% :L

B ,31 $ *% % "" $ "

%# %# %

^L

" #+ "#%# $ % " # E$

# $ C % &+ 8 % :L . "% " $ % %# 8 %

&+ % "

: ,31 $*%%%#%

# #* %# #L

B ,31%#"" $*%% % & # % #% % L

## " # %"&"&"% "

$ "E" * " % " % "%

& # (

6 " #+ % #( * " *% "#%# $ " " # * +(

% # 8 C % M %

&+" E %# #:(

2"3

, ,31##%"

% #" " # % ' '"#K * %

% % % # #" % % " #"

% " % &#+ 8" % % * % * G"': %# % %*

" % % % % # % "E" #"

8,31%"%# & :(

6 " % & % % % &'&+

% ,31( , " # * #+

% * % #"&

%# %# " "& % "*

% " ( , #+ " "% % "" % "& * * "? % % % ( ,31

*#+%# "E"%" ##

" #(

;% +&'&+ "

"& *%' ,31'+%""8

%" "#" :(!"& * %% %

(9)

7

% " " "# " # % % * % # #" * #+( )

% % ' " $ + " " "

E % & $ % "E" "

" % " ## ( ; % ' % % % " " #% % # %

"E" # % % %#"& ( !

" "% +%'+%"".

% .%#.##* #%#+%'"#(

4"5-

/>1=;772 3(,N(4(O #" % %" %

"" " "*K ## %' $ %*# " % + P?) $ )5 A )) /'5 '5 $ 4'$'*'5B:>3%3 (

/456 72 4 3( O3&K ! , 1 '%!"P: (0Q8%(:-)''$?'$

:,"6 " " B0(

/=, @ ,66 2 =# N(3( , )( 8: O; " ) , % !% 'P&&?4 A"% 3(

/,=>6= 2 , N(4( O"& % %" " %

"& % " % "" '"#P'

$4*7$)*)*A D(

/6!;) 7 2K 6 "% N(<( =# N(3( R% 3( O <SQ , A' <" S &S1"& P !) '

$)@1RS(

/>4>), 772 >% A( O# "& % %"

%&# P:?)$C1')$4$&$)5$*'5 BC (

/>5=,J72>Q 3(O,""%(((5( %#%%% T ,* % % 'P )*)* &$)5 $

*'50(CGC(=,A#(

/1>5;!721"&,O% % %" % "" "K #% % " % ""

"% P:*1; #%3 (

/00120 3(O* &# ! "

""P:*1$4; #%A 0(