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).

#1576 Re : Entraide (supérieur) » Résolution d'une équation » 21-09-2012 12:39:53

Bonjour venus,

Quelle est l'inconnue dans ton équation ? [tex]x[/tex] ou [tex]n[/tex] ? (ou les deux !)
Si ton équation est celle-ci : [tex]2^x+2^{x+1}+...+2^{x+n} = 3^x+3^{x+1}+...+3^{x+n}[/tex] (cf message de Yoshi) peut être que tu peux un peu la simplifier en mettant des trucs en facteur à gauche et à droite...

Ensuite ça devrait être moins difficile.

Roro.

#1577 Re : Café mathématique » Les calculettes, la fin du calcul mental ? » 09-09-2012 20:42:54

Salut,

Tu chipotes Yoshi :-p
Ceci dit, pour parler de calculatrice en ligne (et ça ne doit pas être la "première"), j'utilise souvent google en cherchant par exemple 1+2*3... qui fait 7 selon Google.

Roro.

#1578 Re : Entraide (supérieur) » edp elliptique » 09-09-2012 20:36:07

Bonjour,

Je passe par là... c'est effectivement tellement pointu que je ne vois pas trop quel bouquin pourrait contenir des exercices de ce type. Il y a bien des classiques genre "Brezis" mais c'est plutôt niveau M1.
Je dirai plutôt qu'en M2 (ou même après) les "exercices" qui peuvent être intéressants c'est de refaire une preuve d'un théorème, d'un lemme, éventuellement de traiter des exemples...
Bon après je ne suis pas trop biblio donc il doit bien y avoir ce que tu cherches ! D'ailleurs si tu trouves, tu peux nous poster les idées, ça pourra toujours servir à d'autres.

Bon courage,
Roro.

#1579 Re : Entraide (supérieur) » algèbre » 11-06-2012 07:53:41

Bonjour,

J'essayerai de montrer que l'application [tex]\phi:x\to x\times x[/tex] admet un point fixe. Tout d'abord en montrant qu'une des composées [tex]\phi\circ \phi \circ \cdots \circ \phi[/tex] en admet un.

Roro.

#1580 Re : Entraide (supérieur) » Equation différentielle du second odre à coefficients variables » 09-06-2012 21:59:25

Bonjour,

Est ce que tu pourrais préciser : quelles sont les inconnues, les variables, les données... et surtout ce que tu as essayé ?

Merci,
Roro.

#1581 Re : Entraide (supérieur) » degré d'un polynome » 23-03-2012 22:54:16

Bonsoir,

Il y a sans doute plus simple que ce que je te racontais pour trouver juste le degré du polynôme.
En effet, il doit être assez simple de montrer que deg(F(P))=deg(P)-1. Pour t'en convaincre, tu peux écrire P dans la base canonique et regarder ce que vaut F(P)... tout au moins calculer facilement son degré.

Roro.

#1582 Re : Entraide (supérieur) » degré d'un polynome » 23-03-2012 15:22:08

Je savais bien que je me trompais... mais pas trop !

En fait, [tex]B_k'/k[/tex] vérfie bien la même relation que [tex]B_{k-1}[/tex] mais il ne vérifie pas la condition d'être nul en zéro. Il faut donc lui retancher une constante (qui vaut [tex]B_k'(0)/k[/tex] mais on s'en contre-fiche). Autrement dit [tex]B_k'=kB_{k-1}+B_k'(0)[/tex]. Avec ça on doit pouvoir en déduire (par récurrence) le degré de ces polynômes...

Roro.

#1583 Re : Entraide (supérieur) » degré d'un polynome » 23-03-2012 14:04:08

Re,

Ne vois-tu pas un lien entre [tex]B_k'[/tex] et [tex]B_{k-1}[/tex] ?
Il suffit simplement de dériver la relation que tu donnes :
[tex]B_k'(X+1)-B_k'(X) = kX^{k-1}[/tex]
donc [tex]B_k'/k[/tex] vérifie la même relation que [tex]B_{k-1}[/tex]. Si comme tu le prétends, il y a unicité alors [tex]B_k'=kB_{k-1}[/tex].
Me tromperais-je quelque part ?

Roro.

#1584 Re : Entraide (supérieur) » degré d'un polynome » 23-03-2012 08:08:02

Bonjour abdoullah,

Si tu admet qu'il existe un seul polynôme telle que la relation soit satisfaite, moi j'essayerai de dériver cette relation...

Roro.

#1585 Re : Entraide (supérieur) » Résolution système EDP de type parabolique » 19-03-2012 21:31:35

Bonsoir Kamel6002,

Résoudre analytiquement et numériquement n'a pas trop de sens puisque si tu as une solution "analytique" tu n'as pas beaucoup d'étude numérique à faire.

Pour ce qui est de ton problème, tu as un système de trois équations dont la première se découple des deux autres (c'est-à-dire que tu peux résoudre l'équation en y1 sans toucher aux autres. Cette équation est du type "équation de la chaleur avec un terme source". Tu dois donc pouvoir utiliser une décomposition de la solution en série de Fourier. Les autres équations sont alors du même type...
Si tu veux approcher les solutions numériquement, comme ta variable d'espace est dans [tex]\mathrm R[/tex] je te conseillerais d'utiliser naïvement une méthode d'Euler implicite en temps et des différences finies en espace...

Bon courage,
Roro.

P.S.1 Il sort d'où ce système ?
P.S.2 Est ce que tout ce que j'ai raconté ci-dessus te "parle", en gros est ce que tu es habituer à manipuler de tels objets ?

#1586 Re : Entraide (supérieur) » anti commutativité de matrice » 12-03-2012 09:48:59

Bonjour Golgup,

Je ne comprend pas trop ta question : est ce que tu sais que de telles matrices n'existent pas ? ou est-ce que tu penses juste qu'elles n'existent pas ?

En tout cas, il me semble que pour n=2 on peut trouver deux matrices qui anti-commutent :
[tex]A=\begin{pmatrix} 0&0&1&0\\0&0&0&1\\1&0&0&0\\0&1&0&0\end{pmatrix}[/tex] et [tex]B=\begin{pmatrix} 0&0&1&0\\0&0&0&1\\-1&0&0&0\\0&-1&0&0\end{pmatrix}[/tex]

Et puis, plus généralement, voici deux matrices carrées (de taille [tex]n^2[/tex]) qui anti-commutent :
[tex]A=\begin{pmatrix} 0 & \cdots &\cdots & 0 & Id\\ 0 & \cdots & Id & \cdots & 0 \\ Id & 0 & \cdots & \cdots & 0 \end{pmatrix}[/tex] et [tex]B=\begin{pmatrix} 0 & \cdots &\cdots & 0 & M\\ 0 & \cdots & 0 & \cdots & 0 \\ -M & 0 & \cdots & \cdots & 0 \end{pmatrix}[/tex], les matrices M, et Identité étant carrées de taille [tex]n[/tex].

J'imagine que ce que tu demandes est plus complexe ?

Roro.

#1587 Re : Entraide (supérieur) » Diagonalisation » 06-03-2012 22:58:40

Re,

mais qui te disait qu'elle était diagonalisable ?

Roro.

#1588 Re : Entraide (supérieur) » Diagonalisation » 06-03-2012 21:13:50

Bonsoir florian69,

Tu as raison, ton erreur est dans le calcul des vecteurs propres associés à la valeur propre double -4 (je n'ai pas refait tes calculs, je les considère comme justes).

Si ton calcul est juste cet espace propre est engendré par les vecteurs (x,y,z) tels que x=y, c'est-à-dire par les vecteurs de la forme (x,x,z) où x et z sont des réels quelconque. Autrement dit ton espace est engendré par (1,1,0) et (0,0,1).

Remarque qu'il n'était pas certain (comme tu sembles le dire) que l'espace propre engendré par cette valeur propre (même double) soit de dimension 2...

Roro.

#1589 Re : Entraide (supérieur) » Montrer que GL(2,R) contient des elements d'ordre 2? » 06-03-2012 13:55:47

Bonjour,

Je dirais qu'il suffit que tu en trouves un, et ça ne doit pas être trop difficile... (comme ça je dirais que [tex](-1)^2 = 1[/tex] dois pouvoir m'aider).

Roro.

#1590 Re : Entraide (supérieur) » K[X]-module » 04-03-2012 21:22:18

Bonsoir fotsing,

Bon, si j'ai bien compris, ce que tu veux démontrer c'est l'équivalence entre
i) il existe un isomorphisme de modules [tex]f:v\rightarrow w[/tex];
ii) il existe un isomorphisme d'espaces vectoriels [tex]g:v\rightarrow w[/tex] tel que [tex]g\circ \alpha = \beta \circ g[/tex].

Pour la partie i) [tex]\Rightarrow[/tex] ii), il suffit d'utiliser les constantes de [tex]K[X][/tex] dans la définition d'isomorphisme de module (en particulier dans la propriété [tex]f(Px)=Pf(x)[/tex] que doit vérifier un morphisme de modules).

Pour la réciproque, tu peux utiliser le fait que la relation [tex]g\circ \alpha = \beta \circ g[/tex] implique les relations [tex]g\circ P(\alpha) = P(\beta) \circ g[/tex] pour tout polynôme de [tex]K[X][/tex].

Roro.

#1591 Re : Entraide (supérieur) » min et max » 04-03-2012 21:03:20

Bonsoir abdoulllah,

Comme ton problème est symétrique en les variables b et c, les distinctions de cas ne font que 3 cas différents : a<b<c, b<a<c et b<c<a, ce qui ne semble pas trop long...

Roro.

#1592 Re : Entraide (supérieur) » Notation : Formule des probabilités composées » 29-02-2012 12:13:56

Bonjour Joe Black,

De façon assez usuelle, P(A1|A2) désigne la probabilité d'avoir A1 sachant que A2 est vraie (probabilité conditionnelle)...
Voir : http://www.bibmath.net/dico/index.php?a … acond.html

Roro.

#1593 Re : Entraide (supérieur) » K[X]-module » 28-02-2012 22:09:49

Bonsoir fotsing,

Le résultat (tel que tu l'énonces) me semble faux. En tout cas, si je note
A : "[tex]v[/tex] est isomorphe à [tex]w[/tex]"
B : "[tex]\alpha=\gamma^{-1}\circ \beta \circ \gamma[/tex]  pour tout isomorphisme [tex]\gamma:v \rightarrow w[/tex]"
alors il semble évident que non(A) implique B. J'imagine donc pas trop que A implique B...

J'aurais peut être pu répondre de façon plus "classique" mais étant donnée la formulation de ta requête, j'attendrais que tu nous donne plus de précision sur ce que tu as fais (et sur la "vraie" question, en particulier sur la notion d'isomorphisme d'espace vectoriel ou de module)...

Roro.

#1594 Re : Entraide (supérieur) » Equation differentielle » 21-02-2012 20:19:52

Re,

oui, l'étape suivante (après avoir obtenu les valeurs propres) est d'obtenir des vecteurs propres.
Et tu as aussi raison, il faut trouver un vecteur [tex]e_1[/tex] tel que [tex]Ae_1=(2-\sqrt{3})e_1[/tex]...

Roro.

#1595 Re : Entraide (supérieur) » Equation differentielle » 21-02-2012 15:41:37

Bonjour,

La méthode que tu proposes est correcte : ta matrice possède deux valeurs propres distinctes (pas si compliquées que ça !) et tu peux donc en déduire une base de l'ensemble des solutions (j'imagine que tu as vu comment faire en cours).

Si tu coinces encore quelque part, re-poste et précise ou tu bloques.

Roro.

#1596 Re : Entraide (collège-lycée) » Les trois maisons » 15-02-2012 23:29:28

Bonsoir,

Un "donut" c'est sans doute ce qu'on appelle en mathématique un "tore".
C'est une surface (d'où le terme dimension 2) qui peut aussi ressembler à une chambre à air de vélo.
Quand snicker dit que lorsqu'il le mange il est en dimension 3, c'est qu'il mange aussi l'intérieur... le "donut" cité par son prof n'est que la surface de l'objet...

Ceci étant dit, le problème que tu poses est très classique (pour les mathématiciens) et peut être abordé de différentes manières (théorie des graphes ou topologie). Je vous renvoie par exemple à la page wikipédia http://fr.wikipedia.org/wiki/Énigme_des_trois_maisons.

Roro.

#1597 Re : Entraide (supérieur) » topologie » 15-02-2012 19:33:32

Bonsoir,

Effectivement Fred a détecté ce que ne fonctionnait pas dans mon raisonnement que j'avais soupçonné trop simple...
Toute norme n'est pas issue d'un produit scalaire ! mea culpa.

Roro.

#1598 Re : Entraide (supérieur) » topologie » 14-02-2012 21:44:15

Bonsoir,

J'ai même l'impression qu'il existe un élément de [tex]x\in E[/tex] tel que [tex]d(x,F)=\|x\|=1[/tex].
Je dois me tromper quelque part, mais puisque tu travailles sur un espace vectoriel normé, tu disposes d'un produit scalaire et d'une notion d'orthogonalité. Si tu prends [tex]x[/tex] dans [tex]F^\perp[/tex], de norme [tex]1[/tex] ça doit marcher ??

Roro.

#1599 Re : Entraide (supérieur) » equation differentielle a 2 variable (ordre 4). » 01-02-2012 21:52:24

Bonsoir,

Deux autres petites remarques concernant cette équation :
- Selon les conditions que tu imposeras au bord du domaine, tu peux éventuellement rechercher une solution sous forme de série de Fourier, ou bien utiliser la transformée de Fourier si [tex]x\in \mathbb R[/tex].
- La méthode de séparation des variables peut te fournir des solutions mais ce serait bien de s'assurer qu'il n'y a pas d'autres solutions ! Tu peux utiliser ce qu'on appelle des estimations d'énergie pour démontrer que si tu imposes des conditions initiales (une condition sur la valeur de [tex]g[/tex] au temps initial et une condition sur la valeur de [tex]\partial_t g[/tex] au temps initial) alors il y a qu'une seule solution. Une telle "estimation" peut s'obtenir en multipliant ton équation par [tex]\partial_t g[/tex]...

Roro.

#1600 Re : Enigmes, casse-têtes, curiosités et autres bizarreries » Fonction de fonction » 17-01-2012 23:12:35

Bonsoir,

J'aurais bien une idée de la méthode : pour obtenir les racines d'un polynôme de degré 4, il vaut mieux en connaître quelques unes (j'oublie les formules tortueuses donnant explicitement ces racines). Et dans le cas présent, on en connaît au moins 2 (i et -i). Il reste ensuite à trouver les deux autres qui doivent être racines d'un polynôme de degré 2, donc ce n'est pas trop difficile !

Mais si on n'a pas vu les "racines évidentes", ou par exemple si le polynôme f était le suivant : [tex]f(x) = x^2-3x+5[/tex] on pourrait tout aussi bien résoudre l'équation [tex]f(f(x))=x[/tex].

Il suffit en effet de remarquer que si [tex]f(x)=x[/tex] alors ce [tex]x[/tex] vérifie aussi [tex]f(f(x))=x[/tex]. Autrement dit, les "racines évidentes" de mon polynôme de degré 4 : [tex]f(f(x))-x[/tex] seront celles du polynôme (de degrè 2) [tex]f(x)-x[/tex].

Je ne sais pas si c'est très clair, mais je poste cette réponse car je me suis demandé si on pouvait trouver ce type d'astuce pour résoudre par exemple [tex]f(f(f(x))) = x[/tex] où [tex]f[/tex] est un polynôme de degré 2 donné...

Bonne nuit,
Roro.

P.S. Je n'ai pas vraiment cherché de réponse à ma dernière question, il est possible qu'elle soit "triviale" !

Pied de page des forums