Aide pour les futurs mathématiciens
 
AccueilAccueil  PortailPortail  FAQFAQ  RechercherRechercher  S'enregistrerS'enregistrer  Connexion  

Partagez | 
 

 Entier naturel et Ln

Aller en bas 
AuteurMessage
belgacem
Maître


Masculin Nombre de messages : 78
Age : 56
Date d'inscription : 18/06/2012

MessageSujet: Entier naturel et Ln   Mar 18 Sep 2018, 10:06

x  est un entier naturel non nul ; y est le nombre des
diviseurs premiers de  x .
Montrez que : Ln(x) ≥ y Ln(2)  lol!
Revenir en haut Aller en bas
naïl
Maître


Masculin Nombre de messages : 88
Age : 36
Date d'inscription : 25/04/2006

MessageSujet: modification   Mer 26 Sep 2018, 13:36

z : nombre de diviseurs de x, noté y dans le lien http://mathsmaroc.jeun.fr/t20869-entier-naturel-et-ln. (p_k){k=1,y} : la suite croissante des diviseurs premiers de x, et (b_l){l=1,y} : les entiers naturels tels que x = [(p_1)^b_1] *[(p_2)^b_2][(p_3)^b_3] *...[(p_y)^b_y]. Alors, en appliquant le théorème de décomposition en nombres premiers, chaque diviseur de x a ses diviseurs premiers parmi ceux de x, et en outre, leurs puissances dans le diviseur sont inférieures ou égales aux leurs dans x, d'où la condition nécessaire et suffisante de diviser x, et par suite, le nombre de diviseurs de x, z = (1 +b_1)(1 +b_2)(1 +b_3)...(1 +b_y) >= 2^y. Or z <= x car les z diviseurs deux à deux différents sont inférieurs à x.
Revenir en haut Aller en bas
nmo
Expert sup


Masculin Nombre de messages : 2246
Age : 25
Localisation : Elgara
Date d'inscription : 29/10/2009

MessageSujet: Re: Entier naturel et Ln   Ven 12 Oct 2018, 06:31

naïl a écrit:
z : nombre de diviseurs de x, noté y dans le lien http://mathsmaroc.jeun.fr/t20869-entier-naturel-et-ln. (p_k){k=1,y} : la suite croissante des diviseurs premiers de x, et (b_l){l=1,y} : les entiers naturels tels que x = [(p_1)^b_1] *[(p_2)^b_2][(p_3)^b_3] *...[(p_y)^b_y]. Alors, en appliquant le théorème de décomposition en nombres premiers, chaque diviseur de x a ses diviseurs premiers parmi ceux de x, et en outre, leurs puissances dans le diviseur sont inférieures ou égales aux leurs dans x, d'où la condition nécessaire et suffisante de diviser x, et par suite, le nombre de diviseurs de x, z = (1 +b_1)(1 +b_2)(1 +b_3)...(1 +b_y) >= 2^y. Or z <= x car les z diviseurs deux à deux différents sont inférieurs à x.
Je ne vois pas comment tu obtiens que . Est-ce que tu peux détailler ce point?
Sinon, on peut conclure autrement en utilisant le résultat connu que .
J'utilise aussi les mêmes notations que toi au début de ta démonstration. On a: .
En combinant ces résultats, on trouve: .
est défini dans ta démonstration qui vérifie, comme tu l'as démontré, . Donc: .
CQFD.
Sauf erreurs.
Revenir en haut Aller en bas
naïl
Maître


Masculin Nombre de messages : 88
Age : 36
Date d'inscription : 25/04/2006

MessageSujet: Re: Entier naturel et Ln   Sam 13 Oct 2018, 18:25

"[...] z <= x car les z diviseurs deux à deux différents sont inférieurs à x". Le nombre de diviseurs de x est inférieur, et même strictement au cardinal de l'ensemble {1 ,2,3, ...x}, sauf égalité, si x = 2.
Revenir en haut Aller en bas
Contenu sponsorisé




MessageSujet: Re: Entier naturel et Ln   

Revenir en haut Aller en bas
 
Entier naturel et Ln
Revenir en haut 
Page 1 sur 1
 Sujets similaires
-
» Prouver que (a²+b²)/(a²-b²) n'est pas un entier naturel
» nombre entier naturel
» Entier naturel
» Le plus petit entier naturel...
» Préparations aux olympiades de première (2010-2011)

Permission de ce forum:Vous ne pouvez pas répondre aux sujets dans ce forum
Forum des amateurs de maths :: Lycée :: Terminale-
Sauter vers: