Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin...

78

Transcript of Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin...

Page 1: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Mathématiques concrètes

Vers l'inni et au-delà...

Guillaume CONNAN

IUT de Nantes - Dpt d'informatique

12 décembre 2011

(IUT de Nantes - Dpt d'informatique ) 1 / 51

Page 2: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 2 / 51

Page 3: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Complexité d'algorithmes

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 3 / 51

Page 4: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Complexité d'algorithmes

(IUT de Nantes - Dpt d'informatique ) 4 / 51

Page 5: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Complexité d'algorithmes

def divise(liste):n = len(liste)if n == 0:

return [],[]return liste[: n//2], liste[n//2:]

def fusionner(L1,L2):if len(L1) == 0:

return L2if len(L2) == 0:

return L1if L1[0] < L2[0]:

return ([L1[0]] + fusionner(L1[1:],L2))else:

return ([L2[0]] + fusionner(L2[1:],L1))

def tri_f(L):if len(L) == 1:

return Lreturn fusionner(tri_f(divise(L)[0]),tri_f(divise(L)[1]))

(IUT de Nantes - Dpt d'informatique ) 5 / 51

Page 6: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Complexité d'algorithmes

2ncblog2(n)c ÉK (n)É 4nc (blog2(n)c+1)

Par exemple, si on prend c = 1 et qu'on travaille sur une liste de taille

10 000, alors :

265 600= 20 000×13,28ÉK (10 000)É 40000(13,28+1)= 571 200

Comparaison tri par insertion.

(IUT de Nantes - Dpt d'informatique ) 6 / 51

Page 7: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Complexité d'algorithmes

2ncblog2(n)c ÉK (n)É 4nc (blog2(n)c+1)

Par exemple, si on prend c = 1 et qu'on travaille sur une liste de taille

10 000, alors :

265 600= 20 000×13,28ÉK (10 000)É 40000(13,28+1)= 571 200

Comparaison tri par insertion.

(IUT de Nantes - Dpt d'informatique ) 6 / 51

Page 8: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Complexité d'algorithmes

2ncblog2(n)c ÉK (n)É 4nc (blog2(n)c+1)

Par exemple, si on prend c = 1 et qu'on travaille sur une liste de taille

10 000, alors :

265 600= 20 000×13,28ÉK (10 000)É 40000(13,28+1)= 571 200

Comparaison tri par insertion.

(IUT de Nantes - Dpt d'informatique ) 6 / 51

Page 9: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Complexité d'algorithmes

2ncblog2(n)c ÉK (n)É 4nc (blog2(n)c+1)

Par exemple, si on prend c = 1 et qu'on travaille sur une liste de taille

10 000, alors :

265 600= 20 000×13,28ÉK (10 000)É 40000(13,28+1)= 571 200

Comparaison tri par insertion.

(IUT de Nantes - Dpt d'informatique ) 6 / 51

Page 10: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 7 / 51

Page 11: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Brooks's Law [prov.] Adding manpower to a late software project makes it later aresult of the fact that the expected advantage from splitting workamong N programmers is O(N), but the complexity andcommunications cost associated with coordinating and thenmerging their work is O(N2)

in The New Hacker's Dictionnary http ://outpost9.com/reference/jargon/jargon_17.html#SEC24

(IUT de Nantes - Dpt d'informatique ) 8 / 51

Page 12: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Dénition 1 ( Grand O )

Soit f et g deux fonctions de N dans R. On dit que f est un grand O

de g et on note f =O(g) ou f (n)=O(g(n)) si, et seulement si, il existe

une constante positive C telle que |f (n)| ÉC |g(n)| pour tout n ∈N.

Pour le tri fusion, on avait obtenu pour n> 1 :

K (n)É 4nc (blog2(n)c+1)

(IUT de Nantes - Dpt d'informatique ) 9 / 51

Page 13: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Dénition 1 ( Grand O )

Soit f et g deux fonctions de N dans R. On dit que f est un grand O

de g et on note f =O(g) ou f (n)=O(g(n)) si, et seulement si, il existe

une constante positive C telle que |f (n)| ÉC |g(n)| pour tout n ∈N.

Pour le tri fusion, on avait obtenu pour n> 1 :

K (n)É 4nc (blog2(n)c+1)

(IUT de Nantes - Dpt d'informatique ) 9 / 51

Page 14: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Dénition 1 ( Grand O )

Soit f et g deux fonctions de N dans R. On dit que f est un grand O

de g et on note f =O(g) ou f (n)=O(g(n)) si, et seulement si, il existe

une constante positive C telle que |f (n)| ÉC |g(n)| pour tout n ∈N.

Pour le tri fusion, on avait obtenu pour n> 1 :

K (n)É 4nc (blog2(n)c+1)

(IUT de Nantes - Dpt d'informatique ) 9 / 51

Page 15: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Dénition 2 ( Grand Oméga )

Soit f et g deux fonctions de R dans lui-même. On dit que f est un grand

Oméga de g et on note f =Ω(g) ou f (n)=Ω(g(n)) si, et seulement si, il

existe une constante positive C telle que |f (n)| ÊC |g(n)| pour tout n ∈N∗.

Tri fusion : 2cnblog2(n)c ÉK (n).

(IUT de Nantes - Dpt d'informatique ) 10 / 51

Page 16: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Dénition 2 ( Grand Oméga )

Soit f et g deux fonctions de R dans lui-même. On dit que f est un grand

Oméga de g et on note f =Ω(g) ou f (n)=Ω(g(n)) si, et seulement si, il

existe une constante positive C telle que |f (n)| ÊC |g(n)| pour tout n ∈N∗.

Tri fusion : 2cnblog2(n)c ÉK (n).

(IUT de Nantes - Dpt d'informatique ) 10 / 51

Page 17: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Dénition 2 ( Grand Oméga )

Soit f et g deux fonctions de R dans lui-même. On dit que f est un grand

Oméga de g et on note f =Ω(g) ou f (n)=Ω(g(n)) si, et seulement si, il

existe une constante positive C telle que |f (n)| ÊC |g(n)| pour tout n ∈N∗.

Tri fusion : 2cnblog2(n)c ÉK (n).

(IUT de Nantes - Dpt d'informatique ) 10 / 51

Page 18: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Dénition 3 ( Grand Théta )

f =Θ(g)⇐⇒

f =O(g)

f =Ω(g)

(IUT de Nantes - Dpt d'informatique ) 11 / 51

Page 19: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

HHHHHH

coût

n100 1 000 106 109

log2(n) ≈ 7 ≈ 10 ≈ 20 ≈ 30

n log2(n) ≈ 665 ≈ 10 000 ≈ 2 ·107 ≈ 3 ·1010

n2 104 106 1012 1018

n3 106 109 1018 1027

2n ≈ 1030 > 10300 > 10105 > 1010

8

L'âge de l'Univers est environ de 1018 secondes...

(IUT de Nantes - Dpt d'informatique ) 12 / 51

Page 20: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

HHHHHH

coût

n100 1 000 106 109

log2(n) ≈ 7 ≈ 10 ≈ 20 ≈ 30

n log2(n) ≈ 665 ≈ 10 000 ≈ 2 ·107 ≈ 3 ·1010

n2 104 106 1012 1018

n3 106 109 1018 1027

2n ≈ 1030 > 10300 > 10105 > 1010

8

L'âge de l'Univers est environ de 1018 secondes...

(IUT de Nantes - Dpt d'informatique ) 12 / 51

Page 21: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Dénition 4 ( Petit o )

f = o(g) si, et seulement si, pour toute constante positive ε, il existe un

entier n0 tel que, pour tout nÊ n0,∣∣f (n)∣∣É ε ∣∣g(n)

∣∣

(IUT de Nantes - Dpt d'informatique ) 13 / 51

Page 22: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Dénition 5 (Fonctions équivalentes)

f (n)∼ g(n)⇐⇒ f (n)= g(n)+o (g(n))

(IUT de Nantes - Dpt d'informatique ) 14 / 51

Page 23: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Théorème 6 (Manipulation des O)

O(f )+O(g)=O(f +g) ;

f =O(f ) ;

k ·O(f )=O(f ) si k est une constante ;

O (O(f ))=O(f ) ;

O(f ) ·O(g)=O(f ·g) ;

O(f ·g)= f ·O(g).

(IUT de Nantes - Dpt d'informatique ) 15 / 51

Page 24: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Théorème 6 (Manipulation des O)

O(f )+O(g)=O(f +g) ;

f =O(f ) ;

k ·O(f )=O(f ) si k est une constante ;

O (O(f ))=O(f ) ;

O(f ) ·O(g)=O(f ·g) ;

O(f ·g)= f ·O(g).

(IUT de Nantes - Dpt d'informatique ) 15 / 51

Page 25: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Théorème 6 (Manipulation des O)

O(f )+O(g)=O(f +g) ;

f =O(f ) ;

k ·O(f )=O(f ) si k est une constante ;

O (O(f ))=O(f ) ;

O(f ) ·O(g)=O(f ·g) ;

O(f ·g)= f ·O(g).

(IUT de Nantes - Dpt d'informatique ) 15 / 51

Page 26: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Théorème 6 (Manipulation des O)

O(f )+O(g)=O(f +g) ;

f =O(f ) ;

k ·O(f )=O(f ) si k est une constante ;

O (O(f ))=O(f ) ;

O(f ) ·O(g)=O(f ·g) ;

O(f ·g)= f ·O(g).

(IUT de Nantes - Dpt d'informatique ) 15 / 51

Page 27: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Théorème 6 (Manipulation des O)

O(f )+O(g)=O(f +g) ;

f =O(f ) ;

k ·O(f )=O(f ) si k est une constante ;

O (O(f ))=O(f ) ;

O(f ) ·O(g)=O(f ·g) ;

O(f ·g)= f ·O(g).

(IUT de Nantes - Dpt d'informatique ) 15 / 51

Page 28: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Théorème 6 (Manipulation des O)

O(f )+O(g)=O(f +g) ;

f =O(f ) ;

k ·O(f )=O(f ) si k est une constante ;

O (O(f ))=O(f ) ;

O(f ) ·O(g)=O(f ·g) ;

O(f ·g)= f ·O(g).

(IUT de Nantes - Dpt d'informatique ) 15 / 51

Page 29: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Théorème 6 (Manipulation des O)

O(f )+O(g)=O(f +g) ;

f =O(f ) ;

k ·O(f )=O(f ) si k est une constante ;

O (O(f ))=O(f ) ;

O(f ) ·O(g)=O(f ·g) ;

O(f ·g)= f ·O(g).

(IUT de Nantes - Dpt d'informatique ) 15 / 51

Page 30: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Relations de domination

Approximations asymptotiques quand n→+∞ ou quand x → 0

n!=p2πn

(ne

)(1+ 1

12n+ 1

288n2+O

1

n3

)ex = 1+x + x2

2!+ x3

3!+ x4

4!+O(x5)

ln(1+x)= x − x2

2+ x3

3− x4

4+O(x5)

1

1−x= 1+x +x2+x3+x4+O(x5)

(1+x)α = 1+αx +(α

2

)x2+

3

)x3+

4

)x4+O(x5)

(IUT de Nantes - Dpt d'informatique ) 16 / 51

Page 31: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 17 / 51

Page 32: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Achille et la tortue

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 18 / 51

Page 33: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Achille et la tortue

(IUT de Nantes - Dpt d'informatique ) 19 / 51

Page 34: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Inégalité de Bernoulli

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 20 / 51

Page 35: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Inégalité de Bernoulli

(1+x)n > 1+nx

(IUT de Nantes - Dpt d'informatique ) 21 / 51

Page 36: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Le retour d'Achille

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 22 / 51

Page 37: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Le retour d'Achille

A0 A1 A2 A3 A4T0 T1 T2 T3

100 10 11

10 dn =Tn−An =Tn−Tn−1 = 1

10(Tn−1−An−1)= 1

10dn−1

t1 = d1v

= 100

v

t2 = d2v

= 1

10

d1v

= 1

10t1

(IUT de Nantes - Dpt d'informatique ) 23 / 51

Page 38: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Le retour d'Achille

A0 A1 A2 A3 A4T0 T1 T2 T3

100 10 11

10 dn =Tn−An =Tn−Tn−1 = 1

10(Tn−1−An−1)= 1

10dn−1

t1 = d1v

= 100

v

t2 = d2v

= 1

10

d1v

= 1

10t1

(IUT de Nantes - Dpt d'informatique ) 23 / 51

Page 39: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Le retour d'Achille

A0 A1 A2 A3 A4T0 T1 T2 T3

100 10 11

10 dn =Tn−An =Tn−Tn−1 = 1

10(Tn−1−An−1)= 1

10dn−1

t1 = d1v

= 100

v

t2 = d2v

= 1

10

d1v

= 1

10t1

(IUT de Nantes - Dpt d'informatique ) 23 / 51

Page 40: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Le retour d'Achille

A0 A1 A2 A3 A4T0 T1 T2 T3

100 10 11

10 dn =Tn−An =Tn−Tn−1 = 1

10(Tn−1−An−1)= 1

10dn−1

t1 = d1v

= 100

v

t2 = d2v

= 1

10

d1v

= 1

10t1

(IUT de Nantes - Dpt d'informatique ) 23 / 51

Page 41: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Le retour d'Achille

A0 A1 A2 A3 A4T0 T1 T2 T3

100 10 11

10 dn =Tn−An =Tn−Tn−1 = 1

10(Tn−1−An−1)= 1

10dn−1

t1 = d1v

= 100

v

t2 = d2v

= 1

10

d1v

= 1

10t1

(IUT de Nantes - Dpt d'informatique ) 23 / 51

Page 42: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Le retour d'Achille

A0 A1 A2 A3 A4T0 T1 T2 T3

100 10 11

10 dn =Tn−An =Tn−Tn−1 = 1

10(Tn−1−An−1)= 1

10dn−1

t1 = d1v

= 100

v

t2 = d2v

= 1

10

d1v

= 1

10t1

(IUT de Nantes - Dpt d'informatique ) 23 / 51

Page 43: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Le retour d'Achille

A0 A1 A2 A3 A4T0 T1 T2 T3

100 10 11

10 dn =Tn−An =Tn−Tn−1 = 1

10(Tn−1−An−1)= 1

10dn−1

t1 = d1v

= 100

v

t2 = d2v

= 1

10

d1v

= 1

10t1

(IUT de Nantes - Dpt d'informatique ) 23 / 51

Page 44: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Le retour d'Achille

A0 A1 A2 A3 A4T0 T1 T2 T3

100 10 11

10 dn =Tn−An =Tn−Tn−1 = 1

10(Tn−1−An−1)= 1

10dn−1

t1 = d1v

= 100

v

t2 = d2v

= 1

10

d1v

= 1

10t1

(IUT de Nantes - Dpt d'informatique ) 23 / 51

Page 45: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Le retour d'Achille

A0 A1 A2 A3 A4T0 T1 T2 T3

100 10 11

10 dn =Tn−An =Tn−Tn−1 = 1

10(Tn−1−An−1)= 1

10dn−1

t1 = d1v

= 100

v

t2 = d2v

= 1

10

d1v

= 1

10t1

(IUT de Nantes - Dpt d'informatique ) 23 / 51

Page 46: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

L'inni à portée de main Le retour d'Achille

Théorème 7 (Série géométrique)

La suite de terme général

Sn =n∑

k=0qn

converge si, et seulement si, |q| < 1. Dans ce cas :

S = limn→+∞Sn = 1

1−q

(IUT de Nantes - Dpt d'informatique ) 24 / 51

Page 47: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Calcul diérentiel et informatique

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 25 / 51

Page 48: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Calcul diérentiel et informatique Le problème

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 26 / 51

Page 49: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Calcul diérentiel et informatique Le problème

Dénition 8 (Dérivabilité)

Soit f une fonction numérique dénie sur un intervalle I de R.

Soit a ∈ I . On dit que f est dérivable en a si, et seulement si, le rapport :

τa(h)=f (a+h)− f (a)

h

admet une limite nie lorsque a tend vers 0.

Dans ce cas on note f ′(a) cette limite.

(IUT de Nantes - Dpt d'informatique ) 27 / 51

Page 50: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Calcul diérentiel et informatique Le problème

Théorème 9

Si f est dérivable en a avec f ′(a) 6= 0, alors

f (x)− f (a)∼af ′(a)× (x −a)

(IUT de Nantes - Dpt d'informatique ) 28 / 51

Page 51: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Calcul diérentiel et informatique Le problème

Dénition 10 (Dérivée keme)

Si f ′ est dérivable sur I on note f ′′ ou f (2) la dérivée de f ′ et on l'appelle la

dérivée seconde de f . De même si f ′′ est dérivable sur I , f ′′′ ou f (3), ladérivée de f ′′, est la dérivée troisième de f . Plus généralement on note f (k)

la dérivée k ieme de f avec la convention f (0) = f , f (k+1) =(f (k)

)′.

(IUT de Nantes - Dpt d'informatique ) 29 / 51

Page 52: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Calcul diérentiel et informatique Le problème

Dénition 11 (Fonctions de classe Cn, de classe C∞)

On dit que f est de classe Cn, n ∈N, sur I ssi f est n fois dérivable et ses ndérivées sont continues sur I . On remarquera que si f (n+1) existe sur I alorsf est de classe Cn sur I qui s'écrit f ∈ Cn(I ). On dit que f est de classe C∞

sur I pour exprimer que f est indéniment dérivable et, a fortiori, que

toutes ses dérivées sont continues.

(IUT de Nantes - Dpt d'informatique ) 30 / 51

Page 53: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Calcul diérentiel et informatique Le problème

def diff(f,h):def fp(x):

return (f(x+h) - f(x))/hreturn fp

>>> def g(x):return x**2

>>> diff(g,1e-10)(1)2.000000165480742

(IUT de Nantes - Dpt d'informatique ) 31 / 51

Page 54: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Calcul diérentiel et informatique Le problème

def diff(f,h):def fp(x):

return (f(x+h) - f(x))/hreturn fp

>>> def g(x):return x**2

>>> diff(g,1e-10)(1)2.000000165480742

(IUT de Nantes - Dpt d'informatique ) 31 / 51

Page 55: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Calcul diérentiel et informatique Le problème

def diffn(f,h,n):if n == 0:

return felse:

return diff(diffn(f,h,n-1),h)

(IUT de Nantes - Dpt d'informatique ) 32 / 51

Page 56: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Calcul diérentiel et informatique Le problème

>>> from math import exp

>>> diff(exp,1e-5)(0)1.000005000006965>>> diffn(exp,1e-5,2)(0)1.0000111849706173>>> diffn(exp,1e-5,3)(0)0.8881784197001251>>> diffn(exp,1e-5,4)(0)22204.46049250314>>> diffn(exp,1e-5,5)(0)-6661338147.75094

(IUT de Nantes - Dpt d'informatique ) 33 / 51

Page 57: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Formules de Taylor

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 34 / 51

Page 58: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Formules de Taylor Formule de Taylor-Lagrange

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 35 / 51

Page 59: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Formules de Taylor Formule de Taylor-Lagrange

Théorème 12

Si f est de classe Cn sur [a,b] et si f (n+1) existe sur ]a,b[ alors il existe aumoins un réel c ∈ ]a,b[ tel que :

f (b)=n∑

k=0

(b−a)k

k!f (k)(a)+ (b−a)n+1

(n+1)!f (n+1)(c)

On dit que l'on a écrit la formule de Taylor Lagrange à l'ordre n.

f (a+h)=n∑

k=0

hk

k!f (k)(a)+ hn+1

(n+1)!f (n+1)(a+θh)

(IUT de Nantes - Dpt d'informatique ) 36 / 51

Page 60: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Formules de Taylor Formule de Taylor-Lagrange

Théorème 12

Si f est de classe Cn sur [a,b] et si f (n+1) existe sur ]a,b[ alors il existe aumoins un réel c ∈ ]a,b[ tel que :

f (b)=n∑

k=0

(b−a)k

k!f (k)(a)+ (b−a)n+1

(n+1)!f (n+1)(c)

On dit que l'on a écrit la formule de Taylor Lagrange à l'ordre n.

f (a+h)=n∑

k=0

hk

k!f (k)(a)+ hn+1

(n+1)!f (n+1)(a+θh)

(IUT de Nantes - Dpt d'informatique ) 36 / 51

Page 61: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Formules de Taylor Formule de Taylor-Lagrange

Théorème 12

Si f est de classe Cn sur [a,b] et si f (n+1) existe sur ]a,b[ alors il existe aumoins un réel c ∈ ]a,b[ tel que :

f (b)=n∑

k=0

(b−a)k

k!f (k)(a)+ (b−a)n+1

(n+1)!f (n+1)(c)

On dit que l'on a écrit la formule de Taylor Lagrange à l'ordre n.

f (a+h)=n∑

k=0

hk

k!f (k)(a)+ hn+1

(n+1)!f (n+1)(a+θh)

(IUT de Nantes - Dpt d'informatique ) 36 / 51

Page 62: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Formules de Taylor Formule de Taylor-Mac Laurin

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 37 / 51

Page 63: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Formules de Taylor Formule de Taylor-Mac Laurin

Théorème 13

f (x)=n∑

k=0

xk

k!f (k)(0)+ xn+1

(n+1)!f (n+1)(θx)

(IUT de Nantes - Dpt d'informatique ) 38 / 51

Page 64: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Formules de Taylor Formule de Taylor avec reste intégral

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 39 / 51

Page 65: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Formules de Taylor Formule de Taylor avec reste intégral

Théorème 14

∀x ∈ I , f (x)=n∑

k=0

(x −a)k

k!f (k)(a)+

x∫a

(x − t)n

n!f (n+1)(t)dt

(IUT de Nantes - Dpt d'informatique ) 40 / 51

Page 66: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Formules de Taylor Formule de Taylor-Young.

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 41 / 51

Page 67: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Formules de Taylor Formule de Taylor-Young.

Théorème 15

∀x ∈ I , f (x)=n∑

k=0

(x −a)k

k!f (k)(a)+o ((x −a)n)

(IUT de Nantes - Dpt d'informatique ) 42 / 51

Page 68: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Développements limités

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 43 / 51

Page 69: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Développements limités Voisinage

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 44 / 51

Page 70: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Développements limités Dénition

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 45 / 51

Page 71: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Développements limités Dénition

Dénition 16

On dit que f , dénie sur Va, admet un développement limité d'ordre n ∈Nau voisinage de a (on écrit en abrégé : f admet un DLnV (a) ) s'il existeun polynôme Pn ∈Rn [X ] (ensemble des polynômes de degré inférieur ou

égal à n) et une fonction ε vériant :∀x ∈Va, f (x)=Pn(x −a)+ (x −a)nε(x)

ε(a)= 0

limx→a

ε(x)= 0

(IUT de Nantes - Dpt d'informatique ) 46 / 51

Page 72: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Développements limités Visualisation de l'approximation avec Sage

Sommaire

1 Complexité d'algorithmes

2 Relations de domination3 L'inni à portée de main

Achille et la tortue

Inégalité de Bernoulli

Le retour d'Achille4 Calcul diérentiel et informatique

Le problème

5 Formules de Taylor

Formule de Taylor-Lagrange

Formule de Taylor-Mac Laurin

Formule de Taylor avec reste intégral

Formule de Taylor-Young.

6 Développements limités

Voisinage

Dénition

Visualisation de l'approximation avec

Sage

(IUT de Nantes - Dpt d'informatique ) 47 / 51

Page 73: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Développements limités Visualisation de l'approximation avec Sage

Fonction DL(f(x),n:une expression, un entier ):une expression

polynomiale

Début

Der← f (sous forme de fonction!)

Pol← 0

Pour k variantDe 0 à n Faire

Pol← Pol+Der(0)× xk

k!

Der← fonction dérivée de Der

FinPour

Retourner Pol

Fin

(IUT de Nantes - Dpt d'informatique ) 48 / 51

Page 74: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Développements limités Visualisation de l'approximation avec Sage

def DL(F,n):var(’x’)f(x) = FDer = fPol = 0for k in range(n+1):

Pol += Der(0)*x**k/factorial(k)Der = Der.derivative()

return Pol

(IUT de Nantes - Dpt d'informatique ) 49 / 51

Page 75: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Développements limités Visualisation de l'approximation avec Sage

sage: DL(exp(x),5)1/120*x^5 + 1/24*x^4 + 1/6*x^3 + 1/2*x^2 + x + 1sage: DL(log(1+x),5)1/5*x^5 - 1/4*x^4 + 1/3*x^3 - 1/2*x^2 + x

sage: taylor(log(1+x),x,0,5)1/5*x^5 - 1/4*x^4 + 1/3*x^3 - 1/2*x^2 + x

(IUT de Nantes - Dpt d'informatique ) 50 / 51

Page 76: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Développements limités Visualisation de l'approximation avec Sage

sage: DL(exp(x),5)1/120*x^5 + 1/24*x^4 + 1/6*x^3 + 1/2*x^2 + x + 1sage: DL(log(1+x),5)1/5*x^5 - 1/4*x^4 + 1/3*x^3 - 1/2*x^2 + x

sage: taylor(log(1+x),x,0,5)1/5*x^5 - 1/4*x^4 + 1/3*x^3 - 1/2*x^2 + x

(IUT de Nantes - Dpt d'informatique ) 50 / 51

Page 77: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Développements limités Visualisation de l'approximation avec Sage

def anim_DL(f,p,xm,xM,ym,yM,d):P = plot(f,rgbcolor=’red’,xmin=xm,xmax=xM,ymin=ym,ymax=yM,

thickness=3, linestyle=’--’)a = animate([[P,DL(f,k)] for k in range(1,p)],xmin=xm,xmax=xM,

ymin=ym,ymax=yM)a.show(delay=d) # dé l a i en 100e de seconde ent re deux images.

sage: anim_DL(log(1+x),20,-1,2,-2,2,50)sage: anim_DL(cos(x),30,-4*pi,4*pi,-1.1,1.1,50)

(IUT de Nantes - Dpt d'informatique ) 51 / 51

Page 78: Mathématiques concrètes - TuxFamily pdf/iut... · 2011-12-12 · Formule de ayloTr-Mac Laurin Formule de ayloTr avec reste intégral Formule de ayloTr-Young. 6 Développements limités

Développements limités Visualisation de l'approximation avec Sage

def anim_DL(f,p,xm,xM,ym,yM,d):P = plot(f,rgbcolor=’red’,xmin=xm,xmax=xM,ymin=ym,ymax=yM,

thickness=3, linestyle=’--’)a = animate([[P,DL(f,k)] for k in range(1,p)],xmin=xm,xmax=xM,

ymin=ym,ymax=yM)a.show(delay=d) # dé l a i en 100e de seconde ent re deux images.

sage: anim_DL(log(1+x),20,-1,2,-2,2,50)sage: anim_DL(cos(x),30,-4*pi,4*pi,-1.1,1.1,50)

(IUT de Nantes - Dpt d'informatique ) 51 / 51