Calcul formel Calcul modulo un polynôme. SALSA - LIP6/Université Paris 6

Dimension: px
Commencer à balayer dès la page:

Download "Calcul formel Calcul modulo un polynôme. SALSA - LIP6/Université Paris 6"

Transcription

1 Calcul formel Calcul modulo un polynôme Guénaël Renault SALSA - LIP6/Université Paris 6

2 UPMC - Master STL - Calcul Formel /07 2/38 Part I Introduction - Motiviation

3 UPMC - Master STL - Calcul Formel /07 3/38 Calcul modulo C est le moyen de représenter les structures mathématiques en informatique et de faire du cacul exact : Calcul Formel! Résolution de problèmes géométriques (géo. - alg.) Utilisation des groupes en combinatoire Théorie algorithmique des nombres, cryptologie...

4 UPMC - Master STL - Calcul Formel /07 4/38 Calcul modulo un polynôme en une variable Il faut bien commencer par une variable! Pourquoi? Représentation symbolique de solutions Représentation de structures mathématiques (applications). Exemples importants : Représentation des corps finis (théorie de l information). Représentation des solutions issues de la géométrie. Représentation des corps de nombres et de fonctions.

5 UPMC - Master STL - Calcul Formel /07 5/38 Part II Euclide et l arithmétique

6 UPMC - Master STL - Calcul Formel /07 6/38 Arithmétique : quelques définitions importantes Soit A un anneau (commutatif avec unité). L arithmétique dans A c est étudier la notion de divisibilité dans cet anneau. Définitions anneau intègre divisibilité idéal (exemple : a b aa ba) élément inversible (éléments associés) élément irréductible élément premier a, b A, pgcd(a, b)

7 UPMC - Master STL - Calcul Formel /07 7/38 Décomposition d Euclide en général Un anneau A factoriel si A intègre a A non nul et non inversible, on a une décomposition unique (association près) de la forme a = i p vp(a), p irréductibles Arithmétique de base possible ici! Le PGCD peut être défini. Exemple : Z, Z[X]

8 UPMC - Master STL - Calcul Formel /07 8/38 Bézout et anneau principal Soient a,b et c trois éléments de A. Ils sont en relation de Bézout si ca = aa + ba et dans ce cas nous avons c = pgcd(a, b) Réciprocité? les idéaux de type fini sont principaux suffit! Anneau principal intègre tout idéal est principal (monogène) Contre-exemple important : Q[X, Y] n est pas principal! A[X] principal ssi A est un corps.

9 Anneaux euclidiens : où l on commence à faire des calculs! Comment calculer le pgcd et la relation de Bézout? Anneau euclidien intègre Il existe une application φ : A R + tq pour tout a, b 0 dans A on peut trouver q et r vérifiant a = bq + r division euclidienne avec φ(r) < φ(b) Algorithme d Euclide étendu. euclidien principal factoriel Comment faire des calculs si non euclidien? Bases de Gröbner, à suivre! UPMC - Master STL - Calcul Formel /07 9/38

10 Euclide : le monde parfait! UPMC - Master STL - Calcul Formel /07 10/38 A = Q[X] P irreductible K (pgcd(a, b)) = (a) + (b) A = (1) = (X + 1) + (X + 5) A = Z p entier premier {1, 1} (pgcd(a, b)) = (a) + (b) A = (1) = (3) + (2)

11 UPMC - Master STL - Calcul Formel /07 11/38 Extensions de corps et espace vectoriel Définition-Propositions Soit L K deux corps. L est appelé extension de K. Le degré de L sur K (noté [L : K]) correspond à la dimension de L en tant que K-ev. Si L et K sont finis L = K n où n = [L : K]. Montrer que si M L K et {e i } est une base de M sur L et {f j } une base de L sur K alors {e i f j } est une base de M sur K. En déduire le degré de M sur K.

12 UPMC - Master STL - Calcul Formel /07 12/38 Part III Racines d un polynôme et rupture

13 UPMC - Master STL - Calcul Formel /07 13/38 Polynômes : racines Définition Soit P A[X] un polynôme. Un élément α de A est une racine de P si P(α) = 0. Théorèmes Lorsque A est un corps on a Si α est une racine de P alors P = (X α)q(x). Si P est de degré n alors P a au plus n racines. on compte avec les multiplicités.

14 Polynômes : racines UPMC - Master STL - Calcul Formel /07 14/38 Problème Comment calculer formellement avec les racines d un polynôme irréductible de K[X]? Exemple : X 2 3 Q[X] a pour racine α = 3. Comment un ordinateur peut-il manipuler α pour calculer ( 3 1) 1 par exemple? Calcul formel.

15 Polynômes : racines Rupture On construit le plus petit sur-corps K(α) de K contenant α : K(α) = {P(α) : P K[X]} Représentation On a la construction formelle (P irréductible) par isomorphisme : K(α) = K[X]/(P) α est représenté par la classe de X modulo P. On ne peut distinguer algébriquement les racines de P. Les éléments de K(α) sont de la forme k 0 + k 1 α + + k n 1 α n 1 où n est le degré de P. Faire des calculs dans Q( 3) revient a calculer modulo X 2 3 dans Q[X]! UPMC - Master STL - Calcul Formel /07 15/38

16 UPMC - Master STL - Calcul Formel /07 16/38 A retenir et point vue vectoriel Soit P un polynôme irréductible de K[X]. K[X] est principal P engendre un idéal maximal L = K[X]/(P) est un corps (extension de K). K[X]/(P) K[α] où α est une racine (indistinguable) de P. Du point de vue vectoriel L est engendré par 1, α,..., α d 1 où d est le degré de P. Exemple : C = R[X]/(X 2 + 1)

17 Calcul formel UPMC - Master STL - Calcul Formel /07 17/38 Exemple : X 2 3 a pour racine α = 3. Comment un ordinateur peut-il manipuler α pour calculer ( 3 1) 1 par exemple?

18 Calcul formel UPMC - Master STL - Calcul Formel /07 17/38 Exemple : X 2 3 a pour racine α = 3. Comment un ordinateur peut-il manipuler α pour calculer ( 3 1) 1 par exemple? A l aide de la construction précédente, calculer ( 3 1) 1 revient à calculer l inverse de X 1 dans Q[X]/(X 2 3). Pour ça on utilise Euclide pour trouver une relation de Bézout :

19 Calcul formel UPMC - Master STL - Calcul Formel /07 17/38 Exemple : X 2 3 a pour racine α = 3. Comment un ordinateur peut-il manipuler α pour calculer ( 3 1) 1 par exemple? X 2 3 = X(X 1) + X 3 X 1 = 1(X 3) + 2 X 3 = 1 (X 3)

20 Calcul formel UPMC - Master STL - Calcul Formel /07 17/38 Exemple : X 2 3 a pour racine α = 3. Comment un ordinateur peut-il manipuler α pour calculer ( 3 1) 1 par exemple? X 2 3 X(X 1) = X 3 X 1 1(X 3) = 2 2 = (X 1) (X 2 3) + X(X 1)

21 Calcul formel UPMC - Master STL - Calcul Formel /07 17/38 Exemple : X 2 3 a pour racine α = 3. Comment un ordinateur peut-il manipuler α pour calculer ( 3 1) 1 par exemple? 1 = 1 2 (X + 1)(X 1) 1 2 (X2 3) ( 3 1) 1 = 1 2 ( 3 + 1)

22 UPMC - Master STL - Calcul Formel /07 18/38 Part IV Représentation régulière des nombres algébriques

23 UPMC - Master STL - Calcul Formel /07 19/38 Matrice de multiplication Représentation des nombres algébriques à l aide d une matrice. Corps de nombres - Q-espace vectoriel Soit K = Q[X]/(P) un corps de rupture de degré n et α une racine de P (image de X dans le quotient). K est un Q-espace vectoriel de degré n Une base de K est donnee par {1, α,..., α n 1 }. Exemple : P(X) = X 2 2 α = 2 K = Q[α] = Q[X]/(P) K = Q 1, 2

24 UPMC - Master STL - Calcul Formel /07 20/38 Matrice de multiplication Représentation des nombres algébriques à l aide d une matrice. K est un Q-ev de dimension n de base {e 1,..., e n }. Proposition-Défintion Soit ω = ω i e i K, la multiplication par α est un endomorphisme du Q-ev K. M ω : K K a aω Sa représentation matricielle M ω = (ω i,j ) est donnée par : ou encore n ωe j = a i,j e i i=1 ω(e 1,..., e n ) = (e 1,..., e n )M ω

25 UPMC - Master STL - Calcul Formel /07 21/38 Matrice de multiplication Représentation des nombres algébriques à l aide d une matrice. K est un Q-ev de dimension n de base {e 1,..., e n }. Propriétés M ab = M a M b M a dépend de la base choisie Une fois la base fixée on a un morphisme d algèbre F : K M n a M a Faire des calculs avec les nombres algébriques revient à faire de l alèbre linéaire.

26 UPMC - Master STL - Calcul Formel /07 22/38 Matrice de multiplication Représentation des nombres algébriques à l aide d une matrice. K est un Q-ev de dimension n de base {e 1,..., e n }. Invariants Soit a K on définit La trace de a : Tr(a) := Tr(M a ) La norme de a : N(a) := Det(M a ) Pour b K et λ Q on a Tr(a + b) = Tr(a) + Tr(b) Tr(λa) = λtr(a) N(ab) = N(a)N(b) N(λa) = λ n N(a) La trace est linéaire. La norme est multiplicative, homogène de degré n.

27 UPMC - Master STL - Calcul Formel /07 23/38 Anneau des entiers Entier algébrique Soit a K. L élément a est un entier algébrique s il existe un polynôme unitaire à coefficients dans Z annulant a. Théorème Un élément a K est un entier algébrique ssi le polynôme charactéristique de M a est unitaire à coefficients entiers. Le polynôme charactéristique de M a : P a (t) = det(ti n M a ) est annulateur de a (c est aussi son polynôme charactérisque). Les matrices à coeffcients entiers sont stables par addition et multiplication : c est bien un anneau!

28 Anneau des entiers de Q[ d] UPMC - Master STL - Calcul Formel /07 24/38 Exemple : on cherche l anneau des entiers de Q[ d] pour d Z {0, 1} un entier sans carré.

29 UPMC - Master STL - Calcul Formel /07 25/38 Part V Corps finis

30 UPMC - Master STL - Calcul Formel /07 26/38 Corps finis : définition A partir des corps premiers F p = Z/pZ on veut pouvoir construire des corps de même caractéristique p mais de cardinal plus grand. On utilise la rupture Définition Soit P un polynôme irréductible de degré n F p n := F p [X]/(P)

31 UPMC - Master STL - Calcul Formel /07 27/38 Corps finis : résultats Théorèmes F p n est de cardinal p n. Pour tout p premier et tout entier n > 0 il existe un polynôme irréductible de degré n dans F p. Exemple : F p = Z/2Z et P = X 2 + X + 1 F 4 = F 2 [X]/(X 2 + X + 1) Si on note ω une racine de P (image de X modulo P) on a : F 4 = {0, 1, ω, ω + 1}

32 UPMC - Master STL - Calcul Formel /07 28/38 Comment les représenter? Il existe approximativement q k /k polynômes irréductibles de degré k sur F q. Lemme(Gauss) Soit P un polynôme de degré d dans F q et p i les premiers divisant d. P est irréductible ssi pgcd(p, X qd/p i X) = 1 i P divise X qd X Choix des polynômes important pour arithmétique efficace Trinôme ou pentanôme unitaires irréductibles, problème ouvert en tout degré (ok pour d < 10000).

33 UPMC - Master STL - Calcul Formel /07 29/38 Calculs dans F q Addition et multiplication : on utilise les algos sur le l anneau de base et on applique les réductions Division = Inversion : Euclide!

34 Calculs dans F q Inversion en carac 2 de f modulo m de deg d (Brunner et al.). u := 1 ; v := 0 ; s := m ; δ := 0 for i := 1 to 2d do i f f d = 0 then f := Xf ; u := Xu mod m ; δ++ else i f s d = 1 then s := s f ; v := v u mod m end i f s := Xs i f δ = 0 then t := f ; f := s ; s := t t := u ; u := v ; v := t u := Xu mod m δ := 1 else u := u/x mod m ; δ end i f ; end i f ; UPMCend - Masterfor STL - ; Calcul Formel /07 30/38

35 UPMC - Master STL - Calcul Formel /07 31/38 Part VI Corps finis - représentation par base normale - Syst. Lin.

36 Base normale et multiplication Définitions Un élément α de F p k est dit normal si α, α p,..., α pk 1 sont linéairement disjoints. {α, α p,..., α pk 1 } est une base de l ev F p k sur F p dite normale. Facilite le calcul de β p (shift) dans cette représentation (notamment en caractéristique 2 pour l exponentiation). Difficile de multiplier : utilisation d une matrice de multiplication Matrice de multiplication T = (t i,h ) telle que k 1 α pi α pj = t i j,h j α ph Si u et v sont représentés dans cette base alors w = uv est donné par h=0 w h = (u h, u h+1,..., u h+k 1 )T(v h, v h+1,..., v h+k 1 ) t (indices mod k) Exemple : calcul d une matrice de multiplication par réduction de Gauss. UPMC - Master STL - Calcul Formel /07 32/38

37 UPMC - Master STL - Calcul Formel /07 33/38 Multiplication et inversion pour un degré donné modéré a = a 0 + a 1 θ + a 2 θ 2 et b = b 0 + b 1 θ + b 2 θ 2 Multiplication : Karatsuba Inversion : pré-calcul par algèbre linéaire Exemple en degré 3.

38 UPMC - Master STL - Calcul Formel /07 34/38 Part VII Application : NFS light

39 UPMC - Master STL - Calcul Formel /07 35/38 Number Field Sieve : crible algébrique On utilise un nouveau concept dans QS, celui du calcul avec une racine d un polynôme. Idée de base pour factoriser n en criblant: On considère f Z[X] et α une racine de f. On va cribler dans l anneau Z[α] et dans Z/nZ simultanément. Lumière φ : Z[α] Z/nZ a 1,..., a k Z[α] de produit un carré γ 2 Z[α] φ(a 1 ),..., φ(a k ) Z/nZ de produit un carré v 2 Z/nZ u 2 := φ(γ) 2 = φ(a 1 a k ) = φ(a 1 ) φ(a k ) = v 2 mod n Comment trouver des carrés dans Z[α].

40 UPMC - Master STL - Calcul Formel /07 36/38 Number Field Sieve : crible algébrique Comment choisir f et φ? Constantes d = 5 (heuristique) m = n 1/d On écrit n en base m, pour n suffisament grand on aura : n = m d + c d 1 m d c 0 f = X d + c d 1 X d c 0 φ : a = a 0 +a 1 α+ +a d 1 α d 1 t = a 0 +a 1 m+ +a d 1 m d 1 t mod n

41 UPMC - Master STL - Calcul Formel /07 37/38 Number Field Sieve : crible algébrique Que cherche-t-on? Les couples recherchés On considère les éléments a bα Z[α]. On cherche un ensemble E de couples (a, b) d entiers étrangers l un de l autre tels que En effet on aura alors (a,b) E (a,b) E (a bα) = γ 2, γ Z[α] (a bm) = v 2, v Z φ(γ) 2 = v 2 mod n

42 UPMC - Master STL - Calcul Formel /07 38/38 Number Field Sieve : crible algébrique Crible? Ce que l on crible On considère la norme F(a, b) := N(a bα) = b d f (a/b) et la fonction G(a, b) = a bm On cherche des couples (a, b) tels que le produit F(a, b)g(a, b) soit B smooth Par algèbre linéaire on reconstruit des carrés (on double la longueur des vecteurs, les premiers de F(a, b) d un coté, ceux de G(a, b) de l autre. Pas si simple que ca! La condition sur la norme ne suffit pas a dire que l on a un carré dans Z[α] mais on peut s arranger!.

Introduction à l étude des Corps Finis

Introduction à l étude des Corps Finis Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur

Plus en détail

Quelques tests de primalité

Quelques tests de primalité Quelques tests de primalité J.-M. Couveignes (merci à T. Ezome et R. Lercier) Institut de Mathématiques de Bordeaux & INRIA Bordeaux Sud-Ouest Jean-Marc.Couveignes@u-bordeaux.fr École de printemps C2 Mars

Plus en détail

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Exercices - Polynômes : corrigé. Opérations sur les polynômes Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)

Plus en détail

Résumé du cours d algèbre 1, 2013-2014. Sandra Rozensztajn. UMPA, ENS de Lyon, sandra.rozensztajn@ens-lyon.fr

Résumé du cours d algèbre 1, 2013-2014. Sandra Rozensztajn. UMPA, ENS de Lyon, sandra.rozensztajn@ens-lyon.fr Résumé du cours d algèbre 1, 2013-2014 Sandra Rozensztajn UMPA, ENS de Lyon, sandra.rozensztajn@ens-lyon.fr CHAPITRE 0 Relations d équivalence et classes d équivalence 1. Relation d équivalence Définition

Plus en détail

Extrait du poly de Stage de Grésillon 1, août 2010

Extrait du poly de Stage de Grésillon 1, août 2010 MINI-COURS SUR LES POLYNÔMES À UNE VARIABLE Extrait du poly de Stage de Grésillon 1, août 2010 Table des matières I Opérations sur les polynômes 3 II Division euclidienne et racines 5 1 Division euclidienne

Plus en détail

Chapitre VI - Méthodes de factorisation

Chapitre VI - Méthodes de factorisation Université Pierre et Marie Curie Cours de cryptographie MM067-2012/13 Alain Kraus Chapitre VI - Méthodes de factorisation Le problème de la factorisation des grands entiers est a priori très difficile.

Plus en détail

Structures algébriques

Structures algébriques Structures algébriques 1. Lois de composition s Soit E un ensemble. Une loi de composition interne sur E est une application de E E dans E. Soient E et F deux ensembles. Une loi de composition externe

Plus en détail

Nombres premiers. Comment reconnaître un nombre premier? Mais...

Nombres premiers. Comment reconnaître un nombre premier? Mais... Introduction Nombres premiers Nombres premiers Rutger Noot IRMA Université de Strasbourg et CNRS Le 19 janvier 2011 IREM Strasbourg Definition Un nombre premier est un entier naturel p > 1 ayant exactement

Plus en détail

Mathématiques Algèbre et géométrie

Mathématiques Algèbre et géométrie Daniel FREDON Myriam MAUMY-BERTRAND Frédéric BERTRAND Mathématiques Algèbre et géométrie en 30 fiches Daniel FREDON Myriam MAUMY-BERTRAND Frédéric BERTRAND Mathématiques Algèbre et géométrie en 30 fiches

Plus en détail

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que Introduction. On suppose connus les ensembles N (des entiers naturels), Z des entiers relatifs et Q (des nombres rationnels). On s est rendu compte, depuis l antiquité, que l on ne peut pas tout mesurer

Plus en détail

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes. 1 Définitions, notations Calcul matriciel Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes. On utilise aussi la notation m n pour le

Plus en détail

UNIVERSITE IBN ZOHR Faculté des sciences Agadir. Filière SMA & SMI. Semestre 1. Module : Algèbre 1

UNIVERSITE IBN ZOHR Faculté des sciences Agadir. Filière SMA & SMI. Semestre 1. Module : Algèbre 1 UNIVERSITE IBN ZOHR Faculté des sciences Agadir Filière SMA & SMI Semestre 1 Module : Algèbre 1 Année universitaire : 011-01 A. Redouani & E. Elqorachi 1 Contenu du Module : Chapitre 1 : Introduction Logique

Plus en détail

Pour l épreuve d algèbre, les calculatrices sont interdites.

Pour l épreuve d algèbre, les calculatrices sont interdites. Les pages qui suivent comportent, à titre d exemples, les questions d algèbre depuis juillet 003 jusqu à juillet 015, avec leurs solutions. Pour l épreuve d algèbre, les calculatrices sont interdites.

Plus en détail

Problème 1 : applications du plan affine

Problème 1 : applications du plan affine Problème 1 : applications du plan affine Notations On désigne par GL 2 (R) l ensemble des matrices 2 2 inversibles à coefficients réels. Soit un plan affine P muni d un repère (O, I, J). Les coordonnées

Plus en détail

Polynômes à plusieurs variables. Résultant

Polynômes à plusieurs variables. Résultant Polynômes à plusieurs variables. Résultant Christophe Ritzenthaler 1 Relations coefficients-racines. Polynômes symétriques Issu de [MS] et de [Goz]. Soit A un anneau intègre. Définition 1.1. Soit a A \

Plus en détail

Cours arithmétique et groupes. Licence première année, premier semestre

Cours arithmétique et groupes. Licence première année, premier semestre Cours arithmétique et groupes. Licence première année, premier semestre Raphaël Danchin, Rejeb Hadiji, Stéphane Jaffard, Eva Löcherbach, Jacques Printems, Stéphane Seuret Année 2006-2007 2 Table des matières

Plus en détail

Exo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.

Exo7. Matrice d une application linéaire. Corrections d Arnaud Bodin. Exo7 Matrice d une application linéaire Corrections d Arnaud odin. Exercice Soit R muni de la base canonique = ( i, j). Soit f : R R la projection sur l axe des abscisses R i parallèlement à R( i + j).

Plus en détail

Une forme générale de la conjecture abc

Une forme générale de la conjecture abc Une forme générale de la conjecture abc Nicolas Billerey avec l aide de Manuel Pégourié-Gonnard 6 août 2009 Dans [Lan99a], M Langevin montre que la conjecture abc est équivalente à la conjecture suivante

Plus en détail

Problèmes arithmétiques issus de la cryptographie reposant sur les réseaux

Problèmes arithmétiques issus de la cryptographie reposant sur les réseaux Problèmes arithmétiques issus de la cryptographie reposant sur les réseaux Damien Stehlé LIP CNRS/ENSL/INRIA/UCBL/U. Lyon Perpignan, Février 2011 Damien Stehlé Problèmes arithmétiques issus de la cryptographie

Plus en détail

Calcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane

Calcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane Calcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane Poteaux Adrien XLIM-DMI, UMR-CNRS 6172 Université de Limoges Soutenance de thèse 15 octobre

Plus en détail

Le produit semi-direct

Le produit semi-direct Le produit semi-direct Préparation à l agrégation de mathématiques Université de Nice - Sophia Antipolis Antoine Ducros Octobre 2007 Ce texte est consacré, comme son titre l indique, au produit semi-direct.

Plus en détail

La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1

La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1 La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1 La licence Mathématiques et Economie-MASS de l Université des Sciences Sociales de Toulouse propose sur les trois

Plus en détail

Cours de mathématiques

Cours de mathématiques DEUG MIAS premier niveau Cours de mathématiques année 2003/2004 Guillaume Legendre (version révisée du 3 avril 2015) Table des matières 1 Éléments de logique 1 1.1 Assertions...............................................

Plus en détail

Calculer avec Sage. Revision : 417 du 1 er juillet 2010

Calculer avec Sage. Revision : 417 du 1 er juillet 2010 Calculer avec Sage Alexandre Casamayou Guillaume Connan Thierry Dumont Laurent Fousse François Maltey Matthias Meulien Marc Mezzarobba Clément Pernet Nicolas Thiéry Paul Zimmermann Revision : 417 du 1

Plus en détail

Réalisabilité et extraction de programmes

Réalisabilité et extraction de programmes Mercredi 9 mars 2005 Extraction de programme: qu'est-ce que c'est? Extraire à partir d'une preuve un entier x N tel que A(x). π x N A(x) (un témoin) (En fait, on n'extrait pas un entier, mais un programme

Plus en détail

Cours d analyse numérique SMI-S4

Cours d analyse numérique SMI-S4 ours d analyse numérique SMI-S4 Introduction L objet de l analyse numérique est de concevoir et d étudier des méthodes de résolution de certains problèmes mathématiques, en général issus de problèmes réels,

Plus en détail

Rapport de stage de fin de première année : exemples de groupes, leur traitement par MAGMA, et applications en cryptographie

Rapport de stage de fin de première année : exemples de groupes, leur traitement par MAGMA, et applications en cryptographie Rapport de stage de fin de première année : exemples de groupes, leur traitement par MAGMA, et applications en cryptographie Encadré par Guénaël Renault Tristan Vaccon juin 2009-juillet 2009 Table des

Plus en détail

Cours d arithmétique Première partie

Cours d arithmétique Première partie Cours d arithmétique Première partie Pierre Bornsztein Xavier Caruso Pierre Nolin Mehdi Tibouchi Décembre 2004 Ce document est la première partie d un cours d arithmétique écrit pour les élèves préparant

Plus en détail

Calcul fonctionnel holomorphe dans les algèbres de Banach

Calcul fonctionnel holomorphe dans les algèbres de Banach Chapitre 7 Calcul fonctionnel holomorphe dans les algèbres de Banach L objet de ce chapitre est de définir un calcul fonctionnel holomorphe qui prolonge le calcul fonctionnel polynômial et qui respecte

Plus en détail

Représentation d un entier en base b

Représentation d un entier en base b Représentation d un entier en base b 13 octobre 2012 1 Prérequis Les bases de la programmation en langage sont supposées avoir été travaillées L écriture en base b d un entier est ainsi défini à partir

Plus en détail

Programme de la classe de première année MPSI

Programme de la classe de première année MPSI Objectifs Programme de la classe de première année MPSI I - Introduction à l analyse L objectif de cette partie est d amener les étudiants vers des problèmes effectifs d analyse élémentaire, d introduire

Plus en détail

Résolution de systèmes linéaires par des méthodes directes

Résolution de systèmes linéaires par des méthodes directes Résolution de systèmes linéaires par des méthodes directes J. Erhel Janvier 2014 1 Inverse d une matrice carrée et systèmes linéaires Ce paragraphe a pour objet les matrices carrées et les systèmes linéaires.

Plus en détail

Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables

Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables Guy Desaulniers Département de mathématiques et de génie industriel École Polytechnique de Montréal Automne 2014 Table des matières

Plus en détail

Feuille G1 RAPPEL SUR LES GROUPES

Feuille G1 RAPPEL SUR LES GROUPES Université Joseph Fourier Licence de Mathématiques Année 2004/2005 Algèbre II Michael Eisermann Feuille G1 RAPPEL SUR LES GROUPES Mode d emploi. Tout énoncé portant un numéro est un exercice, parfois implicite.

Plus en détail

Différentiabilité ; Fonctions de plusieurs variables réelles

Différentiabilité ; Fonctions de plusieurs variables réelles Différentiabilité ; Fonctions de plusieurs variables réelles Denis Vekemans R n est muni de l une des trois normes usuelles. 1,. 2 ou.. x 1 = i i n Toutes les normes de R n sont équivalentes. x i ; x 2

Plus en détail

www.h-k.fr/publications/objectif-agregation

www.h-k.fr/publications/objectif-agregation «Sur C, tout est connexe!» www.h-k.fr/publications/objectif-agregation L idée de cette note est de montrer que, contrairement à ce qui se passe sur R, «sur C, tout est connexe». Cet abus de langage se

Plus en détail

Comment démontrer des formules sans effort? exposé de maîtrise

Comment démontrer des formules sans effort? exposé de maîtrise Comment démontrer des formules sans effort? exposé de maîtrise Marc Mezzarobba Sam Zoghaib Sujet proposé par François Loeser Résumé Nous exposons un ensemble de méthodes qui permettent d évaluer «en forme

Plus en détail

Chapitre 3. Mesures stationnaires. et théorèmes de convergence

Chapitre 3. Mesures stationnaires. et théorèmes de convergence Chapitre 3 Mesures stationnaires et théorèmes de convergence Christiane Cocozza-Thivent, Université de Marne-la-Vallée p.1 I. Mesures stationnaires Christiane Cocozza-Thivent, Université de Marne-la-Vallée

Plus en détail

Premiers exercices d Algèbre. Anne-Marie Simon

Premiers exercices d Algèbre. Anne-Marie Simon Premiers exercices d Algèbre Anne-Marie Simon première version: 17 août 2005 version corrigée et complétée le 12 octobre 2010 ii Table des matières 1 Quelques structures ensemblistes 1 1.0 Ensembles, relations,

Plus en détail

Correction de l examen de la première session

Correction de l examen de la première session de l examen de la première session Julian Tugaut, Franck Licini, Didier Vincent Si vous trouvez des erreurs de Français ou de mathématiques ou bien si vous avez des questions et/ou des suggestions, envoyez-moi

Plus en détail

VI. COMPLÉMENTS SUR LES MODULES, THÉORÈME CHINOIS, FACTEURS INVARIANTS SÉANCES DU 15, 16 ET 22 OCTOBRE

VI. COMPLÉMENTS SUR LES MODULES, THÉORÈME CHINOIS, FACTEURS INVARIANTS SÉANCES DU 15, 16 ET 22 OCTOBRE VI. COMPLÉMENTS SUR LES MODULES, THÉORÈME CHINOIS, FACTEURS INVARIANTS SÉANCES DU 15, 16 ET 22 OCTOBRE 12. Compléments sur les modules 12.1. Théorème de Zorn et conséquences. Soient A un anneau commutatif

Plus en détail

Cours d algorithmique pour la classe de 2nde

Cours d algorithmique pour la classe de 2nde Cours d algorithmique pour la classe de 2nde F.Gaudon 10 août 2009 Table des matières 1 Avant la programmation 2 1.1 Qu est ce qu un algorithme?................................. 2 1.2 Qu est ce qu un langage

Plus en détail

Cours d Analyse. Fonctions de plusieurs variables

Cours d Analyse. Fonctions de plusieurs variables Cours d Analyse Fonctions de plusieurs variables Licence 1ère année 2007/2008 Nicolas Prioux Université de Marne-la-Vallée Table des matières 1 Notions de géométrie dans l espace et fonctions à deux variables........

Plus en détail

CCP PSI - 2010 Mathématiques 1 : un corrigé

CCP PSI - 2010 Mathématiques 1 : un corrigé CCP PSI - 00 Mathématiques : un corrigé Première partie. Définition d une structure euclidienne sur R n [X]... B est clairement symétrique et linéaire par rapport à sa seconde variable. De plus B(P, P

Plus en détail

FONDEMENTS DES MATHÉMATIQUES

FONDEMENTS DES MATHÉMATIQUES FONDEMENTS DES MATHÉMATIQUES AYBERK ZEYTİN 1. DIVISIBILITÉ Comment on peut écrire un entier naturel comme un produit des petits entiers? Cette question a une infinitude d interconnexions entre les nombres

Plus en détail

Développement décimal d un réel

Développement décimal d un réel 4 Développement décimal d un réel On rappelle que le corps R des nombres réels est archimédien, ce qui permet d y définir la fonction partie entière. En utilisant cette partie entière on verra dans ce

Plus en détail

FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)

FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4) FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4) Bernard Le Stum Université de Rennes 1 Version du 13 mars 2009 Table des matières 1 Fonctions partielles, courbes de niveau 1 2 Limites et continuité

Plus en détail

Cours Informatique Master STEP

Cours Informatique Master STEP Cours Informatique Master STEP Bases de la programmation: Compilateurs/logiciels Algorithmique et structure d'un programme Programmation en langage structuré (Fortran 90) Variables, expressions, instructions

Plus en détail

Cours 7 : Utilisation de modules sous python

Cours 7 : Utilisation de modules sous python Cours 7 : Utilisation de modules sous python 2013/2014 Utilisation d un module Importer un module Exemple : le module random Importer un module Exemple : le module random Importer un module Un module est

Plus en détail

[http://mp.cpgedupuydelome.fr] édité le 30 avril 2015 Enoncés 1

[http://mp.cpgedupuydelome.fr] édité le 30 avril 2015 Enoncés 1 [http://mpcpgedupuydelomefr] édité le 3 avril 215 Enoncés 1 Exercice 1 [ 265 ] [correction] On note V l ensemble des matrices à coefficients entiers du type a b c d d a b c c d a b b c d a et G l ensemble

Plus en détail

Cryptographie et fonctions à sens unique

Cryptographie et fonctions à sens unique Cryptographie et fonctions à sens unique Pierre Rouchon Centre Automatique et Systèmes Mines ParisTech pierre.rouchon@mines-paristech.fr Octobre 2012 P.Rouchon (Mines ParisTech) Cryptographie et fonctions

Plus en détail

Factorisation d entiers (première partie)

Factorisation d entiers (première partie) Factorisation d entiers ÉCOLE DE THEORIE DES NOMBRES 0 Factorisation d entiers (première partie) Francesco Pappalardi Théorie des nombres et algorithmique 22 novembre, Bamako (Mali) Factorisation d entiers

Plus en détail

Formes quadratiques. 1 Formes quadratiques et formes polaires associées. Imen BHOURI. 1.1 Définitions

Formes quadratiques. 1 Formes quadratiques et formes polaires associées. Imen BHOURI. 1.1 Définitions Formes quadratiques Imen BHOURI 1 Ce cours s adresse aux étudiants de niveau deuxième année de Licence et à ceux qui préparent le capes. Il combine d une façon indissociable l étude des concepts bilinéaires

Plus en détail

Résolution d équations non linéaires

Résolution d équations non linéaires Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique

Plus en détail

2 Division dans l anneau des polynômes à plusieurs variables

2 Division dans l anneau des polynômes à plusieurs variables MA 2 2011-2012 M2 Algèbre formelle 1 Introduction 1.1 Référence Ideals, varieties and algorithms, D. Cox, J. Little, D. O Shea, Undergraduate texts in Mathematics, Springer 1997. Using algebraic geometry,

Plus en détail

Algorithmes pour la planification de mouvements en robotique non-holonome

Algorithmes pour la planification de mouvements en robotique non-holonome Algorithmes pour la planification de mouvements en robotique non-holonome Frédéric Jean Unité de Mathématiques Appliquées ENSTA Le 02 février 2006 Outline 1 2 3 Modélisation Géométrique d un Robot Robot

Plus en détail

STAGE IREM 0- Premiers pas en Python

STAGE IREM 0- Premiers pas en Python Université de Bordeaux 16-18 Février 2014/2015 STAGE IREM 0- Premiers pas en Python IREM de Bordeaux Affectation et expressions Le langage python permet tout d abord de faire des calculs. On peut évaluer

Plus en détail

Baccalauréat ES Pondichéry 7 avril 2014 Corrigé

Baccalauréat ES Pondichéry 7 avril 2014 Corrigé Baccalauréat ES Pondichéry 7 avril 204 Corrigé EXERCICE 4 points Commun à tous les candidats. Proposition fausse. La tangente T, passant par les points A et B d abscisses distinctes, a pour coefficient

Plus en détail

Démonstration de la conjecture de Dumont

Démonstration de la conjecture de Dumont C. R. Acad. Sci. Paris, Ser. I 1 (005) 71 718 Théorie des nombres/combinatoire Démonstration de la conjecture de Dumont Bodo Lass http://france.elsevier.com/direct/crass1/ Institut Camille Jordan, UMR

Plus en détail

Chapitre 2. Matrices

Chapitre 2. Matrices Département de mathématiques et informatique L1S1, module A ou B Chapitre 2 Matrices Emmanuel Royer emmanuelroyer@mathuniv-bpclermontfr Ce texte mis gratuitement à votre disposition a été rédigé grâce

Plus en détail

Table des matières. I Mise à niveau 11. Préface

Table des matières. I Mise à niveau 11. Préface Table des matières Préface v I Mise à niveau 11 1 Bases du calcul commercial 13 1.1 Alphabet grec...................................... 13 1.2 Symboles mathématiques............................... 14 1.3

Plus en détail

Cours introductif de M2 Théorie des Nombres

Cours introductif de M2 Théorie des Nombres Cours introductif de M2 Théorie des Nombres Jean-François Dat 2012-2013 Résumé Ce cours est une introduction aux concepts et outils de base de la théorie algébrique des nombres : théorie des entiers, théorie

Plus en détail

Corrigé des TD 1 à 5

Corrigé des TD 1 à 5 Corrigé des TD 1 à 5 1 Premier Contact 1.1 Somme des n premiers entiers 1 (* Somme des n premiers entiers *) 2 program somme_entiers; n, i, somme: integer; 8 (* saisie du nombre n *) write( Saisissez un

Plus en détail

Présentation du langage et premières fonctions

Présentation du langage et premières fonctions 1 Présentation de l interface logicielle Si les langages de haut niveau sont nombreux, nous allons travaillé cette année avec le langage Python, un langage de programmation très en vue sur internet en

Plus en détail

Algorithmes récursifs

Algorithmes récursifs Licence 1 MASS - Algorithmique et Calcul Formel S. Verel, M.-E. Voge www.i3s.unice.fr/ verel 23 mars 2007 Objectifs de la séance 3 écrire des algorithmes récursifs avec un seul test rechercher un élément

Plus en détail

3 Approximation de solutions d équations

3 Approximation de solutions d équations 3 Approximation de solutions d équations Une équation scalaire a la forme générale f(x) =0où f est une fonction de IR dans IR. Un système de n équations à n inconnues peut aussi se mettre sous une telle

Plus en détail

Un K-espace vectoriel est un ensemble non vide E muni : d une loi de composition interne, c est-à-dire d une application de E E dans E : E E E

Un K-espace vectoriel est un ensemble non vide E muni : d une loi de composition interne, c est-à-dire d une application de E E dans E : E E E Exo7 Espaces vectoriels Vidéo partie 1. Espace vectoriel (début Vidéo partie 2. Espace vectoriel (fin Vidéo partie 3. Sous-espace vectoriel (début Vidéo partie 4. Sous-espace vectoriel (milieu Vidéo partie

Plus en détail

Licence STS mention Mathématiques Parcours Ingénieur Télécom Bretagne (ITB)

Licence STS mention Mathématiques Parcours Ingénieur Télécom Bretagne (ITB) Licence STS mention Mathématiques Parcours Ingénieur Télécom Bretagne (ITB) FICHE D IDENTITE DE LA FORMATION Domaine de formation : Sciences, Technologies, Santé Intitulé : Licence Sciences, Technologies,

Plus en détail

Initiation à l algorithmique

Initiation à l algorithmique Informatique S1 Initiation à l algorithmique procédures et fonctions 2. Appel d une fonction Jacques TISSEAU Ecole Nationale d Ingénieurs de Brest Technopôle Brest-Iroise CS 73862-29238 Brest cedex 3 -

Plus en détail

Notes du cours MTH1101N Calcul I Partie II: fonctions de plusieurs variables

Notes du cours MTH1101N Calcul I Partie II: fonctions de plusieurs variables Notes du cours MTH1101N Calcul I Partie II: fonctions de plusieurs variables Fausto Errico Département de mathématiques et de génie industriel École Polytechnique de Montréal Automne 2012 Table des matières

Plus en détail

1 Définition et premières propriétés des congruences

1 Définition et premières propriétés des congruences Université Paris 13, Institut Galilée Département de Mathématiques Licence 2ème année Informatique 2013-2014 Cours de Mathématiques pour l Informatique Des nombres aux structures Sylviane R. Schwer Leçon

Plus en détail

Cryptographie RSA. Introduction Opérations Attaques. Cryptographie RSA NGUYEN Tuong Lan - LIU Yi 1

Cryptographie RSA. Introduction Opérations Attaques. Cryptographie RSA NGUYEN Tuong Lan - LIU Yi 1 Cryptographie RSA Introduction Opérations Attaques Cryptographie RSA NGUYEN Tuong Lan - LIU Yi 1 Introduction Historique: Rivest Shamir Adleman ou RSA est un algorithme asymétrique de cryptographie à clé

Plus en détail

Proposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5.

Proposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5. DÉVELOPPEMENT 32 A 5 EST LE SEUL GROUPE SIMPLE D ORDRE 60 Proposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5. Démonstration. On considère un groupe G d ordre 60 = 2 2 3 5 et

Plus en détail

Journées Télécom-UPS «Le numérique pour tous» David A. Madore. david.madore@enst.fr. 29 mai 2015

Journées Télécom-UPS «Le numérique pour tous» David A. Madore. david.madore@enst.fr. 29 mai 2015 et et Journées Télécom-UPS «Le numérique pour tous» David A. Madore Télécom ParisTech david.madore@enst.fr 29 mai 2015 1/31 et 2/31 : définition Un réseau de R m est un sous-groupe (additif) discret L

Plus en détail

Fonctions de plusieurs variables et applications pour l ingénieur

Fonctions de plusieurs variables et applications pour l ingénieur Service Commun de Formation Continue Année Universitaire 2006-2007 Fonctions de plusieurs variables et applications pour l ingénieur Polycopié de cours Rédigé par Yannick Privat Bureau 321 - Institut Élie

Plus en détail

Chapitre 1 : Évolution COURS

Chapitre 1 : Évolution COURS Chapitre 1 : Évolution COURS OBJECTIFS DU CHAPITRE Savoir déterminer le taux d évolution, le coefficient multiplicateur et l indice en base d une évolution. Connaître les liens entre ces notions et savoir

Plus en détail

108y= 1 où x et y sont des entiers

108y= 1 où x et y sont des entiers Polynésie Juin 202 Série S Exercice Partie A On considère l équation ( ) relatifs E :x y= où x et y sont des entiers Vérifier que le couple ( ;3 ) est solution de cette équation 2 Déterminer l ensemble

Plus en détail

NOTATIONS PRÉLIMINAIRES

NOTATIONS PRÉLIMINAIRES Pour le Jeudi 14 Octobre 2010 NOTATIONS Soit V un espace vectoriel réel ; l'espace vectoriel des endomorphismes de l'espace vectoriel V est désigné par L(V ). Soit f un endomorphisme de l'espace vectoriel

Plus en détail

avec des nombres entiers

avec des nombres entiers Calculer avec des nombres entiers Effectuez les calculs suivants.. + 9 + 9. Calculez. 9 9 Calculez le quotient et le rest. : : : : 0 :. : : 9 : : 9 0 : 0. 9 9 0 9. Calculez. 9 0 9. : : 0 : 9 : :. : : 0

Plus en détail

1/24. I passer d un problème exprimé en français à la réalisation d un. I expressions arithmétiques. I structures de contrôle (tests, boucles)

1/24. I passer d un problème exprimé en français à la réalisation d un. I expressions arithmétiques. I structures de contrôle (tests, boucles) 1/4 Objectif de ce cours /4 Objectifs de ce cours Introduction au langage C - Cours Girardot/Roelens Septembre 013 Du problème au programme I passer d un problème exprimé en français à la réalisation d

Plus en détail

L ALGORITHMIQUE. Algorithme

L ALGORITHMIQUE. Algorithme L ALGORITHMIQUE Inspirée par l informatique, cette démarche permet de résoudre beaucoup de problèmes. Quelques algorithmes ont été vus en 3 ième et cette année, au cours de leçons, nous verrons quelques

Plus en détail

Dérivation CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES

Dérivation CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Capitre 4 Dérivation Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Dérivation Nombre dérivé d une fonction en un point. Tangente à la courbe représentative d une fonction dérivable

Plus en détail

Tests de primalité et cryptographie

Tests de primalité et cryptographie UNIVERSITE D EVRY VAL D ESSONNE Tests de primalité et cryptographie Latifa Elkhati Chargé de TER : Mr.Abdelmajid.BAYAD composé d une courbe de Weierstrass et la fonction (exp(x), cos (y), cos(z) ) Maîtrise

Plus en détail

Section «Maturité fédérale» EXAMENS D'ADMISSION Session de février 2014 RÉCAPITULATIFS DES MATIÈRES EXAMINÉES. Formation visée

Section «Maturité fédérale» EXAMENS D'ADMISSION Session de février 2014 RÉCAPITULATIFS DES MATIÈRES EXAMINÉES. Formation visée EXAMENS D'ADMISSION Admission RÉCAPITULATIFS DES MATIÈRES EXAMINÉES MATIÈRES Préparation en 3 ou 4 semestres Formation visée Préparation complète en 1 an 2 ème partiel (semestriel) Niveau Durée de l examen

Plus en détail

Équations non linéaires

Équations non linéaires Équations non linéaires Objectif : trouver les zéros de fonctions (ou systèmes) non linéaires, c-à-d les valeurs α R telles que f(α) = 0. y f(x) α 1 α 2 α 3 x Equations non lineaires p. 1/49 Exemples et

Plus en détail

Fonctions homographiques

Fonctions homographiques Seconde-Fonctions homographiques-cours Mai 0 Fonctions homographiques Introduction Voir le TP Géogébra. La fonction inverse. Définition Considérons la fonction f définie par f() =. Alors :. f est définie

Plus en détail

Calcul différentiel sur R n Première partie

Calcul différentiel sur R n Première partie Calcul différentiel sur R n Première partie Université De Metz 2006-2007 1 Définitions générales On note L(R n, R m ) l espace vectoriel des applications linéaires de R n dans R m. Définition 1.1 (différentiabilité

Plus en détail

Annexe 1 Programmes des classes préparatoires aux Grandes Ecoles

Annexe 1 Programmes des classes préparatoires aux Grandes Ecoles Annexe 1 Programmes des classes préparatoires aux Grandes Ecoles Filière : scientifique Voie : Physique, chimie et sciences de l ingénieur (PCSI) Discipline : Mathématiques Première année Classe préparatoire

Plus en détail

Géométrie dans l espace Produit scalaire et équations

Géométrie dans l espace Produit scalaire et équations Chapitre 11. 2ème partie Géométrie dans l espace Produit scalaire et équations Terminale S Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES 2ème partie Produit scalaire Produit scalaire

Plus en détail

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/ Recherche opérationnelle Les démonstrations et les exemples seront traités en cours Souad EL Bernoussi Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/ Table des matières 1 Programmation

Plus en détail

Triangle de Pascal dans Z/pZ avec p premier

Triangle de Pascal dans Z/pZ avec p premier Triangle de Pascal dans Z/pZ avec p premier Vincent Lefèvre (Lycée P. de Fermat, Toulouse) 1990, 1991 1 Introduction Nous allons étudier des propriétés du triangle de Pascal dans Z/pZ, p étant un nombre

Plus en détail

Algorithmes et mathématiques. 1. Premiers pas avec Python. Exo7. 1.1. Hello world!

Algorithmes et mathématiques. 1. Premiers pas avec Python. Exo7. 1.1. Hello world! Exo7 Algorithmes et mathématiques Vidéo partie 1. Premiers pas avec Python Vidéo partie 2. Ecriture des entiers Vidéo partie 3. Calculs de sinus, cosinus, tangente Vidéo partie 4. Les réels Vidéo partie

Plus en détail

Capes 2002 - Première épreuve

Capes 2002 - Première épreuve Cette correction a été rédigée par Frédéric Bayart. Si vous avez des remarques à faire, ou pour signaler des erreurs, n hésitez pas à écrire à : mathweb@free.fr Mots-clés : équation fonctionnelle, série

Plus en détail

TOUT CE QU IL FAUT SAVOIR POUR LE BREVET

TOUT CE QU IL FAUT SAVOIR POUR LE BREVET TOUT E QU IL FUT SVOIR POUR LE REVET NUMERIQUE / FONTIONS eci n est qu un rappel de tout ce qu il faut savoir en maths pour le brevet. I- Opérations sur les nombres et les fractions : Les priorités par

Plus en détail

Carl-Louis-Ferdinand von Lindemann (1852-1939)

Carl-Louis-Ferdinand von Lindemann (1852-1939) Par Boris Gourévitch "L'univers de Pi" http://go.to/pi314 sai1042@ensai.fr Alors ça, c'est fort... Tranches de vie Autour de Carl-Louis-Ferdinand von Lindemann (1852-1939) est transcendant!!! Carl Louis

Plus en détail

Probabilités. Rappel : trois exemples. Exemple 2 : On dispose d un dé truqué. On sait que : p(1) = p(2) =1/6 ; p(3) = 1/3 p(4) = p(5) =1/12

Probabilités. Rappel : trois exemples. Exemple 2 : On dispose d un dé truqué. On sait que : p(1) = p(2) =1/6 ; p(3) = 1/3 p(4) = p(5) =1/12 Probabilités. I - Rappel : trois exemples. Exemple 1 : Dans une classe de 25 élèves, il y a 16 filles. Tous les élèves sont blonds ou bruns. Parmi les filles, 6 sont blondes. Parmi les garçons, 3 sont

Plus en détail

Maple: premiers calculs et premières applications

Maple: premiers calculs et premières applications TP Maple: premiers calculs et premières applications Maple: un logiciel de calcul formel Le logiciel Maple est un système de calcul formel. Alors que la plupart des logiciels de mathématiques utilisent

Plus en détail

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre IUFM du Limousin 2009-10 PLC1 Mathématiques S. Vinatier Rappels de cours Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre 1 Fonctions de plusieurs variables

Plus en détail

Livret de liaison Seconde - Première S

Livret de liaison Seconde - Première S Livret de liaison Seconde - Première S I.R.E.M. de Clermont-Ferrand Groupe Aurillac - Lycée Juin 2014 Ont collaboré à cet ouvrage : Emmanuelle BOYER, Lycée Émile Duclaux, Aurillac. Patrick DE GIOVANNI,

Plus en détail

Déterminants. Marc SAGE 9 août 2008. 2 Inverses et polynômes 3

Déterminants. Marc SAGE 9 août 2008. 2 Inverses et polynômes 3 Déterminants Marc SAGE 9 août 28 Table des matières Quid des formes n-linéaires alternées? 2 2 Inverses et polynômes 3 3 Formule de Miller pour calculer un déterminant (ou comment illustrer une idée géniale)

Plus en détail