bonjour
Je propose ce problème suivant :
On suppose que
Montrer que
Méthode des multiplicateurs ou "à la main".
Bonjour ,
La contrainte est :
On veut montrer que:
On applique le multiplicateur de Lagrange:
Sommons.
@Rasez
Tout à fait d'accord mais je ne somme pas. On calcule les 3 égalités avec pour voir que cela implique a=b=c et c'est gagné. D'accord?
En fait on utilise ici de l'analyse. Est-ce qu'il n'y aurait pas une solution plus basique, i.e
où on utilise des connaissances de niveau lycée?
Pour info, dans un post précédent où tu es intervenu, j'ai posé une inégalité non résolue, trouvée sur math.net et qui semble difficile à démontrer.
Je pense avoir montré ( mais encore il faut que je mette cela propre) que le problème se ramène à cette inégalité ici.
Pour l'autre sujet, la methode du multiplicateur de Lagrange permettra surement de trouver la solution. Mais il y a beaucoup de calculs du fait de la presence du denominateur. Ceci sans compter les risques d'erreurs.
As tu lu ce que j'avais propose?
Bonjour,
Une fois éliminée la solution a=b=c, on reste, sauf erreur, avec
et 2 autres équations obtenues par permutations circulaires.
Ne faudrait-il pas essayer de poursuivre ??
Si tu resouds les système, normalement tu trouve aussi:
ainsi que pour . Ceci te permettra de dire seulement que c'est un extremum. Est ce un maximum?
@Razes je pense que tu veux dire 4/3a+1/a^2 mais cela revient au même pour le raisonnement.
Donc si on pose f(a)=4/3a+1/a^2
On a f(a)=f(b)=f(c) qui conduit à a=b=c. Cela n'est pas étonnant.
Mais bien sûr @larrech a raison, on doit vérifier que cette équation n' a pas d'autres solutions à l'intérieur de la surface. C'est un peu de calcul (faisable) mais on n'a pas d'autre point critique à l'intérieur.
Ce qui veut dire que les minimums sont atteints aux bords de la surface.
Par exemple (0,0,3^(1/3)) conduit à un minimum global. Mais ce n'est pas la question.
Il faut vérifier, pour terminer si il n'y a pas un maximum absolu aux bords. Ce n'est pas le cas.
Pour le voir on pose par exemple a=0. On trouve par exemple
comme maximum mais il est plus petit que 12 donc ce n'est pas un maximum global. Idem par permutation des (a,b,c)
Il s'agit de comprendre ici que la méthode des multiplicateurs donne la réponse ici avec des calculs faisable.
Mais on voit que malgré tout il faut du calculs que l'on ne peut pas reporter ici à cause de la longueur.
Pour l'autre problème je pense que tu veux dire est-ce que j'ai suivi cette méthode?
La réponse est oui mais j'ai fait les calculs à la machine (on a des polynômes j'ai donc calculer les résultants...)
Pour trouver un point critique j'ai été "réduit à trouver les valeurs de c dans l'intervalle
[0, 3^(1/3)] qui annule ce polynôme. Bien sûr j'ai retrouvé c=1 qui aurait conduit à a=b=1. Mais le polynôme est degré 225. Comme ici il y a des valeurs autre que 1 qui annulent le polynôme, elle sont incalculables exactement et c'est foutu.
C'est pour cela que dans ce genre de problème la recherche d'un extremum
doit se faire autrement qu'avec les multiplicateurs.
C'est pour cela que même si on a la réponse, je cherche une méthode "élémentaire"
(i.e utiliser tout l'arsenal des inégalités usuelles C-S, Holder,....).
salut
a, b et c sont positifs donc
or la fonction cube est croissante et convexe sur donc
donc
désolé j'ai pas mieux ...
Bonjour,
La majoration par 12 est facilement obtenu, on peut l'obtenir en majorant chaque groupe d'éléments à part.
: On exploite, comme l'a proposé Carpediem, la convexite de la fonction cube. Ou en utilisant l'inégalité de Minkowski. On obtient: .
: utilisons Chebychev, nous obtenons .
Maintenant nous utilsons Minkowski pour majorer en choisissant afin d'obtenir des cubes. Nous obtenons
En utilisant les deux résultats, le tour est joué.
il me semble que pour utiliser l'inégalité de Chebychev il faut des ""suites"" croissantes et/ou décroissantes ...
@Razes, effectivement comme le dit @carpediem avec Cheb. il faut faire attention d'ailleurs avec (0,0,3) on voit que cela ne fonctionne pas.
Les multiplicateurs ça marche. on est d'accord que l'on cherche une autre solution?
Bonjour,
@carpediem , @jb2017,
ok, je termine la méthode analytique :
- conduit à une expression valant donc ok, c'est pas le max
- le système et n'a en fait pas de solution (il y en a deux graphiquement mais sur ). En effet, il suffit même de se contenter de regarder ce qu'il se passe dans le quart de plan . On a (toujours vrai) et impliquent . On a aussi par l'inégalité arithmético-géométrique d'où l'encadrement absurde (si y'a plus simple,...).
Bref, seule solution : a=b=c=1 fournit un extremum valant 12 donc à un maximum.
Je crois que la méthode par analyse (extrema liés) est complètement achevée mais l'autre m'intéresse vraiment, je continue de plancher.
Peut-être peux-tu nous expliquer maintenant en quoi ce problème est une reformulation du problème évoqué ici Inequation ?
Bonjour @Alexique
Non c'est faux. En fait j'essaie (pour m'amuser) de résoudre le problème en question posé sur math.net, lui même pris sur un cite étranger (américain je crois) et visiblement il semble difficile à résoudre puisque des personnes avec beaucoup d'idées échouent malgré tout. Evidemment j'ai essayé un peu tout et j'ai aussi exploité les idées des un et des autres. Mais j'ai transformé le problème en des problèmes équivalents ou analogues mais tout aussi difficile. Avec tout cela je me suis un peu mélangé les pinceaux et le problème ici n'est pas vraiment équivalent du moins je crois.
J'essaie de lever la difficulté du problème en question (je rappelle qui n'est pas symétrique) en trouvant une majoration par une forme symétrique.
Plus précisément on a sous la contrainte
(tout est positif)
( à démontrer)
Mais le problème avec
g(a,b,c)=a^3(b+c)+b^3(c+a)+c^3(a+b)\leq 6 est surement plus facile à démontrer vu la symétrie. (maximum atteint en (a=b=c=1)
Mais si par hasard on avait f(a,b,c)\leq g(a,b,c) c'est gagné. Pour suivre cette idée il faut trouver la bonne fonction g.
Bien sûr c'est une idée comme une autre.
On peut espérer sur ce forum que quelqu'un apporte la solution surtout que la question est abordable par tout le monde.
Mais du coup, ce qui n'est pas exactement l'énoncé de ce topic... Cela dit, je doute que la résolution soit plus compliquée que tout ce que l'on vient de faire.
Oui c'est ce que je dit c'est analogue à ce que j'ai posé et cela ne doit pas être un problème.
Mais attention je n'ai pas dit que
En fait je n'en sais rien.
f(a,b,c) c'est l'expression non symétrique et là c'est vraiment plus compliqué.
Bonjour,
Appliquons l'inégalité de Hölder
; Avec: et
a) Élément :
b) Élément :
Soient positifs tel que et et
Donc:
Choisissons : et
Nous aurons donc:
Déterminons donc, à partir des équations suivantes faciles à résoudre:
Nous aurons à résoudre l'équation
Nous obtenons deux racines, on en prends une:
Nous aurons donc:
c) Conclusion:
CQFD enfin
bonjour
@Razes , c'est bien et ton idée me semble correcte mais je suis perdu avec ton équation avec \beta.
A mon avis c'est peut être bon ou bien il y a une petite erreur mais cela doit être corrigeable.
Et l'autre est que h est convexe... Mais celle-là est vraiment très embêtante... En plus, tu pars en disant :
Bonjour
Voici deux inégalités à établir (à considérer comme une énigme)
1. Sous les contraintes et
trouver
2. sous les mêmes contrainte montrer que
*** message déplacé ***
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :