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

#151 Re : Entraide (collège-lycée) » probabilité » 18-06-2020 16:26:40

Oui, il est tout à fait possible d'avoir une loi de probabilité équiprobable avec une situation de non-équiprobabilité :

Pour cela, un petit exemple : imaginons une urne avec 4 boules, numérotées de 1 à 4. Supposons que tu tires la boule numéro 1 une fois sur 6, la numéro 2 une fois sur 3, la numéro 3 une fois sur 3 et la numéro 4 une fois sur 6. (On a bien la somme des probabilités qui fait 1).

Maintenant, si l'on considère la variable aléatoire $X$ qui vaut $1$ si le numéro de la boule obtenu est pair et $0$ sinon, on a une loi de probabilité équiprobable. En effet :

$$P(X=1) = P(\text{"le numéro obtenu est pair"}) =  P(\text{"on tire le 2"}) + P(\text{"on tire le 4"}) = \frac13 + \frac16 = \frac12,$$

et :

$$P(X=0) = P(\text{"le numéro obtenu est impair"}) =  P(\text{"on tire le 1"}) + P(\text{"on tire le 3"}) = \frac16 + \frac13 = \frac12.$$

Voilà, j'espère que ça répond à ta question.

#152 Re : Entraide (collège-lycée) » probabilité » 18-06-2020 12:08:44

Bonjour,

Ton raisonnement est correct, pas de soucis.

#153 Re : Café mathématique » Conjecture de Syracuse » 16-06-2020 13:12:16

Bonjour !

Déjà c'est louche, le papier a déjà quelques mois, et personne a crié partout que la conjecture de Syracuse a été résolue.

Ensuite pour les preuves exposées, je suis un peu perplexe. Rien que les lemmes 1 et 2 me semblent un peu louche : appeler lemme le fait d'utiliser une formule de trigo et d'intégrer (ce qu'on peut faire en Terminale), c'est un peu beaucoup je trouve.

Enfin, le fait que le document soit un peu douloureux à lire me fait douter sur la véracité des arguments.

J'ai trouvé un autre document écrit par ce monsieur (plutôt étonnant) : https://hal.archives-ouvertes.fr/hal-01586017/document

#154 Re : Entraide (supérieur) » Matrice Hermitienne » 12-06-2020 19:46:31

Bonjour !

J'ai vérifié tes calculs, ils sont justes. Le problème vient du calcul de la norme de tes vecteurs. Pour tout $z = (z_1, \cdots, z_n) \in \mathbb C^n$, on a :

$$ \|z\| = \sqrt{\langle z,z \rangle} = \sqrt{z_1 \overline{z_1} + \cdots + z_n \overline{z_n}} = \sqrt{|z_1|^2+\cdots + |z_n|^2} = \sqrt{\sum_{i=1}^n |z_i|^2}.$$

Donc quand tu calcules ta norme, les $i$ et les signes $-$ n'importent pas !

#155 Re : Entraide (supérieur) » Matrice Hermitienne » 11-06-2020 17:49:00

Bonjour !

Ta méthode est juste, mais je n'ai pas vérifié tes calculs, je te fais confiance. Mais une astuce qu'il faut toujours avec à l'esprit quand on travaille avec des normes, c'est que si j'ai un vecteur $x$ de norme quelconque, alors en divisant $x$ par sa norme, j'obtiens un vecteur de norme 1. Tu devrais pouvoir réussir à finir !

valoukanga

#156 Re : Entraide (supérieur) » Fonction n'est pas continue » 10-06-2020 16:27:10

Bonjour !

Tu peux essayer de trouver une suite de points $(x_n, y_n)_{n \in \mathbb N}$ telle que $f(x_n,y_n) \neq 0$ (par exemple $f(x_n, y_n) =1$) pour tout $n \in \mathbb N$. Comme ça, quand tu passeras à la limite tu auras que $\lim limits_{n \to +\infty} f(x_n,y_n) = 1 \neq 0 = f(0,0)$.\

#157 Re : Entraide (supérieur) » Matrices et applications lineaires » 08-06-2020 16:24:31

Bonjour !

De deux choses l'une. D'une part, ton exercice est incompréhensible. D'autre part, je doute fort que ce forum soit une machine à corriger les exercices. Il sert plutôt à t'aider à répondre à tes questions, où tu auras essayé de chercher. Si c'est le cas, merci de nous donner tes essais.

#158 Re : Entraide (supérieur) » produit scalaire » 07-06-2020 18:05:24

Bonjour !

Tout d'abord pour la question 1, il faut aussi que tu montres que $(.|.)$ est défini et positif, c'est à dire que : $\forall P \in \mathbb R_1[X]$,
- $(P|P) = 0 \Rightarrow P = 0$;
- $(P|P) \geq 0$.

Ensuite pour la question 2, si tu connais une base de $\mathbb R_1[X]$ et le procédé d'orthogonalisation de Gram-Schmidt, tu devrais pouvoir réussir à construire une base orthonormée...

#160 Re : Entraide (supérieur) » Polynôme formel » 05-06-2020 19:13:44

C'est exactement ça ! Les deux dernières questions sont plus faciles

#161 Re : Entraide (supérieur) » Polynôme formel » 05-06-2020 18:39:38

Alors, c'est pas exactement ça. Le problème, c'est qu'il faut combiner toutes les conditions ensemble : je t'éclaire un peu plus.

On veut $Q(a_1) = b_1$ et $Q(a_2) = b_2$ (je ne m'intéresse qu'aux deux premiers pour le moment, pour que tu comprennes l'idée). Moi, j'ai : $P_1(a_1) = 1$, $P_1(a_2) = 0$, $P_2(a_1) = 0$ et $P_2(a_2) = 1$. Je vois alors que le polynôme $Q = b_1P_1 + b_2P_2$ satisfait les deux premières égalités.

En suivant ce raisonnement, tu dois pouvoir trouver un polynôme $Q$ qui convient.

#162 Re : Entraide (supérieur) » Polynôme formel » 05-06-2020 17:28:02

Excuse-moi, j'ai dit une bêtise plus haut : le polynôme $b_1P_1 + P_2 + P_3 + P_4$ fonctionne pour $b_1$.

Et même mieux en fait, pour n'importe quel $(\alpha, \beta, \gamma) \in \mathbb R^3$, $b_1P_1 + \alpha P_2 + \beta P_3 + \gamma P_4$ fonctionne (puisque lorsqu'on évalue en $a_1$, les $P_2$, $P_3$ et $P_4$ sautent). Essaie-donc de voir ce que ça donne en utilisant les conditions $Q(a_2) = b_2$, $Q(a_3) = b_3$ et $Q(a_4) = b_4$.

Encore désolé pour la petite erreur !

#163 Re : Entraide (supérieur) » Polynôme formel » 05-06-2020 17:28:02

Excuse-moi, j'ai dit une bêtise plus haut : le polynôme $b_1P_1 + P_2 + P_3 + P_4$ fonctionne pour $b_1$.

Et même mieux en fait, pour n'importe quel $(\alpha, \beta, \gamma) \in \mathbb R^3$, $b_1P_1 + \alpha P_2 + \beta P_3 + \gamma P_4$ fonctionne (puisque lorsqu'on évalue en $a_1$, les $P_2$, $P_3$ et $P_4$ sautent). Essaie-donc de voir ce que ça donne en utilisant les conditions $Q(a_2) = b_2$, $Q(a_3) = b_3$ et $Q(a_4) = b_4$.

Encore désolé pour la petite erreur !

#164 Re : Entraide (supérieur) » la fonction indicatrice d'euler » 05-06-2020 17:06:45

Le fait qu'ils soient uniques modulo $n$ implique qu'il n'y en a que $n$ qui "t'intéresse". Et comme le nombre d'entiers premiers avec $n$ entre 1 et $n$ est $\varphi(n)$, tu peux conclure.

#165 Re : Entraide (supérieur) » Polynôme formel » 05-06-2020 17:00:58

Je crois pas trop que tu aies compris ce que j'ai essayé de te dire. Je vais de donner un indice :

On a $P_1(a_1) = 1$, donc $b_1 P_1(a_1) = b_1$. Ensuite, comme $P_1(a_2) = P_1(a_3) = P_1(a_4) = 0$, le polynôme $Q = P_1+P_2+P_3+P_4$ vérifie $Q(a_1) = b_1$, mais ce n'est pas le seul. Avec les conditions sur $b_2$, $b_3$ et $b_4$ tu devrais un autre polynôme $Q$ qui fonctionne pour $b_1$, $b_2$, $b_3$ et $b_4$.

#166 Re : Entraide (supérieur) » Polynôme formel » 05-06-2020 16:42:03

Essaie déjà de voir ce qu'il faut pour que juste pour $j = 1$, on ait l'égalité.

Tu sais que les $P_i(a_j)$ font soit 1, soit 0, et tu voudrais une combinaison qui fasse $b_1$. Cherche un peu et dis-moi si tu vois.

#167 Re : Entraide (supérieur) » la fonction indicatrice d'euler » 05-06-2020 16:36:41

Bonjour !

On montre dans la démonstration d'abord qu'il y a $\varphi(m)$ entiers entre $1$ et $m-1$ qui sont premiers avec $m$ (par définition). Ces entiers sont les $lm+r$ avec $r$ premier avec $m$, et ils sont tous distincts modulo $n$. Il y'en a donc $n$ modulo $n$, et $\varphi(n)$ qui sont premiers avec $n$. Ainsi, pour chaque $\varphi(m)$, tu as $\varphi(n)$ entiers, d'où le résultat.

Est-ce plus clair ?

#168 Re : Entraide (supérieur) » Polynôme formel » 05-06-2020 16:28:47

C'est tout bon ! Essaie de faire la suite maintenant :)

#169 Re : Entraide (supérieur) » Polynôme formel » 05-06-2020 16:03:06

C'est exact ! Si tu écris ça avec le symbole de Kron,ecker, ça donne ?

#170 Re : Entraide (supérieur) » Polynôme formel » 05-06-2020 14:58:17

Alors la formule qu'on te donne c'est celle-là :

$$\forall i \in \{1,2,3,4\},  P_i(X) = \frac{\prod\limits_{1 \leq j \leq 4, j \neq i} X-a_j}{\prod\limits_{1 \leq j \leq 4, j \neq i} a_i-a_j}.$$

Déjà, une bonne chose à remarquer c'est que tu peux tout mettre sous un seul produit, vu que les bornes sont identiques :

$$\forall i \in \{1,2,3,4\},  P_i(X) = \prod\limits_{1 \leq j \leq 4, j \neq i} \frac{X-a_j}{a_i-a_j}.$$

Ensuite, pour calculer $P_1(a_j)$, écris tout simplement les termes de ton produit. Pour $P_1$, la condition de ton produit qui est $1 \leq j \leq 4, j \neq i$ devient : $1 \leq j \leq 4, j \neq 1$, donc $2 \leq j \leq 4$. Ainsi, pour calculer $P_1(a_1)$ par exemple, tu as :

$$P_1(a_1) = \prod_{j=2}^4 \frac{a_1-a_j}{a_1-a_j}.$$

Essaie de faire la première question maintenant !

#171 Re : Entraide (supérieur) » Polynôme formel » 05-06-2020 14:37:53

Bonjour !

Qu'est-ce que tu ne comprends pas ? Si tu veux de l'aide, dis-nous ce que tu as essayé ou fait.

#173 Re : Entraide (supérieur) » Diagonaliser une matrice » 03-06-2020 19:36:45

Bonsoir !

Pour les critères de diagonalisibilité d'une matrice, tu en as pas mal, je te liste les plus utiles : 

Soit $n \in \mathbb N^*$. Soit $A \in \mathcal M_n(\mathbb K)$, avec $\mathbb K = \mathbb R$ ou $\mathbb C$.

1) $A$ est diagonalisable $\mathcal M_n(\mathbb K)$ si et seulement si $A$ est semblable à une matrice diagonale, i.e. : $$\exists P \in \textrm{GL}_n(\mathbb K), \exists D \in \mathcal M_n(\mathbb K) \text{  diagonale}, A = PDP^{-1}.$$

2) $A$ est diagonalisable si et seulement si $\sum\limits_{\lambda \in \textrm{Sp}_{\mathbb K} A} \dim_{\mathbb K}(E_\lambda(A)) = n$ (avec $E_\lambda(A)$ le sous-espace propre associé à la valeur propre $\lambda$).

3) $A$ est diagonalisable dans $\mathcal M_n(\mathbb K)$ si et seulement s'il existe $P \in \mathbb K[X]$ simplement scindé non nul tel que $P(A) = 0$.

4) $A$ est diagonalisable dans $\mathcal M_n(\mathbb K)$ si et seulement si $P(A) = 0$, avec $P = \prod\limits_{\lambda \in \textrm{Sp}_{\mathbb K} A} (X-\lambda)$.

N'hésite pas si tu as des questions !

#174 Re : Entraide (supérieur) » Anneau de caractéristique » 03-06-2020 11:49:44

Bonjour !

Pour la première question, ce n'est pas exactement ça. Tu as raison, un anneau qui vérifie la propriété que tu as énoncé est appelé un anneau de Boole. Cependant, on te demande un exemple concret d'anneau de Boole. Pense aux anneaux simples (finis) avec peu d'éléments que tu connais, tu devrais vite en trouver un.

Pour la deuxième question, c'est une bonne idée de partir de $xy = 1$. Maintenant utilise le fait que $x^2 = x$, c'est-à-dire $x^2-x = 0$. Petite indication : tu vas devoir montrer que seul 1 est inversible.

#175 Re : Entraide (supérieur) » Divisibilité par 8 » 02-06-2020 13:56:56

Bonjour !

Ta preuve est juste. Cependant, je pense que la récurrence pour montrer que $k(k+1)$ est pair est inutile. Tu peux plutôt dire que soit $k$ soit $k+1$ est pair, donc le produit est nécessairement un nombre pair.

Pied de page des forums