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

#2 Re : Entraide (collège-lycée) » Polynôme du second degré avec paramètre » 02-12-2025 12:01:02

>> Effectivement, le TVI, je n'y pensais dans ce contexte....

Sans vouloir trop entrer dans les détails, que comprends-tu par "calculer m", ? J'ai fait quelques teste en donnant plusieurs valeurs différentes à m, chaque fois j'obtenais une équation à discriminant positif, mais quelques tests ne permettent pas de conclure en général, sauf à mettre en évidence un contre-exemple, ce qui n'est pas le cas ici. T'ai-je bien compris sur ce point ?

En tout cas, merci pour ta réponse.

Philippe

#3 Re : Entraide (collège-lycée) » Polynôme du second degré avec paramètre » 02-12-2025 11:47:19

>> Roro,  merci d'avoir répondu rapidement. Effectivement, c'est le raisonnement qu'il fallait adopter pour conclure, j'en suis maintenant convaincu.

f est bien sûr un polynôme de degré 2, mais c'est son discriminant, dont je voulais étudier le signe, qui est de degré 4 (non bicarré).

Merci de m'avoir permise de conclure.

Philippe

#4 Entraide (collège-lycée) » Polynôme du second degré avec paramètre » 02-12-2025 11:11:46

PhilT1
Réponses : 6

Bonjour

Ci-dessous le texte d'un problème que je ne parviens pas à conclure :

Soit un réel m et f  la fonction trinôme :  f(x) = m.(x+2).(mx-3) + (x+1).(x+m²+9)

1/ déterminer les réels f(0) et f(-2) :

     je trouve : f(0)  = (m-3)²  et  f(-2) = -(m²+7) ; j'en conclus déjà que : [tex]\forall [/tex] m [tex]\in \mathbb{R} [/tex] , f(0) [tex]\ge[/tex] 0 et f(-2) [tex]\le[/tex] -7


2/ en déduire que :  [tex]\forall [/tex] m [tex]\in \mathbb{R} [/tex] l'équation f(x) = 0 a dans [tex] \mathbb{R} [/tex] deux solutions distinctes.

C'est là que je ne parviens pas à faire la déduction à partir des valeurs calculées pour f(0) et f(-2)...

Pour que l'équation ait deux solutions réelles distinctes, il faut que le discriminant du premier membre soit strict. positif. En développant f(x), j'obtiens un polynôme de degré 4 qui n'est pas 'bicarré', et qui ne se factorise pas (ce qui ne me surprend pas puisqu'il est censé être toujours strict. positif pour toute valeur de m... ; j'ai tracé la courbe de la fonction 'discriminant' sur un logiciel, effectivement elle semble être toujours à valeurs positives - sur mon intervalle choisi en tout cas   [-50 ; +50] -).

Alors comment à partir de la question faire la déduction demandée à la question 2

Merci par avance pour votre aide.

#5 Re : Entraide (collège-lycée) » Diviseurs d'un nombre entier naturel » 16-04-2025 18:34:52

>> DeGeer :

je viens de lire ta réponse. Je partage ton argumentation sur le formalisme et la cohérence qui en résulte pour étayer valablement une démonstration.

Si tu as le temps, ça m'intéresserait de lire comment une récurrence forte peut démontrer la propriété objet de ce 'fil'.

Encore merci pour vos interventions

#6 Re : Entraide (collège-lycée) » Diviseurs d'un nombre entier naturel » 16-04-2025 08:36:18

Bonjour à tous

je pense que la démonstration de Michel est probante et permet de répondre valablement à la question.

Encore merci pour vos aides

#7 Re : Entraide (collège-lycée) » Diviseurs d'un nombre entier naturel » 15-04-2025 18:21:14

En fait, au départ, j'avais l'idée de finaliser la démonstration en limitant le premier indice à [tex]\frac{r+1}{2}[/tex] ([tex]\frac{r}{2}[/tex] si [tex]n[/tex] est un carré parfait), mais comme je bloquais sur la récurrence forte (je bloque toujours d'ailleurs, c'est-à-dire que je veux établir que la propriété est vraie pour tous les indices inférieurs à [tex]k[/tex], avec [tex]k \leq \frac{r+1}{2}[/tex]), après je finalisais en mentionnant une 'symétrie indicielle' dans les facteurs des produits. Donc mes produits ne devaient pas être supérieurs à n....

Reste à montrer l'hérédité de cette récurrence forte....

#8 Re : Entraide (collège-lycée) » Diviseurs d'un nombre entier naturel » 15-04-2025 17:41:10

>> DeGeer

merci pour la piste fournie.
Je conçois qu'une récurrence simple ne permettrait pas d'aboutir. Après avoir validé l'initialisation, je ne parviens pas à utiliser le fait que, si pour TOUS les entiers inférieurs à k, on vérifie la relation [tex]\forall k \in [[0;r]], d_k.d_{r-k} = n[/tex], alors on puisse en déduire que [tex] d_{k+1}.d_{r-(k+1)} = n[/tex].

Pour ce qui concerne l'introduction de l'indice [tex]l[/tex], je comprends intuitivement l'inégalité qui en résulte, mais j'avoue pour l'instant ne pas saisir (même si je suis persuadé de l'existence d'une bonne raison à cela) dans quelle mesure elle peut m'aider à finaliser la démonstration.

Donc par rapport à mon état d'avancement peux-tu stp m'en dire/écrire un peu plus.

Merci pour ton aide.

#9 Entraide (collège-lycée) » Diviseurs d'un nombre entier naturel » 15-04-2025 15:57:46

PhilT1
Réponses : 15

Bonjour

une fois un nombre décomposé en produit de facteurs premiers et la totalité de ses diviseurs listée dans l'ordre croissant, comment démontrer dans le cas général la propriété selon laquelle le produit de deux diviseurs équidistants des extrêmes ( 1 et le nombre entier) est égal au produit de ces deux derniers (donc au nombre lui-même).

Par exemple, soit le nombre n qui se décompose en [tex]n = a^p.b^q.c^r[/tex]

avec a, b et c nombres premiers
p, q et r entiers naturels
(p+1).(q+1).(r+1) diviseurs

Ce qui m'intéresse ici, c'est la démarche générale. Pour simplifier, on peut supposer  [tex] p \geq q \geq r[/tex].

Merci de m'indiquer comment établir cette méthode en restant sur une démonstration littérale, ou de m'indiquer un article qui fournit la démonstration. Avant de poster, j'ai cherché une telle démonstration sur un site, sans succès après une bonne dizaine de consultations.
D'où ma sollicitation.

Merci par avance

#10 Re : Entraide (collège-lycée) » hauteurs d'un triangle » 12-04-2025 21:27:34

>> Pidelta + DeGeer

merci à vous deux
- pour vos explications tout aussi convaincantes l'une que l'autre, l'égalité des deux rapports dans la piste donnée par Pidelta aboutit (au facteur commun [tex]\frac{1}{2}[/tex] près) au même résultat que celui de DeGeer, donc à la même conclusion,
- pour m'avoir répondu rapidement.

Bon WE.

#11 Entraide (collège-lycée) » hauteurs d'un triangle » 12-04-2025 18:05:14

PhilT1
Réponses : 4

Bonjour

soit un triangle quelconque ABC, le côté AB est plus grand que le côté AC.

Comment montrer que la hauteur issue de C, qui coupe en C' le côté AB (le plus grand des deux côtés) ou son prolongement, est plus petite que celle issue de B, qui coupe en B'  le côté AC (le plus petit des deux côtés) ou son prolongement.

J'ai essayé de considérer les triangles rectangles BB'C et BC'C qui ont même hypoténuse BC, ainsi que les triangles rectangles BB'A et BC'C, en appliquant le théorème de Pythagore.

En tenant comte des alignements, soit  B'A + AC = B'C  et C'A +AB = C'B, je parviens  à établir que

[tex]\frac{AB}{AC} = \frac{AB'}{AC'}[/tex] , donc AB' > AC', mais je ne parviens pas à établir que B'A + AC < BA + AC', ce qui me permettrait de finaliser.

Merci par avance pour votre aide.

#12 Re : Entraide (collège-lycée) » inéquation paramétrique » 09-04-2025 16:30:53

Bonjour à tous les trois, et merci pour vos interventions qui m'ont été (ou pourront m'être, pour celle de Rescassol) très utiles.

N'ayant pas vu que je pouvais factoriser l'inéquation ramenée en inéquation 'homogène' comme l'a montré Black Jack, je restais bloqué sur des conjectures très générales, et en partie erronées d'ailleurs.

Une fois la factorisation du premier membre 'homogénéisé' validée, j'y voyais plus clair, et levais toutes mes contradictions.

Pour résumer :
Pour m < 0
le premier facteur étant toujours positif, tout dépend du signe du second facteur
[tex]S =  ]-\infty;-\sqrt{5-m}[ \cup ]\sqrt{5-m};+\infty[  [/tex]

Pour m > 5
le second facteur étant toujours positif, tout dépend du signe du premier facteur
[tex]S =  ]-\infty;-\sqrt{m}[ \cup ]\sqrt{m};+\infty[  [/tex]

Pour m [tex]\in[/tex] [0;5]

Tableau de signes indispensable selon que m < 5-m , soit m [tex]\in [0;\frac{5}{2}[ [/tex] ou m [tex]\geq[/tex] 5-m,  soit m [tex]\in[\frac{5}{2};5] [/tex].

On a alors resp.

[tex]S =  ]-\infty;-\sqrt{5-m}[  \cup   ]-\sqrt{m};\sqrt{m}[  \cup  ]\sqrt{5-m};+\infty[[/tex]

ou

[tex]S =  ]-\infty;-\sqrt{m}[  \cup   ]-\sqrt{5-m};\sqrt{5-m}[  \cup  ]\sqrt{m};+\infty[[/tex]

Oui ?

Merci encore à vous tous

#13 Entraide (collège-lycée) » inéquation paramétrique » 08-04-2025 21:39:41

PhilT1
Réponses : 5

Bonjour

soit l'inéquation [tex](x^2-2).(x^2-3) > (m-2).(m-3)[/tex] à résoudre et discuter selon les valeurs prises par le paramètre m.

Pour [tex]m \geq 1[/tex] je trouve [tex]x \in  ]-\infty;-\sqrt{m}[ \cup ]\sqrt{m};+\infty[[/tex]

Pour [tex]m \in [0;1[[/tex] je trouve  [tex]x \in ]-\sqrt{m};\sqrt{m}[[/tex].

Ca se complique pour m < 0 ; en considérant [tex]\sqrt{-m}[/tex], je ne parviens pas à trouver d'intervalles comme ci-dessus.

J'ai fait un test avec m = -4 ; j'aboutis à une inéquation bicarrée [tex]x^4-5x^2+6 > 42[/tex] ou [tex]x^4-5x^2-36 > 0[/tex], qui me donne comme solutions [tex]x \in  ]-\infty;-3[ \cup ]3;+\infty[[/tex], donc sans lien avec [tex]\sqrt{-m}[/tex]

Merci de m'aider à avancer et terminer

#14 Re : Entraide (supérieur) » applications linéaires » 12-01-2025 18:26:58

>> Roro + Bridgslam

Merci pour vos éléments de réponse, qui permettent d'étayer de façon probante ce que je pensais avoir deviné. Mais comme les mathématiques ne sont pas des devinettes......

Effectivement, poser 2x.e1 - 5x.e2 = e1 + e2, soit
(2x-1).e1 - (5x+1).e2 = 0
revient, sachant que (e1 ; e2) est une base de E2, donc une famille de vecteurs libres de E2,  à poser le système :
[tex]\left\{\begin{array}{ll}  2x - 1 = 0 \\5x + 1 = 0 \end{array} \right.[/tex]

soit une incompatibilité entre les deux équations ---> pas de solution

Argumentation pour la question 3 : Tout vecteur de E1 peut s'écrire de façon unique x.u dans la base u, [tex] x \in \mathbb{R}[/tex]. Son image par f est le vecteur de E2 f(x.u) = 2x.e1 - 5x.e2, dont les composantes scalaires sont resp. proportionnelles à 2 et -5. Les images par f des vecteurs de E1 forment une famille liée de vecteurs de E2. Les vecteurs de cette famille sont donc colinéaires à f(u), ils dirigent la même droite vectorielle incluse dans E2. Dans ces conditions, Im f est la droite vectorielle engendrée par f(u)   (d'ou l'utilité, selon moi, de déterminer f(u) en posant x = 1 à partir de l'énoncé).

Merci encore pour vos aides et vos éventuels autres commentaires.

#15 Entraide (supérieur) » applications linéaires » 12-01-2025 16:54:33

PhilT1
Réponses : 3

Bonjour à tous et toutes

Je sollicite vos avis pour la résolution d'un exercice simple en apparence, mais pour lequel je ne parviens pas à répondre à toutes les questions :

Soit (e1 ; e2 ) une base d'un plan vectoriel E2, u une base d'une droite vectorielle E1, et f l'application de E1 dans E2 définie par :

[tex]\forall x \in \mathbb{R} [/tex] f(x.u) = 2x.e1 - 5x.e2

1/ Démontrer que f est une application linéaire de E1 dans E2établi sans difficultés

2/ Résoudre dans E1 l'équation linéaire : f(x.u) = e1 + e2

3/ Déterminer une base de Im f


Pour la question 2 : f étant linéaire, on  a  f(x.u) = x.f(u) , avec f(u) se déduisant de l'énoncé pour x  = 1, soit f(u) = 2e1 - 5e2. L'équation à résoudre consisterait alors à chercher x tel que x.(2e1 - 5e2) =  e1 + e2. Et c'est là que je ne comprends pas ; on ne divise pas des vecteurs entre eux.... et je ne vois pas alors comment déterminer x.

Pour la question 3, je pense que l'image de la droite vectorielle par f est/serait la droite vectorielle incluse dans E2, engendrée  par le vecteur de E2 :  f(u) = 2e1 - 5e2 ?
Une base de Im f serait alors le vecteur f(u), ou tout vecteur qui lui serait colinéaire ?

Merci par avance pour votre aide

#17 Entraide (collège-lycée) » fractions » 26-11-2024 10:35:09

PhilT1
Réponses : 5

Bonjour à tous et toutes

J'ai établi que

si [tex]\frac{a}{b} = \frac{c}{d}[/tex]  alors [tex] \frac{ac}{bd} = \frac{(a+c)^2}{(b+d)^2}[/tex]

d'après le théorème selon lequel lorsqu'on est en présence de fractions identiques, la fraction de la somme des numérateurs sur la somme des dénominateurs est une fraction identique aux autres.

Il s'agit maintenant de démontrer que la réciproque est fausse, a savoir qu'il existe au moins quatre nombres réels [tex] a,b,c,d[/tex] tels que

si [tex] \frac{ac}{bd} = \frac{(a+c)^2}{(b+d)^2}[/tex], cela n'entraîne pas nécessairement que [tex]\frac{a}{b} = \frac{c}{d}[/tex]

il faut donc donner un contre-exemple qui invalide la réciproque, et.... je n'y parviens pas.

Pouvez-vous m'aider svp. Merci par avance

Pied de page des forums