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

#1 Re : Entraide (supérieur) » Test d'hypothèse » 20-11-2025 15:06:09

Bonjour,
Il me semble que l'on n'est pas capable de calculer la probabilité que la pièce ne soit pas truquée mais je dis ça sans certitude car je ne maîtrise pas ce domaine.

#2 Entraide (supérieur) » Test d'hypothèse » 18-11-2025 18:55:39

bibmgb
Réponses : 3

Bonjour,
J'ai visionné la vidéo Inégalité de Bienaymé-Tchebychev proposée par Bibmath et j'ai un souci au niveau de l'application 2 Test d'hypothèse à la minute 9:28.
En effet, il est écrit "il y a moins de 2,5% de chance que la pièce ne soit pas truquée"; or moi j'aurais dit "il y a moins de 2,5% de chance d'obtenir 600 fois pile avec une pièce non truquée".
Mais est-ce que ces deux phrases ont le même sens ?
Pour réécrire le problème : on vous donne une pièce de monnaie que vous lancez 1000 fois. Vous obtenez 600 piles. Est-elle truquée ?
On fait donc l'hypothèse que la pièce n'est pas truquée et on considère la variable aléatoire S qui compte le nombre de piles. S suit la loi binomiale de paramètre n=1000 et p=0,5. A l'aide de l'inégalité de Bienaymé Tchebychev, on montre que la probabilité de l'évènement [tex]\vert S-500\vert\geq 100[/tex] est inférieure à 0,025.
Encore une fois dit-on la même chose quand on dit "il y a moins de 2,5% de chance que la pièce ne soit pas truquée" ou quand on dit "il y a moins de 2,5% de chance d'obtenir 600 fois pile avec une pièce non truquée".
Merci pour votre éclairage.

#3 Re : Entraide (supérieur) » Suites géométriques, exercice de logique » 18-11-2025 18:43:41

La réponse attendue est 7 jours et non 7 jours et 1/256 jour.

#4 Entraide (supérieur) » Suites géométriques, exercice de logique » 14-11-2025 12:27:28

bibmgb
Réponses : 6

Bonjour,
Voici un énoncé d'un exercice de logique :
"Un escargot a mis 8 jours pour atteindre le sommet d'un mur de 8 mètres. Sachant que la distance montée chaque jour est le double de celle de la veille, au bout de combien de jours avait-il parcouru la moitié de la hauteur du mur ?"
La réponse attendue est : 7 jours.
Or pour pouvoir donner cette réponse, il faut comprendre que la distance parcourue au terme du jour n est égale au double de la distance parcourue au total lors des n-1 jours précédents.
En effet, dire que l'escargot a parcouru 4 mètres en 7 jours et 8 mètres en 8 jours c'est bien dire que en n jours (et non le jour n) il parcourt le double de la distance parcourue en n-1 jours (et non le jour n-1).
En ce qui me concerne, tel que l'énoncé est rédigé, je comprends plutôt que le jour [tex]n[/tex], l'escargot double la distance parcourue le jour [tex]n-1[/tex], soit [tex]d_n=2d_{n-1}[/tex] et donc [tex]d_n=2^{n-1}d_1[/tex] avec [tex]8=\sum_{k=1}^8 d_k[/tex].
On a alors [tex]8=d_1\dfrac{1-2^8}{1-2}[/tex] soit [tex]d_1=\dfrac{8}{2^8-1}[/tex].
Si on cherche au bout de combien de jours il atteint 4 mètres, on résout [tex]4=\sum_{k=1}^p d_k[/tex] d'inconnue [tex]p[/tex].
Je passe les détails des calculs, on obtient [tex]p\approx 7,0056...[/tex] Donc on trouve environ 7 jours.
Il est évident que ce n'est pas cette solution qui est attendue mais pourtant c'est comme cela que je comprends l'énoncé.
Que pensez-vous de cet énoncé, est-ce clair pour vous ? Ou au contraire, vous trouvez que plusieurs interprétations sont possibles ?
Merci.

#5 Programmation » xcolor » 21-08-2025 10:47:29

bibmgb
Réponses : 1

Bonjour,
Lorsque j'entre la commande \usepackage[dvipsnames]{xcolor}
j'obtiens le message d'erreur "option clash for package xcolor".
Comprenez vous ce message ?
Merci.

#6 Re : Programmation » utiliser anchor pour annoter des axes » 21-08-2025 09:56:12

Bonjour,

Si je traxe un axe allant du point (0,0) au point (0,5) et que j'annote cet axe [tex]u_n[/tex] en notant anchor=south west, j'obtiens [tex]u_n[/tex] en haut à droite, donc j'aurais dit north east, car c'est au nord est du point (0,5). C'est donc en totale contradiction avec south west. Ou alors on considère que (0,5) se trouve au sud ouest de [tex]u_n[/tex].
Je ne comprends pas la logique de anchor.

#7 Programmation » utiliser anchor pour annoter des axes » 18-08-2025 10:59:25

bibmgb
Réponses : 2

Bonjour,
J'essaie de mettre un bout de code tikz pour expliquer ce que je ne comprends pas mais je n'y arrive pas, j'ai le message d'erreur "no spam please".
Cordialement.

#8 Re : Entraide (supérieur) » Hessienne et conditions d'extremum » 03-03-2025 11:08:10

Bonjour,

Pour la première partie de la réponse (signe d'une forme quadratique), je n'ai pas les connaissances théoriques pour la comprendre.
Par contre pour la deuxième façon de voir, c'est très clair pour moi.

Merci.

#9 Entraide (supérieur) » Hessienne et conditions d'extremum » 02-03-2025 09:05:07

bibmgb
Réponses : 2

Bonjour,

Une matrice Hessienne est une matrice symétrique (quand [tex]f[/tex] est de classe [tex]C^2[/tex])  donc diagonalisable dans une base orthonormée.
Ainsi, son déterminant est égal au produit de ses valeurs propres et sa trace est égale à la somme de ses valeurs propres.
Une condition suffisante d'extremum local pour une fonction de deux variables réelles est alors d'avoir un gradient nul et une matrice hessienne de déterminant strictement positif. Par ailleurs pour connaître le signe des valeurs propres, on regarde la trace, si elle est positive (resp. négative), les valeurs propres sont strictement positives (resp.strictement négatives) et le point critique est un minimum local (resp. maximum local).

Or dans certains cours, si on note [tex]\begin{pmatrix}r & s\\ s & t\end{pmatrix}[/tex] la matrice Hessienne évaluée en un point critique, alors on ne regarde pas la trace pour déterminer le signe des valeurs propres mais uniquement le signe de r. Cela veut dire que r+t est du signe de r mais je ne sais plus pourquoi ?

Pourriez-vous me rappeler pourquoi le signe de r+t est celui de r ?

Merci beaucoup.

#10 Re : Entraide (supérieur) » Matrice Hessienne constante » 02-03-2025 08:46:14

Bonjour,
Merci pour l'indication.

  • [tex]\frac{\partial^2 f}{\partial x^2}(x,y)=a[/tex] implique que [tex]\frac{\partial f}{\partial x}(x,y)=ax+g(y)[/tex] puis que [tex]f(x,y)=a\dfrac{x^2}{2}+g(y)x+ h(y)[/tex].

  • On a ensuite [tex]\frac{\partial f}{\partial y}(x,y)=xg'(y)+h'(y)[/tex] puis [tex]\frac{\partial^2 f}{\partial y^2}(x,y)=xg''(y)+h''(y)[/tex] et  [tex]\frac{\partial^2 f}{\partial x\partial y}(x,y)=g'(y)[/tex].

  • On en déduit que [tex]xg''(y)+h''(y)=b[/tex] et [tex]g'(y)=c[/tex]. Donc [tex]g''(y)=0[/tex] et [tex]h''(y)=b[/tex].

  • Par intégrations successives, on trouve : [tex]f(x,y)=\dfrac{a}{2} x^2+\dfrac{b}{2} y^2+c xy + rx+py+q[/tex].
    r, p et q sont des constantes d'intégration. f serait une forme quadratique si r,p,q étaient nuls; sinon on peut dire que f est un polynôme de degré 2 en deux variables réelles.

#11 Re : Entraide (supérieur) » Matrice Hessienne constante » 01-03-2025 10:17:06

Bonjour,
Si je me place dans le cas d'une fonction de la variable réelle avec [tex]f''(x)=a[/tex], j'obtiens par intégrations successives [tex]f(x)=a\dfrac{x^2}{2}+bx+c[/tex] soit un polynôme de degré 2 en la variable réelle [tex]x[/tex].

Je suppose que l'analogue en dimension supérieure est la notion de forme quadratique.

Si je suis votre proposition :

  • [tex]\frac{\partial^2 f}{\partial x^2}(x,y)=a[/tex] implique que [tex]\frac{\partial f}{\partial x}(x,y)=ax+g(y)[/tex] où g est une fonction de la variable réelle. Par suite [tex]f(x,y)=a\dfrac{x^2}{2}+g(y)x+\lambda[/tex].

  • On a ensuite [tex]\frac{\partial f}{\partial y}(x,y)=xg'(y)[/tex] puis [tex]\frac{\partial^2 f}{\partial y^2}(x,y)=xg''(y)[/tex] et  [tex]\frac{\partial^2 f}{\partial x\partial y}(x,y)=g'(y)[/tex].

  • Par ailleurs, en considérant [tex]\frac{\partial f}{\partial x}(x,y)=ax+g(y)[/tex], on obtient [tex]\frac{\partial^2 f}{\partial y\partial x}(x,y)=g'(y)[/tex]. Ce qui est cohérent avec le théorème de Schwarz.

  • J'en déduis que [tex]xg''(y)=b[/tex] et [tex]g'(y)=c[/tex]. Ce qui me pose problème c'est que [tex]g'(y)=c[/tex] implique [tex]g''(y)=0[/tex] implique [tex]\frac{\partial^2 f}{\partial y^2}(x,y)=0[/tex]. Or on peut considérer des matrices Hessiennes constantes sans aucun coefficient nul. J'ai dû faire une erreur quelque part.

#12 Entraide (supérieur) » Matrice Hessienne constante » 28-02-2025 17:22:06

bibmgb
Réponses : 4

Bonjour,

Soit [tex]f[/tex] une fonction définie sur [tex]\mathbb{R}^2[/tex] à valeurs dans [tex]\mathbb{R}[/tex]. On suppose que [tex]f[/tex] est de classe [tex]C^2[/tex] et que la matrice Hessienne de [tex]f[/tex] au point [tex](x,y)[/tex] ne dépend pas de [tex](x,y)[/tex], autrement dit que la matrice Hessienne de [tex]f[/tex] est constante.
Le fait que la matrice Hessienne soit constante, indépendante du point [tex](x,y)[/tex], donne-t-il des propriétés particulières à la fonction [tex]f[/tex] ?

Merci.

#13 Re : Entraide (supérieur) » Fraction rationnelle et forme irréductible » 08-02-2025 16:53:14

Effectivement, je n'ai pas prêté attention au fait que la notion de pôle était définie sur une fraction irréductible.

Je m'interroge également sur la notion de conjugué d'un polynôme ou d'une fraction rationnelle (c'est utilisé dans la décomposition en éléments simples).

Si P est un polynôme à coefficients dans [tex]\mathbb{C}[/tex], a-t-on [tex]\bar{P}=\bar{a_0}+\bar{a_1}X+\dots + \bar{a_n}X^n[/tex] ?
Je sais bien que [tex]X[/tex] représente l'indéterminée et n'est donc pas un nombre complexe dont on peut prendre le conjugué mais quand on passe à la fonction polynomiale de la variable complexe, on a cette fois [tex]\bar{P}=\bar{a_0}+\bar{a_1}\bar{x}+\dots + \bar{a_n}\bar{x}^n[/tex]?
Or quand on cherche les coefficients d'une décomposition en éléments simples, on évalue des polynômes (numérateurs et dénominateurs des fractions) en des valeurs complexes, donc on travaille avec la fonction polynomiale et non avec le polynôme ?

#14 Entraide (supérieur) » Fraction rationnelle et forme irréductible » 08-02-2025 11:40:53

bibmgb
Réponses : 3

Bonjour,
Soient A et B deux polynômes à coefficients dans un corps K et soit [tex]\lambda[/tex] un élément de K. On suppose que [tex]B(\lambda)\neq 0[/tex].

On peut écrire que [tex]\dfrac{A(X-\lambda)}{B(X-\lambda)}=\dfrac{A}{B}[/tex] puisque [tex]A(X-\lambda) B=AB(X-\lambda)[/tex].

Ce qui me perturbe un peu c'est que pour [tex]\dfrac{A(X-\lambda)}{B(X-\lambda)}[/tex], [tex]\lambda[/tex] est un pôle mais pour [tex]\dfrac{A}{B}[/tex], [tex]\lambda[/tex] n'est pas un pôle.

Ce qui me gêne c'est que deux objets égaux n'aient pas les mêmes propriétés; ici on parle de deux fractions rationnelles égales et pourtant elles n'ont pas les mêmes pôles. Ce fait n'est-il pas gênant ?

Merci.

#17 Entraide (supérieur) » Rédaction raisonnement par récurrence » 30-01-2025 10:02:53

bibmgb
Réponses : 6

Bonjour,
J'ai lu dans un cours de MPSI que l'hérédité consistait à prouver l'assertion "Pour tout entier naturel n, P(n) implique P(n+1)".
Donc qu'il convenait de rédiger comme ceci : "Soit n un entier naturel. Supposons P(n) et montrons P(n+1)."
Or on peut rencontrer d'autres façons de rédiger cette étape comme "Supposons qu'il existe un entier naturel n tel que P(n). Montrons alors P(n+1)."  Est-ce que cette formulation est fausse ?
Merci.

#18 Re : Entraide (supérieur) » Autour des hypothèses de la réciproque du théorème de Thalès » 27-01-2025 18:39:13

Bonjour,
Je ne sais pas "où cliquer" pour télécharger un pdf. J'ai scanné ma feuille puis je l'ai exportée en pdf, elle est enregistrée sur mon ordinateur mais je ne vois pas comment inclure le pdf dans ma réponse.

#19 Entraide (supérieur) » Autour des hypothèses de la réciproque du théorème de Thalès » 24-01-2025 15:38:27

bibmgb
Réponses : 2

Bonjour,

Dans l'énoncé de la réciproque du Théorème de Thalès, il y a une phrase du type "Si A,B,D sont alignés dans le même ordre que A,C,E" etc...
J'ai cherché à comprendre ce que cela voulait dire, et j'ai trouvé une configuration qui met à mal le théorème.
Il s'agit du cas où [tex]A\in[BD][/tex] (A est entre B et D) et [tex]C\in[A,E][/tex] (A est "du même côté" de C et E). On peut alors avoir l'égalité des quotients [tex]\dfrac{AB}{AD}=\dfrac{AC}{AE}[/tex] sans pour autant avoir [tex](BC)// (DE)[/tex].

Je me suis alors demandé pourquoi l'égalité [tex]\dfrac{AB}{AD}=\dfrac{BC}{DE}[/tex] n'impliquait pas (BC)//(DE).
Il est alors assez facile de construire un contre-exemple mais dans celui-ci j'ai [tex]B\in [AD][/tex] et [tex]E\in [AC][/tex] (Si [tex]C\in[AE][/tex] on est dans la configuration de triangles emboîtés et on a le parallélisme).
Je me demande donc : peut-on considérer que A, B, D est A,C,E ne sont pas alignés dans le même ordre ? (A est bien du même côté de B et D d'une part et de C et E d'autre part mais B est placé à la suite de A alors que sur la deuxième branche c'est E qui est placé à la suite de A et non C).

J'ai fait des dessins mais je ne sais pas si j'ai le droit de les adjoindre au message.

Merci.

#20 Re : Entraide (supérieur) » Théorème-définition nombres complexes » 24-01-2025 15:09:23

Bonjour,
Je vais essayer d'être un peu plus claire dans ma question, et je sais qu'elle est très naïve.
Concernant la proposition d'identifier [tex]a+ib[/tex] au couple de réels [tex](a,b)[/tex] avec le produit particulier [tex](a,b)\times (c,d)=(ac-bd,ad+bc)[/tex], on comprend bien alors que [tex]\mathbb{C}[/tex] se définit comme une [tex]\mathbb{R}[/tex]-algèbre à partir d'un [tex]\mathbb{R}[/tex]-espace vectoriel connu [tex]\mathbb{R}^2[/tex].
Mais pourquoi a-t-on besoin de faire ça ? Est-il possible de ne pas partir de quelque chose de connu, de prendre la définition telle qu'elle est donnée dans le cours susnommé ? Que faudrait-il alors faire pour prouver son existence ? Qu'est-ce qui peut bloquer l'existence d'un nouvel ensemble ?

#21 Re : Entraide (supérieur) » Théorème-définition nombres complexes » 20-01-2025 10:30:37

Bonjour,
Merci pour vos réponses.
L'auteur décrit les éléments de l'ensemble et les opérations sur ces éléments. Il s'agit alors de définitions. Que doit-il concrètement démontrer pour affirmer l'existence de l'ensemble qu'il décrit ?

#22 Entraide (supérieur) » Théorème-définition nombres complexes » 08-01-2025 12:40:23

bibmgb
Réponses : 8

Bonjour,
Dans le cours de Christophe Bertault Cours Complexes sur les nombres complexes en mpsi, il commence par dire "On admet momentanément l'existence d'un ensemble C tel que ..."
Ma question est naïve mais que signifie "démontrer l'existence d'un tel ensemble" ?
Merci.

#23 Re : Entraide (supérieur) » groupes quotients » 11-12-2024 20:40:00

Merci à vous deux pour votre aide, j’ai démarré de très très loin en n’ayant même pas compris que [tex](\mathbb{Z}/64\mathbb{Z})^\times[/tex] était le groupe des inversibles…

#24 Re : Entraide (supérieur) » groupes quotients » 11-12-2024 17:53:21

Bonsoir,
Ici [tex]A=\left\{1(2)\right\}[/tex] et [tex]B=\left\{1(16)\right\}[/tex]. Donc [tex]\left\{(1(2), 0(16)), (0(2), 1(16))\right\}[/tex] est un ensemble générateur de [tex]\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/16\mathbb{Z}[/tex].

En effet, pour tout [tex](\varepsilon,k)\in \mathbb{Z}\times \mathbb{Z}[/tex], [tex](\bar{\varepsilon},\bar{k})=\varepsilon (1(2), 0(16)) + k (0(2), 1(16))[/tex].

L'image de (1(2), 0(16)) est  [tex]-1 (64)[/tex] et l'image de [tex](0(2), 1(16))[/tex] est [tex]5 (64)[/tex].

Un ensemble générateur de [tex](\mathbb{Z}/64\mathbb{Z})^\times[/tex] est [tex]\left\{-1(64), 5(64)\right\}[/tex].

#25 Re : Entraide (supérieur) » groupes quotients » 10-12-2024 08:22:18

Pour l'instant ce que je peux dire est que :

  • 1 mod 2 est un générateur de [tex]\mathbb{Z}/2\mathbb{Z}[/tex] et 1 mod 16 est un générateur de [tex]\mathbb{Z}/16\mathbb{Z}[/tex].
    Donc (1 mod 2, 1 mod 16) génère un sous-groupe de [tex]\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/16\mathbb{Z}[/tex] d'ordre ppcm(2,16)=16.
    Par ailleurs (1 mod 2, 1 mod 16) a pour image [tex]\overline{-1}\times \overline{5}[/tex] soit [tex]\overline{59}[/tex].

  • 5 mod 64 génère un sous groupe d'ordre 16 et les autres éléments du groupe des inversibles s'écrivent sous la forme [tex]\overline{-1}\times \overline{5}^k=\overline{-5^k}[/tex].

Pied de page des forums