Calcul formel Calcul modulo un polynôme. SALSA - LIP6/Université Paris 6
|
|
- Roger Guérard
- il y a 6 ans
- Total affichages :
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 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étailQuelques 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étailExercices - 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étailRé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étailExtrait 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étailChapitre 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étailStructures 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étailNombres 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étailMathé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étailDe 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étailCalcul 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étailUNIVERSITE 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étailPour 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étailProblè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étailPolynô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étailCours 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étailExo7. 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étailUne 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étailProblè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étailCalcul 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étailLe 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étailLa 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étailCours 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étailCalculer 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étailRé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étailCours 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étailRapport 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étailCours 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étailCalcul 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étailRepré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étailProgramme 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étailRé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étailNotes 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étailFeuille 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étailDiffé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étailwww.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étailComment 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étailChapitre 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étailPremiers 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étailCorrection 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étailVI. 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étailCours 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étailCours 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étailCCP 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étailFONDEMENTS 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étailDé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étailFONCTIONS 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étailCours 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étailCours 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://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étailCryptographie 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étailFactorisation 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étailFormes 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étailRé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étail2 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étailAlgorithmes 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étailSTAGE 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étailBaccalauré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étailDé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étailChapitre 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étailTable 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étailCours 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étailCorrigé 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étailPré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étailAlgorithmes 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étail3 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étailUn 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étailLicence 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étailInitiation à 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étailNotes 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étail1 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étailCryptographie 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étailProposition. 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étailJourné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étailFonctions 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étailChapitre 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étail108y= 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étailNOTATIONS 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étailavec 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étail1/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étailL 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étailDé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étailTests 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étailSection «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 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étailFonctions 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étailCalcul 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étailAnnexe 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étailGé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étailSouad 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étailTriangle 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étailAlgorithmes 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étailCapes 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étailTOUT 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étailCarl-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étailProbabilité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étailMaple: 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étailFonctions 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étailLivret 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étailDé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