Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1601 Re : Entraide (supérieur) » calcul differentiel » 16-01-2012 07:31:47

Bonjour dodomath,

Ce que veut dire Freddy c'est que sur ce forum on ne fait pas tout à ta place mais on essaye de t'aider à comprendre les idées et les méthodes.
En gros si tu veux qu'on t'aide il vaut mieux nous dire ce qui bloque vraiment, ce que tu as déjà essayé, ce que tu connais des formes différentielles (quel niveau ?), si la question est posée dans un contexte précis...
et en plus si tu écris tes problèmes en utilisant le code latex  (cf http://www.bibmath.net/forums/viewtopic.php?id=1943 )...

Roro.

#1602 Re : Entraide (supérieur) » calcul differentiel » 14-01-2012 21:54:57

Bonne année !

Pourquoi il veut faire ça comme exercice dodomath ?

Roro.

#1603 Re : Entraide (supérieur) » Equation fonctionnelle » 06-01-2012 23:30:24

Bonsoir Amatheur,

Au hasard, si f est une solution régulière alors je dérive la relation par rapport à x puis par rapport à y.
Pour y tel que [tex]f'(y)\neq 0[/tex] tu dois avoir deux expressions différentes de [tex]f'(x-f(y))[/tex].
Tu dois pouvoir en déduire que [tex]f'(x)+x[/tex] ne dépend pas de x ?

Roro.

#1604 Re : Entraide (supérieur) » intégrale impropre » 06-01-2012 21:25:41

Bonsoir panolé,

Ne connaîtrais-tu pas une primitive de la fonction ln ?

Et pour info, il n'est pas suffisant de dire qu'une fonction f est majorée par une fonction intégrable pour qu'elle le soit ! (réfléchis un peu au cas que tu as donné).

Roro.

#1605 Re : Entraide (supérieur) » Analyse complexe. » 24-12-2011 10:53:55

Bonjour Alex10,

J'imagine que tu dois savoir définir la fonction racine carrée de façon analytique sur un sous-ensemble de C comme par exemple sur le complémentaire de [tex]V=\{z\in C ~;~ Re(z)\geq 0\}[/tex] : tu définis [tex]\sqrt{\phantom{to}}[/tex] comme l'application
[tex]z = r \; \mathrm e^{i \theta} \in C\setminus V ~ \longmapsto ~ \sqrt r \; \mathrm e^{i \theta/2}[/tex]
où [tex]r>0[/tex] et [tex]\theta \in ]0,2\pi[/tex][.

Ensuite, il suffit de définir [tex]\sqrt{z^2-1} = \sqrt{z-1} \sqrt{z+1}[/tex].

Roro.

#1606 Re : Entraide (supérieur) » Analyse » 19-12-2011 12:35:59

Bonjour samo12,

Question très vaste... plutôt que de poser la question directement sur un forum, je te recommanderai plutôt d'aller voir par toi même la définition (en particulier sur ce site).
- Une fonction est analytique si elle est développable en série entière (au voisinage de chacun de ces points).
- Le théorème d'analycité auquel tu fais référence est-il celui qui dit que "holomorphe = analytique" ?

Roro.

#1607 Re : Entraide (supérieur) » suite » 11-12-2011 21:59:58

Bonsoir Golgup,

Juste une petite remarque sur ton raisonnement : dire qu'une suite diverge ne signifie pas qu'elle tend vers [tex]+\infty[/tex].
D'ailleurs, il y a forcément une erreur (minime) dans l'énoncé car on doit supposer x>0 (si x est négatif alors la suite [tex](p_n)[/tex] tend vers [tex]-\infty[/tex] et [tex](q_n)[/tex] tend vers [tex]+\infty[/tex]).
Ceci dit si tu lis ce que je propose, c'est quasiment la même chose que toi, avec le terme "extraire une sous-suite" en supplément !

Roro.

#1608 Re : Entraide (supérieur) » suite » 11-12-2011 21:51:20

Bonsoir amatheur,

Tu peux essayer un raisonnement par l'absurde : suppose par exemple que la suite [tex](q_n)[/tex] est bornée, tu peux donc en extraire une sous-suite qui converge... essaye de voir ce que tu peux en conclure.

Roro.

#1609 Re : Entraide (supérieur) » dérivée nule » 10-12-2011 21:13:18

Bonsoir abdoullah,

Tu dois aussi pouvoir faire comme cela (ce qui doit être équivalent à ce que dit Golgup) :

Si g est de classe [tex]C^1[/tex] alors pour tout h on a [tex]g(c+h)=g(c) + \int_c^{c+h} g'(t) dt[/tex].
Comme [tex]g(c)= 0[/tex] tu obtiens que pour tout h, [tex]g(c+h)=\int_c^{c+h} g'(t) dt[/tex].
Si [tex]g'(c)<0[/tex] alors (g' étant continue) tu peux trouver un [tex]h>0[/tex] assez petit pour que [tex]g'(t)<0[/tex] sur [tex][c,c+h][/tex] ce qui impliquerait [tex]g(c+h)<0[/tex].
De même, si [tex]g'(c)>0[/tex] alors tu peux trouver un [tex]h<0[/tex] assez petit( en valeur absolue) pour que [tex]g'(t)>0[/tex] sur [tex][c+h,c][/tex] ce qui impliquerait [tex]g(c+h)<0[/tex].

Roro.

#1610 Re : Entraide (supérieur) » ensemble » 06-12-2011 20:50:39

Je veux bien qu'on essaye de le faire ensemble :
Je commence en suivant ce que j'ai dit dans mon message précédent.

Je note [tex]A = \cup_{n=1}^{+\infty} \{ x\in \mathbb R~;~Df(x)>1/n \}[/tex] et [tex]B = \{ x\in \mathbb R~;~Df(x)>0 \}[/tex].
1) On va d'abord montrer que [tex]A \subset B[/tex].
On prend donc [tex]x\in A[/tex] et on va montrer que [tex]x\in B[/tex].

Je te laisse poursuivre... et je reviens ensuite !

Roro.

#1611 Re : Entraide (supérieur) » ensemble » 06-12-2011 16:13:07

Bonjour Picatshou,

Remarque : la question que tu poses est indépendante de la définition de Df.

Comme la plupart du temps, pour montrer que deux ensembles A et B sont égaux, on montre les inclusions [tex]A\subset B[/tex] et [tex]B \subset A[/tex].

Est ce que tu as essayé de le faire ? Dans le cas que tu présentes, une des deux inclusions est "évidente" et l'autre n'est pas difficile.
Essaye de faire les choses simplement et tu ne devrais pas avoir de problème.

Reposte si tu n'y arrives pas.

Roro.

#1612 Re : Entraide (supérieur) » Intégrale dépendant d'un paramètre » 04-12-2011 20:42:55

Bonsoir Indunil,

La dérivée de [tex]x\longmapsto \int_a^x f(t)\, dt[/tex] vaut [tex]f(x)[/tex] pour tout réel a et toute fonction f continue...
avec ça tu devrais t'en sortir !

Roro.

#1613 Re : Entraide (supérieur) » Calcul primitive » 01-12-2011 21:40:20

Bonsoir,

Mais tu n'as pas fait d'erreur ! (sauf que tu remplaces allègrement x par t dans l'énoncé, que tu identifies une fonction g et son image g(x)...et aussi que tu as dû faire une faute de frappe dans ton dernier message : tu dois trouver [tex]F(x) = (6x-x^2)/8[/tex]).

Bref, quand je dis que tu n'as pas fait d'erreur c'est simplement pour dire que tu as bien trouver UNE primitive de f. Ce n'est pas la même que celle que tu donnais au début mais elle diffère seulement d'une constante.
En pratique tu n'as pas utilisé la même méthode et tu as préféré développer le polynôme avant de l'intégrer.

Roro.

#1614 Re : Entraide (supérieur) » Equation de Laplace sur une variété » 01-12-2011 21:11:37

Bonsoir Tibo,

Pour ce qui est de l'exo 1, je pense que le théorème repose essentiellement sur le Théorème de Lax-Milgram (ce qui signifie le théorème de Riez).

Pour l'exo 2, je réfléchis...

Roro.

#1615 Re : Entraide (supérieur) » Calcul primitive » 01-12-2011 10:45:20

Bonjour,

Je te retourne la question : pourquoi aurais-tu mis [tex]g(x) = x/4[/tex] au lieu de [tex]g(x) = -x/4[/tex] ?

Roro.

#1616 Re : Entraide (supérieur) » Calcul primitive » 01-12-2011 08:42:17

Bonjour kelyos,

Qu'est ce que tu ne comprends pas exactement ?
S'il s'agit de savoir si la correction est juste, il suffit que tu dérives la fonction F pour vérifier que tu obtiens effectivement la fonction f.
Si tu veux comprendre comment on trouve la fonction F alors c'est plus compliqué ! Enfin quand je dis plus compliqué je parle de cas généraux : il n'y a pas de règles pour obtenir une primitive en général (contrairement à la dérivation), mais seulement quelques astuces qui peuvent marcher dans les cas simples (pour une fonction f prise au "hasard", il y a peu de chance qu'on sache exprimer une de ces primitives).

Evidemment dans ton cas, c'est assez simple pour reconnaître que f est de la forme [tex]f(t) = x'(t) g(x(t))[/tex] où [tex]g(x)=-x/4[/tex] et [tex]x(t)=3-t[/tex]. Une primitive de f sera par exemple [tex]F(t)=G(x(t))[/tex], G étant une primitive de g (vérifie en dérivant !).

Comme on connaît une primitive de g (c'est [tex]G(x)=-x^2/8[/tex]) tu en déduit le résultat...

Roro.

#1617 Re : Entraide (collège-lycée) » resolution de l'equation linéaire: y' = cos[ x + y ], y etant une f[x] » 29-11-2011 22:55:11

Bonsoir,

Je suis surpris par ce type de question niveau"collège-lycée"... surtout que cette équation n'est pas linéaire !
Que signifie pour toi linéaire ?

Bref, en posant [tex]t(x) = x+y(x)[/tex] tu as [tex]t'(x)=1+y'(x) = 1+\cos(t(x))[/tex].
Autrement dit tu obtiens une équation autonome sur la fonction t que tu peux résoudre en connaissant une primitive de [tex]\frac{1}{1+\cos}[/tex].

Selon ce que tu connais des équations différentielles, dis-moi ce que tu as compris de ce que je viens d'écrire, et au besoin je repréciserais.

Roro.

#1618 Re : Entraide (collège-lycée) » DM 2nd application à la géométrie plane » 27-11-2011 20:23:13

Bonsoir Daph,

Tu n'arrives à rien ???
Question 1 : à vrai dire il n'y a pas vraiment à justifier car c'est une hypothèse dans l'énoncé, mais j'imagine qu'il faut répondre que puisque M est entre A et B alors AM est positif et moins grand que AB, donc [tex]0\leq x \leq 7[/tex].

Question 2a : tu connais le théorème de Thalès ? ... et p(x) = AM+MN+NA
Question 2b : pour info, AM+MB = AB (et aussi AN+NC=AC)
Question 2c : q(x) = BM+MN+NC+CB

Une fois que tu auras compris ces informations, reposte en nous disant si tu as encore des problèmes (et lesquels...).

Roro.

#1619 Re : Entraide (supérieur) » Equations Différentielles Ordinaires » 18-11-2011 23:32:50

Bonsoir,

De mon coté, j'écrirais plutôt :
[tex]\left( -\frac{1}{y(x)} \right) ' = \left( \ln |x| \right) '[/tex]
ce qui m'éviterai de parler de forme différentielle car ça peut vite devenir assez tordu...

Et effectivement, ensuite il ne reste plus qu'à intégrer.

Roro.

#1620 Re : Entraide (supérieur) » Tribus, espaces mesurables, fonctions mesuarables » 11-11-2011 10:07:17

Bonjour Indunil,

Indunil a écrit :

On appelle tribu borélienne de R, la plus petite tribu sur R contenant tous les ensembles ouverts.
Or on a vu que le complémentaire d'un ouvert n'est pas un ouvert, donc je ne vois pas comment la tribu borélienne est stable par passage au complémentaire.

Ce n'est pas parce qu'elle contient tous les ouverts qu'elle ne contient que des ouverts...
D'ailleurs, par définition d'une tribu, elle est stable par passage au complémentaire, donc la tribu des boréliens de R contient aussi tous les fermés !

Roro.

#1622 Re : Entraide (supérieur) » Application linéaire et matrice » 09-11-2011 22:49:37

Bonsoir Vincent,

Comment ça "pas commune" ?

Par définition, la matrice de u dans la base B est un tableau de 3 colonnes (car B possède 3 éléments) ou dans chacune de ces colonnes tu ranges successivement u(f1), u(f2) et u(f3), exprimés dans la base B eux-aussi (chaque colonne sera donc composée de 3 réels).

Puisque u(f1) = f1 + f3  (t'es d'accord ?) alors la première colonne de ta matrice ressemble à [tex]\begin{pmatrix} 1 \\ 0 \\ 1 \\ \end{pmatrix}[/tex].

Je te laisse faire la suite ?

Roro.

#1623 Re : Entraide (supérieur) » Résolution des équations différentielles » 08-11-2011 21:40:04

Bonsoir richard_10,

Tu as raison, la notation f'x correspond à la dérivée partielle par rapport à la variable x.
Là où ton raisonnement n'est pas correct c'est lorsque tu dérives la relation [tex]y'=1+(y-x)^2[/tex].

Plus précisément cette relation dit que pour tout [tex]x[/tex] on a [tex]y'(x) = 1 + (y(x)-x)^2[/tex].
Ainsi, lorsque tu la dérives par rapport à [tex]x[/tex] (c'est d'ailleurs la seule variable !) tu obtiens
[tex]y"(x) = 2(y(x)-x) (y'(x)-1)[/tex]
mais comme tu connais [tex]y'(x)[/tex], tu en déduis
[tex]y"(x) = 2(y(x)-x)^3.[/tex]
En fait c'est exactement comme ça qu'on obtient la formule de la méthode de Taylor que tu donnais...

Si je n'ai pas été assez clair ou si tu as d'autres questions n'hésite pas à reposter.

Roro.

#1624 Re : Entraide (supérieur) » mesure et dénombrabilité » 08-11-2011 09:12:07

Bonjour Tibo,

Tout dépend de ce que tu utilises comme mesure sur l'ensemble des réels (pour dire "presque nulle").
Si c'est la mesure de Lebesgue alors il est connu qu'il existe des ensembles de mesure nulle et qui sont non dénombrables (par exemple les ensembles de Cantor).
Si ta famille [tex](a_i)[/tex] est nulle sur le complémentaire d'un tel ensemble (elle est donc presque nulle), et pourtant l'ensemble les [tex]a_i \neq 0[/tex] peut être non dénombrable.

Roro.

#1625 Re : Entraide (collège-lycée) » Système binaire et code CLE (Code a Large Echelle) » 06-11-2011 18:51:49

Bonsoir Cristiano,

As-tu fais la première question  : Ecrire en base 2 le nombre 9 ?

Roro.

Pied de page des forums