Académique Documents
Professionnel Documents
Culture Documents
Sebastian Xhonneux
Plan
1
Le thorme de Lagrange
Formulation du thorme de Lagrange
Des preuves varies du thorme de Lagrange
Conclusions
Sebastian Xhonneux
Le thorme de Lagrange
Formulation du thorme de Lagrange
Des preuves varies du thorme de Lagrange
Conclusions
Sebastian Xhonneux
Pdagogie
mthodes et pratiques
denseignement et
dducation
Professeur
Contrat
didactique
Elve(s)
Sebastian Xhonneux
Savoir
Historique de loptimisation et le thorme de Lagrange
Sebastian Xhonneux
Sebastian Xhonneux
Sebastian Xhonneux
Sebastian Xhonneux
Fil conducteur
Le thorme de Lagrange dans lenseignement des mathmatiques et de
lconomie
Analyse a priori
Etude de lpistmologie et revue historique de lvolution des thories
de loptimisation dans les deux disciplines
Analyse des diffrents manuels
Enqute auprs des enseignants/des tudiants
Mise en vidence dventuels obstacles
Exprimentation : Concevoir une ingnierie
Une squence dapprentissage
Analyse a posteriori
Enqute auprs des tudiants, comparaison entre les donnes
obtenues et lanalyse a priori
Sebastian Xhonneux
Introduction
Optimisation
Lusage franais du mot optimiser vient lorigine du mot latin
optimum qui signifie le meilleur.
Actuellement :
La proccupation de faire les choses de la meilleure faon
quil soit
Histoire de loptimisation aussi vieille que celle de
lhumanit ; Historique et pistmologie de loptimisation
Outil mathmatique important ; Ncessit denseigner
cette matire dans diffrentes disciplines
Rsultat particulier : thorme de Lagrange
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Le thorme de Lagrange
Formulation du thorme de Lagrange
Des preuves varies du thorme de Lagrange
Conclusions
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Lcole dAlexandrie
Euclide
300 ans avant notre re, dans Optica :
Rayons lumineux incident et rflchi
dans un mme plan
Angle incident = angle rflchi
Formulation de problmes doptimisation
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
versus
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
dx n = nx n1 .
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Un premier rsultat
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Le problme brachistochrone
En 1696, Johann Bernoulli (1667-1748) pose le problme
suivant :
Le problme brachistochrone
Dterminer, parmi toutes les courbes joignant deux points
donns A et B dans un plan vertical, la courbe AMB que doit
suivre un point matriel M plac dans un champ de pesanteur
uniforme, glissant sans frottement et sans vitesse initiale pour
quil prsente un temps de parcours minimal entre A et B.
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Le problme brachistochrone
Solution
Solution : la cyclode
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Un deuxime rsultat
Equation dEuler-Lagrange
Soit le problme variationnel dfini par :
Z xB
min I(y) =
F (x, y, y 0 ) dx
xA
SC
y(xA ) = yA ,
y(xB ) = yB ,
xA < x B .
y
dx y 0
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
La notion de fonction
Joseph-Louis Lagrange (1736-1813)
On appelle fonction dune ou de plusieurs
quantits, toute expression de calcul dans
laquelle ces quantits entrent dune manire
quelconque, mles ou non dautres
quantits quon regarde comme ayant des
valeurs donnes et invariables, tandis que
les quantits de la fonction peuvent recevoir
toutes les valeurs possibles. Ainsi, dans les
fonctions on ne considre que les quantits
quon suppose variables, sans aucun gard
aux constantes qui peuvent y tre mles.
(Thorie des Fonctions Analytiques, 1797)
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Thorme de Lagrange
Gnralisation
Gnralisation de la condition ncessaire doptimalit de
Leibniz, Thorie des Fonctions Analytiques (1797) :
On peut les rduire ce principe gnral. Lorsquune fonction
de plusieurs variables doit tre un maximum ou minimum, et
quil y a entre ces variables une ou plusieurs quations, il
suffira dajouter la fonction propose les fonctions, qui doivent
tre nulles, multiplies chacune par une quantit indtermine,
et de chercher ensuite le maximum ou minimum comme si les
variables taient indpendantes ; les quations que lon
trouvera combines avec les quations donnes, serviront
dterminer toutes les inconnues.
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Un troisime rsultat
Thorme de Lagrange
Soit x S = {x IRn | gi (x) = 0, i = 1, . . . , p} un point rgulier
solution du problme
(
minn f (x)
xIR
sc
gi (x) = 0, i = 1, . . . , p.
Alors il existe ncessairement 1 , . . . , p IR uniques vrifiant
f (x ) +
p
X
i gi (x ) = 0.
i=1
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
problmes
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Un an plus tard
Francis Ysidro Edgeworth
(1845-1926)
En 1877, New and Old
Methods of Ethics
En 1881, Mathematical
Psychics
Hermann Amstein
En 1877, lettre envoye Leon
Walras
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Un an plus tard
Francis Ysidro Edgeworth
(1845-1926)
En 1877, New and Old
Methods of Ethics
En 1881, Mathematical
Psychics
Hermann Amstein
En 1877, lettre envoye Leon
Walras
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Recherche Oprationnelle
Recherche Oprationnelle (RO) = Aide la dcision
En 1940, implantation optimale de radars
Oprationnelle = oprations militaires
Aujourdhui : en ingnierie, en sciences conomiques, en
thorie des jeux, en informatique, ...
3 caractristiques : orientation vers systmes, application
de mthodes scientifiques et interdisciplinarit
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Un quatrime rsultat
Thorme de Karush-Kuhn-Tucker
Soit x une solution du problme
min f (x)
sc gi (x) 0, i = 1, . . . , m
x X,
o X IRn et f , g1 , . . . , gm sont des fonctions diffrentiables.
Supposons que les gradients gi (x ) sont linairement indpendants
pour i I = {i|gi (x ) = 0}. Alors il existe 1 , . . . , m 0 vrifiant
Pm
f (x ) + i=1 i gi (x ) = 0,
i gi (x ) = 0, i = 1, . . . , m,
i 0,
i = 1, . . . , m.
Sebastian Xhonneux
dans lAntiquit ?
la Renaissance ?
pendant la Rvolution Franaise ?
au 19me sicle ?
au 20me sicle ?
Et depuis ?
Loptimisation, une discipline multibranches
Programmation mathmatique = branche trs active des
mathmatiques appliques de nos jours :
Programmation linaire,
Programmation non-linaire,
Programmation convexe,
Programmation combinatoire,
Programmation stochastique,
Programmation entire,
Programmation dynamique,
...
Sebastian Xhonneux
Le thorme de Lagrange
Formulation du thorme de Lagrange
Des preuves varies du thorme de Lagrange
Conclusions
Sebastian Xhonneux
Thorme de Lagrange
f : U IR, o U IRn
gi : IRn IR, i = 1, . . . , p (n p)
x minimum (ou maximum) local du problme
(
min f (x)
x U
(P)
SC
gi (x) = 0, i = 1, . . . , p
{gi } linairement indpendants au point x
Alors = (1 , . . . , p ) IRp vrifiant
f (x ) +
p
X
i gi (x ) = 0.
i=1
min
SC
f (x, y )
g(x, y ) = k .
Sebastian Xhonneux
Sebastian Xhonneux
g(x , y ) = 0
f (x , y ) = g(x , y )
Sebastian Xhonneux
0 (x ) = x
g
y
f
(x )
x
g
(x )
x
Sebastian Xhonneux
f
(x )
y
g
(x )
y
Sebastian Xhonneux
max f (x )T y
SC
Jg (x )y = 0
Valeur optimale = 0
Conclusion obtenue par le thorme de dualit pour la programmation
linaire : IRp tel que f (x ) + Jg (x )T = 0
Sebastian Xhonneux
y
<
0
A(x)y = B(x)c, y (0) = y0 , x =
,
z
:
0
z = c,
z(0) = z0
; thorme de Cauchy-Lipschitz-Peano
Sebastian Xhonneux
Sebastian Xhonneux
Sebastian Xhonneux
Le thorme de Lagrange
Formulation du thorme de Lagrange
Des preuves varies du thorme de Lagrange
Conclusions
Sebastian Xhonneux
Caractristiques
Questionnaire compos de 27 questions ouvertes et
choix multiples
Questions concernant : des informations gnrales, la
structure du cours donn, les aspects didactiques, les
aspects pratiques et la perception de lapprentissage chez
les tudiants
Distribution 13 professeurs universitaires belges et
luxembourgeois, 8 rponses revenues
Public : Bac1, Bac2, Bac3 en mathmatiques,
mathmatiques appliques, conomie et ingnieur de
gestion
Sebastian Xhonneux
Expriences denseignants
Importance du thorme
Rsultat parmi dautres pour les mathmaticiens
Rsultat important pour les conomistes et les ingnieurs
car utile pour la suite de leurs tudes (surtout la
microconomie)
Dfinition du lagrangien
En mathmatiques : L(x, ) = f (x) +
Pp
i=1 i gi (x)
Sebastian Xhonneux
La dmonstration du thorme
Deux fois sans preuve
En conomie, dabord une illustration gomtrique (preuve
1), puis preuve par le thorme des fonctions implicites
(preuve 2)
En mathmatiques, application du thorme des fonctions
implicites (preuve 2) ou de la thorie de la dualit (preuve
3)
Cl de la preuve : thorme des fonctions implicites
Introduction dabord dans le cas dune seule contrainte
(fonctions de deux variables)
Pas de lien avec la mcanique (preuve 4)
Sebastian Xhonneux
Expriences denseignants
Condition ncessaire
Perception du fait quil sagit dune condition ncessaire et non
pas dune condition suffisante : avis trs partags
Il y a peut-tre un dcalage professeur-tudiants
Le lien est assez bien fait avec les conditions ncessaires
doptimalit pour les problmes sans contraintes.
Mais il faut fort insister au cours !
La logique fait de plus en plus dfaut dans la formation
des tudiants.
Sebastian Xhonneux
Expriences denseignants
Applications
Applications pratiques :
en conomie et en gestion
en gomtrie
en finance
en statistiques
Applications thoriques :
valeurs propres de matrices
Pas dapplications
Sebastian Xhonneux
Le thorme de Lagrange
Formulation du thorme de Lagrange
Des preuves varies du thorme de Lagrange
Conclusions
Sebastian Xhonneux
conomie
mathmatiques
Exemple :
Thorie de loptimisation progrs considrables au
vingtime sicle
Recherche oprationnelle impact norme sur la
programmation mathmatique ou encore sur les thories
des jeux et des graphes
Sebastian Xhonneux
Thorme de Lagrange
Faits observs
Applicabilit dans beaucoup de problmes concrets
Possibilit de dmontrer via diffrents chemins Impacts
supposs sur lapprentissage et identifications des
obstacles lis lenseignement
Possibilit de combiner intuition et preuve analytique et
rigoureuse dans lenseignement du thorme
Sebastian Xhonneux
Perspectives
Continuer lanalyse de la prsentation et de la
dmonstration du thorme de Lagrange
Identifier des obstacles didactiques
Analyser les diffrents manuels chez les
mathmaticiens/chez les conomistes
Exploiter lenqute mene auprs des enseignants et
concevoir un questionnaire pour obtenir les opinions des
tudiants
A partir de lanalyse des obstacles identifis, concevoir un
squence dapprentissage
Analyser limportance et la signification des multiplicateurs
de Lagrange
Sebastian Xhonneux
Sebastian Xhonneux