[Maths] [TS] Introduction à la fonction W0

**g_h** · 16/01/2007, 22h49

Salut,

Un exercice supplémentaire, si quelqu'un veut bien le déplacer ? (merci !)

Pour essayer de rassasier anonymus, voici un exo tout frais, petit aperçu faisable en TS de choses qui sont complètement hors programme ! J'espère qu'il te fera réfléchir un peu. Certaines questions demandent un peu d'astuce, comme tu le voulais

Enfin, c'est assez dur pour moi de juger de la difficulté de cet exercice... car la Terminale n'est déjà plus qu'un lointain souvenir, et je ne suis pas prof !

(en plus, c'est pas tous les jours que je fais des énoncés... !)

Exercice : introduction à la fonction W₀

Question 1
$\text{[math]}$ désigne ici une fonction bijective et dérivable, définie sur un intervalle $\text{[math]}$ , et dont la dérivée ne s'annule jamais.

Sa fonction réciproque $\text{[math]}$ est donc définie sur $\text{[math]}$

Démontrer que :
$\text{[math]}$

Dans la suite, on se restreindra à $\text{[math]}$
Soit $\text{[math]}$

Question 2
Démontrer que g remplit les hypothèses de la question 1 (bijective, dérivable et dont la dérivée ne s'annule jamais)

Question 3
Déduire des 2 dernières questions une équation différentielle (non linéaire, loin de là !) que vérifie la fonction $\text{[math]}$

Et voilà, cette équation différentielle avec la condition $\text{[math]}$ définit une fonction unique : la fonction $\text{[math]}$ , mais qui est plus connue sous le joli nom de $\text{[math]}$ , branche principale de la fonction "W de Lambert"

Connaissant une équation différentielle et une valeur de cette fonction, on pourrait par exemple, si cet exercice ne s'adressait pas à des Terminales, déterminer son développement en série entière de au voisinage de 0.

Question 4 (application)
En utilisant la fonction $\text{[math]}$ :

- résoudre dans $\text{[math]}$ l'équation $\text{[math]}$
- résoudre dans $\text{[math]}$ l'équation $\text{[math]}$

Dans le dernier cas, il y a 2 solutions, mais l'une n'est pas dans le "champ de vision" de $\text{[math]}$ , il faudrait utiliser une autre fonction, connue sous le nom de... $\text{[math]}$

En effet, chaque élément de $\text{[math]}$ possède exactement 2 antécédents par g dans $\text{[math]}$ , et $\text{[math]}$ ne nous donne que celui qui est situé dans $\text{[math]}$ . $\text{[math]}$ nous donne alors l'autre.

invitefc60305c · 17/01/2007, 17h29

Salut !
Es-tu sûr que je peux faire l'exo rien qu'avec mes (maigres) connaissances de TS ?
Déjà la bijectivité, c'est au limite du programme.
J'vais tout de même essayé !

PS: la réponse à la première question est sur wikipédia hihi

mais je ne l'ai pas lue (ni même simplement regardé)

**g_h** · 17/01/2007, 18h17

Envoyé par anonymus

Salut !
Es-tu sûr que je peux faire l'exo rien qu'avec mes (maigres) connaissances de TS ?
Déjà la bijectivité, c'est au limite du programme.
J'vais tout de même essayé !

PS: la réponse à la première question est sur wikipédia hihi

mais je ne l'ai pas lue (ni même simplement regardé)

Oui, tu peux tout faire en TS. Par contre, la bijection, c'est en plein dans le programme de TS ! Il y a même un "théorême de la bijection" en TS, et si je me rappelle bien, c'est un cas particulier du théorême des valeurs intermédiaires, et c'est à savoir absolument pour le bac ! Et pour ça, il faut savoir établir qu'une fonction établit une bijection d'un ensemble sur un autre.

Pour montrer qu'une fonction est bijective, c'est très facile : il suffit qu'elle soit ***** et **** ****

Pour la première question, elle demande peut-être un peu d'astuce (non, aller sur wikipedia n'est pas une astuce, lol), mais il ne faut pas chercher trop loin : revenir à la définition de nombre dérivé.

invitefc60305c · 17/01/2007, 18h29

Envoyé par g_h

Oui, tu peux tout faire en TS. Par contre, la bijection, c'est en plein dans le programme de TS ! Il y a même un "théorême de la bijection" en TS, et si je me rappelle bien, c'est un cas particulier du théorême des valeurs intermédiaires, et c'est à savoir absolument pour le bac ! Et pour ça, il faut savoir établir qu'une fonction établit une bijection d'un ensemble sur un autre.

Oui ça bien sûr mais on a jamais fait autre chose avec.

Pourqu'elle soit bijective, il faut qu'elle soit injective et surjective, j'le sais mais c'est clairement hors programme.

A voir en vidéo sur Futura · Aujourd'hui

**g_h** · 17/01/2007, 18h44

Envoyé par anonymus

Oui ça bien sûr mais on a jamais fait autre chose avec.

Pourqu'elle soit bijective, il faut qu'elle soit injective et surjective, j'le sais mais c'est clairement hors programme.

Oui, ça, c'est hors programme. Par contre, "continue et strictement monotone", ça, tu dois le savoir pour le bac !

invitefc60305c · 17/01/2007, 18h50

Oui on est d'accord et je viens de réaliser ma bêtise.
J'aurai du lire bijective <=> continue et strictement monotone. Au lieu de chercher du hors programme. Milles excuses

**Gwyddon** · 17/01/2007, 18h58

Envoyé par g_h

Pour la première question, elle demande peut-être un peu d'astuce (non, aller sur wikipedia n'est pas une astuce, lol), mais il ne faut pas chercher trop loin : revenir à la définition de nombre dérivé.

Salut g_h, juste une petite question : elle demande de l'astuce si l'on se limite au programme de TS, sinon elle se fait en 30 secondes non ?

**g_h** · 17/01/2007, 19h00

Envoyé par Gwyddon

Salut g_h, juste une petite question : elle demande de l'astuce si l'on se limite au programme de TS, sinon elle se fait en 30 secondes non ?

Oui, nous sommes bien d'accord !
Je pense qu'en TS une formule comme ça peut dérouter un peu, c'était le sens de ma remarque. C'est pour ça que je précise "il ne faut pas chercher trop loin : revenir à la définition de nombre dérivé."

**Gwyddon** · 17/01/2007, 19h02

Ok alors, car je pensais à difféomorphisme+compo des dérivées

**g_h** · 17/01/2007, 19h04

Envoyé par anonymus

Oui on est d'accord et je viens de réaliser ma bêtise.
J'aurai du lire bijective <=> continue et strictement monotone. Au lieu de chercher du hors programme. Milles excuses

Première erreur

Il n'y a aucune raison qu'il y ait une équivalence entre les 2 propriétés ! on a seulement <=

par contre on a bien :
bijective ET continue <=> continue et strictement monotone

EDIT : Ou en plus clair, si f est continue, alors f bijective <=> f strictement monotone

**kNz** · 17/01/2007, 19h16

'Soir,

g_h elle est un peu sadique ta première question sans une p'tite indication quand même

**g_h** · 17/01/2007, 19h20

Envoyé par kNz

'Soir,

g_h elle est un peu sadique ta première question sans une p'tite indication quand même

Lol, non, ce n'est pas sadique

Ca aurait sadique si j'étais prof en TS et que j'avais mis cette question sur 10 points

Là, le but est de réfléchir, et anonymus a explicitement demandé un exercice hors des sentiers battus !

Mais je suis prêt à donner toute indication que vous demanderez. C'est mieux que si je donne tout, tout de suite

Point de départ : écrire le taux d'accroissement de $\text{[math]}$ en un point a.

**kNz** · 17/01/2007, 19h24

C'est vrai tu as raison

Bonne chance à anonymus

PS : n'oublie pas qu'il y a aussi tout pleins d'exos sur les logs non résolus

invitefc60305c · 18/01/2007, 00h18

$\text{[math]}$ $\text{[math]}$ $\text{[math]}$
Déjà, ça c'est juste ? (moi et les nombre dérivé ça fait $\text{[math]}$

)

Sinon j'pense m'y mettre tout doucement parce que j'ai DS de physique/chimie (pas que les maths dans la vie !

) vendredi.

**g_h** · 18/01/2007, 00h45

Envoyé par anonymus

$\text{[math]}$ $\text{[math]}$ $\text{[math]}$
Déjà, ça c'est juste ? (moi et les nombre dérivé ça fait $\text{[math]}$

)

Sinon j'pense m'y mettre tout doucement parce que j'ai DS de physique/chimie (pas que les maths dans la vie !

) vendredi.

Oui, c'est exactement ça !
Ou plus exactement :
$\text{[math]}$ car ta notation est un peu abusive, même si elle se comprend bien !

Par contre... (c'est là qu'il faut être très très précis !) tu as le droit d'écrire ça UNIQUEMENT aux points a ou f^-1 est dérivable... et ça, à ton niveau, rien ne te le dit !

Le chemin à suivre est de montrer que la limite que tu écris (la limite du taux de variation) existe, cela a donc pour conséquence ET la dérivabilité de f^-1 (par définition de la dérivée), ET donc l'égalité entre la dérivée et cette limite... tu me suis ?

Car ce que tu écris suppose que f^-1 est dérivable sur l'intervalle, et si tu supposes ça, tu peux tilter sur le message de Gwyddon et écrire :
Partout ou f^-1 est dérivable, on a :
$\text{[math]}$ et tu en déduis directement la formule, car f' ne s'annule pas, par hypothèse.

Mais... resterait alors à montrer que f^-1 est dérivable partout

Donc en fait, ça n'est pas "exactement" ça

invitefc60305c · 18/01/2007, 00h51

Oui j'ai compris !

Il faut que je montre l'existence de la limite que j'ai écrite alors.

**g_h** · 18/01/2007, 00h55

Envoyé par anonymus

Oui j'ai compris !

Il faut que je montre l'existence de la limite que j'ai écrite alors.

Voilà ! Et si tu arrives à faire ça, tu as tout bon, et en bonus tu auras fini la première question, car en démontrant l'existence de la limite, tu démontres en même temps la formule... tu comprendras pourquoi

Il te faut juste trouver une petite "astuce" !

invitefc60305c · 18/01/2007, 00h58

Le problème, c'est que je n'ai aucune idée de comment montrer l'existence d'une limite.
On va dire que le prof a été léger sur ces notions là (nbre dérivé, dérivabilité, limite de ce genre...)
Mais ne me dis pas la réponse, j'vais essayer regarder des cours sur le net.

**g_h** · 18/01/2007, 01h00

Envoyé par anonymus

Le problème, c'est que je n'ai aucune idée de comment montrer l'existence d'une limite.
On va dire que le prof a été léger sur ces notions là (nbre dérivé, dérivabilité, limite de ce genre...)
Mais ne me dis pas la réponse, j'vais essayer regarder des cours sur le net.

Non, il n'a pas été léger, j'ai dit qu'il fallait un peu d'astuce

Pour t'éviter de chercher là ou il ne faut pas, je te dirai juste ceci : utilise la dérivabilité de f, c'est à dire le fait que la limite du taux d'accroissement de f existe en tout point !

invitefc60305c · 18/01/2007, 01h07

Si f est dérivable sur I, sa réciproque bijective (hum) l'est aussi ?
Vraiment c'est pas mon truc

Mais perseverons.

invitefc60305c · 18/01/2007, 01h13

Bon , réfléchissons

On a : f'(a) = lim en a de f(x)-f(a)/x-a

invitefc60305c · 19/01/2007, 17h55

J'ai plus de travail, alors je m'y mets !

invitefc60305c · 21/01/2007, 17h23

Vraiment j'sais pas comment commencer.
Ca ne me dit rien du tout

**g_h** · 21/01/2007, 17h46

Au moins tu auras cherché

Ecris le taux de variation de $\text{[math]}$ en un point y et fais le changement de variable x = f(z) (tu as le droit car f est bijective sur l'intervalle)

$\text{[math]}$ (on fait tendre x vers y)

invitefc60305c · 21/01/2007, 18h33

En fait mon problème, c'est que je vois pas où on doit en venir.

Sinon c'est ça que tu attends ?
$\text{[math]}$

Je serai tenté de dire :
$\text{[math]}$
Or $\text{[math]}$ existe donc tout ce qu'on a dit existe donc on a demontré ce qu'on voulait.

invitefc60305c · 23/01/2007, 22h17

Il y a quelqu'un ?

**invite35452583** · 25/01/2007, 15h07

Envoyé par anonymus

En fait mon problème, c'est que je vois pas où on doit en venir.

Sinon c'est ça que tu attends ?
$\text{[math]}$

Non il faudrait prendre la limite, après avoir montré qu'elle existe, quand x tend vers y à gauche

Envoyé par anonymus

Je serai tenté de dire :
$\text{[math]}$

Ca c'est faux. (en général tout du moins)

Reprenons, tu démarres avec :
$\text{[math]}$
tu peux l'écrire car on ne passe pas tout de suite à la limite, mais il faut montrer qu'elle existe cette limite quand x tend vers y.
Rien n'interdit d'aller voir de l'autre côté (de ce côté on sait que la limite existe)
$\text{[math]}$
Maintenant en faisant le changement de variable indiqué par g_h tu devrais arriver à joindre les deux bouts.

[Maths] [TS] Introduction à la fonction W0

[Maths] [TS] Introduction à la fonction W0

Re : exprimez-vous : quels exercices voulez vous ?

Re : exprimez-vous : quels exercices voulez vous ?

Re : exprimez-vous : quels exercices voulez vous ?

Re : exprimez-vous : quels exercices voulez vous ?

Re : exprimez-vous : quels exercices voulez vous ?

Re : exprimez-vous : quels exercices voulez vous ?

Re : exprimez-vous : quels exercices voulez vous ?

Re : [Maths] [TermS] Introduction à la fonction W0

Re : exprimez-vous : quels exercices voulez vous ?

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Re : [Maths] [TermS] Introduction à la fonction W0

Discussions similaires

Maths TS - Cone + fonction