Enigmes

Forum dédié aux énigmes et à toutes formes de jeux de logique.

Déconnexion

Tu n'es pas identifié sur Prise2tete : s'identifier.

accueil Accueil forum Forum
[+]

 #1 - 01-06-2011 11:36:31

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Inégalité et diviseur

Soit [latex]n\geq 3[/latex] et [latex]1=d_1<d_2<...<d_k=n[/latex] les diviseurs postifs de [latex]n[/latex].

Montrer alors que [latex]d_1d_2+d_2d_3+...+d_{k-1}d_k<n^2[/latex], autrement écrit :

[latex]\sum_{j=2}^{k}d_{j-1}d_j<n^2[/latex].

Bonnes recherches.


Un mathématicien complet est topologiquement fermé!
  • |
  • Répondre

#0 Pub

 #2 - 01-06-2011 11:50:10

MthS-MlndN
Hors d'u-Sage
Enigmes résolues : 49
Messages : 12,414E+3
Lieu: Rouen

Inégalité et diviesurs

[TeX]d_k=n[/latex]. [latex]d_{k-1}[/latex] vaut au maximum [latex]\frac{n}{2}[/latex], [latex]d_{k-2}[/latex] vaut au maximum [latex]\frac{n}{3}[/latex], etc. Alors :

[latex]d_k d_{k-1} + d_{k-1} d_{k-2} + ... = \frac{n^2}{2} + \frac{n^2}{6} + \frac{n^2}{12} + ... = n^2 \left( \frac12 + \frac16 + \frac1{12} + ... \right)[/TeX]
Idéalement, la somme entre parenthèses tendrait vers 1 avec une infinité de termes, "mais comme k est fini, l'inégalité est stricte".

Mais pour l'instant, je n'ai aucune idée de comment prouver la valeur de cette somme lol



EDIT : Wolfram|Alpha confirme mon intuition.


Merci, mon chou, d'être aussi génial !


Et voici.


Podcasts Modern Zeuhl : http://radio-r2r.fr/?p=298

 #3 - 01-06-2011 18:06:00

Bamby2
Professionnel de Prise2Tete
Enigmes résolues : 0
Messages : 152

Inégalité et idviseurs

humm j'ai trouvé trop rapidement, j'ai du me planter smile

puisque Dk est le plus grand des diviseurs,[latex]d_k\le\frac{n}{2}, d_{k-1}\le\frac{n}{3},..,d_1\le\frac{n}{k+1}[/latex]
on a donc
[TeX]\sum_{j=2}^k d_{j-1}d_j \le \sum_{j=2}^k \frac{n}{j} * \frac{n}{j+1}\le n^2 \sum_{j=2}^k \frac{1}{j^2}[/TeX]
or
[TeX]\sum_{j=2}^k \frac{1}{j^2}\lt\int_1^k \frac{1}{j^2} dj=1-\frac{1}{k}\lt 1[/TeX]
cqfd.

EDIT et effet j'avais inversé les indices de k->2 avec 2->k. le passage entre les 2 premières sommes reste bon, mais l'ordre est inversé (j=2 dans le premier correspond a j=k). mais bon, on peut inverser les indices wlog.

 #4 - 01-06-2011 18:31:40

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Inéglaité et diviseurs

Une petite erreur pour Bamby qui n'a pas vu que les diviseurs étaient rangés dans l'ordre croissant.
Une petite correction et c'est bon.


Un mathématicien complet est topologiquement fermé!

 #5 - 03-06-2011 14:17:35

nodgim
Elite de Prise2Tete
Enigmes résolues : 0
Messages : 3801

Inégalité et diviseurss

On écrit la sommation en partant du plus grand au plus petit diviseur, en supposant tous les diviseurs possibles:
n*(n/2)+(n/2)*(n/3)+...=
n²(1/2+1/2*3+...1/(n-1)n).
Chacun des termes de droite vaut:
1/1*2=1/1-1/2
1/2*3=1/2-1/3
et par téléscopage au final: 1-1/n=(n-1)/n<1.

 #6 - 03-06-2011 14:20:09

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Inégalité et iviseurs

Nodgim, des majorations plutôt que des égalités et c'est ok.


Un mathématicien complet est topologiquement fermé!

 #7 - 03-06-2011 19:32:08

rivas
Elite de Prise2Tete
Enigmes résolues : 48
Messages : 1106
Lieu: Jacou

Inégalité et idviseurs

Elle me plait bien cette énigme.
Je me suis un peu creusé la tête et puis c'est quand je me suis couché que j'ai trouvé l'astuce qui m'a débloquée.
Ma démo est basée sur 3 "astuces" et j'espère qu'elle ne contient pas un trou énorme.

J'ai d'abord cherché une majoration directe sans rien trouver. Et puis je me suis dit que le produit de 2 diviseurs faisait drolement penser à n^2 et qu'avec les diviseurs au dénominateur j'y arriverais peut-être mieux.

Je pose [latex]S(n)=\sum_{j=1}^{k-1}d_j.d_{j+1}[/latex]

Astuce 1:
Puisque les diviseurs sont dans l'ordre croissant: [latex]d_i.d_{k+1-i}=n[/latex].
On a donc [latex]S(n)=\sum_{j=1}^{k-1^}\dfrac{n^2}{d_j.d_{j+1}}=n^2.\sum_{j=1}^{k-1^}\dfrac1{d_j.d_{j+1}}[/latex]

Astuce 2:
[TeX]\forall j, d_j \ge j[/TeX]
Donc: [latex]\forall j, \dfrac1{d_j.d_{j+1}} \le \dfrac1{j(j+1)}[/latex]

Donc [latex]S(n) \le n^2.\sum_{j=1}^{k-1^}\dfrac1{j.(j+1)}[/latex]

Astuce 3:
[TeX]\dfrac1{j(j+1)}=\dfrac1j-\dfrac1{j+1}[/TeX]
Astuce assez connue pour gérer ce genre de somme: tous les termes s'annulent deux à deux sauf le premier et le dernier:

Donc [latex]S(n) \le n^2(\dfrac11-\dfrac1k)[/latex]

Et donc: [latex]S(n) \lt n^2[/latex]

CQFD.
Merci pour cette énigme sympa.
Je suis assez curieux de voir les autres réponses car j'ai vraiment séché sur une démonstration plus calculatoire/arithmétique.

 #8 - 03-06-2011 19:55:43

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Inéaglité et diviseurs

Rivas c'est la demo que j'avais en tête mais je veux bien en chercher une plus arithmétique.


Un mathématicien complet est topologiquement fermé!

 #9 - 03-06-2011 20:01:36

rivas
Elite de Prise2Tete
Enigmes résolues : 48
Messages : 1106
Lieu: Jacou

inégalité et divuseurs

Bon ben alors, pas mieux. Il n'y a peut-être pas d'autre manière plus arithmétique smile

Je me demande quelle application on peut faire de ce résultat? As-tu une idée d'une application concrète?

 #10 - 03-06-2011 21:41:38

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Inégalité te diviseurs

Rivas m'interroge sur une application "concrète".
Je vous propose d'en rechercher.
Merci.


Un mathématicien complet est topologiquement fermé!

 #11 - 04-06-2011 21:13:15

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

inégalité et dibiseurs

Bravo à tous.
J'avais au départ la même réponse que Rivas mais quand ce dernier à demander une résolution plus arithmétique, j'ai pensé à la chose suivante :

[latex]d_1<d_2<...<d_{n-1}[/latex] et
[latex]d_2<d_3<....<d_n[/latex] forment deux suites rangées dans le même sens d'inégalité. Donc par l'inégalité du réordonnement la somme des produits [latex]d_id_j[/latex] ,où [latex]d_i[/latex] représente un terme de la première suite et [latex]d_j[/latex] un terme de la deuxième suite, est maximale quand on fait [latex]d_1d_2+d_2d_3...[/latex].
Or on peut s'arranger pour que les produits vaillent n d'où une somme de (k-1).n mais il est évident que k-1<n , d'où la conclusion.

J'espère que vous aurez aimé cette preuve.tongue


Un mathématicien complet est topologiquement fermé!

 #12 - 05-06-2011 00:29:15

rivas
Elite de Prise2Tete
Enigmes résolues : 48
Messages : 1106
Lieu: Jacou

Inégaliét et diviseurs

J'ai aimé cette preuve smile

 #13 - 05-06-2011 08:14:30

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

Inégalité et diviseurss

La conclusion n'est en fait pas assurée!!!

On arrive à [latex]S\geq (k-1)n\geq n[/latex]

Une petite illusion!


Un mathématicien complet est topologiquement fermé!

 #14 - 05-06-2011 11:04:22

rivas
Elite de Prise2Tete
Enigmes résolues : 48
Messages : 1106
Lieu: Jacou

Inéglaité et diviseurs

Illusion dans laquelle je suis tombé en effet smile
Mais l'idée me plaisait bien...

 #15 - 05-06-2011 15:40:06

gwen27
Elite de Prise2Tete
Enigmes résolues : 49
Messages : 5,896E+3

inéfalité et diviseurs

Je ne pige pas toutes les explications, mais bon.
Je tentais de diviser par n^2 en considérant n comme un produit de facteurs premiers. Il s'agissait de prouver que la somme d1d2 + d2d3 ... +dk-1 dk  divisée par n^2 ne peut pas atteindre 1. Sauf que ça ne marche pas (enfin je n'y arrive pas).

 #16 - 05-06-2011 16:05:11

Yanyan
Expert de Prise2Tete
Enigmes résolues : 29
Messages : 509
Lieu: Lille si j'y suis

inégalité et divideurs

C'est une idée qui marche avec la même astuce.
[TeX]d_1d_2+d_2d_3+...[/latex] divisé par [latex]n^2[/latex] revient à

calculer[latex]\frac{1}{d_kd_{k-1}}+\frac{1}{d_{k-1}d_{k-2}}+...[/TeX]
or [latex]d_i\geq i[/latex] donc [latex]\frac{1}{d_id_{i+1}} \leq \frac{1}{i(i+1)}[/latex] maintenant [latex]\frac{1}{i(i+1)}=\frac{1}{i}-\frac{1}{i+1}[/latex], quand tu fais la somme beaucoup de choses se simplifient, reste le premier terme moins le dernier soit [latex]1-\frac{1}{k}<1[/latex].

Voila.wink


Un mathématicien complet est topologiquement fermé!
 

Réponse rapide

Rédige ton message
| | | | Upload | Aide
:) :| :( :D :o ;) :/ :P :lol: :mad: :rolleyes: :cool:
Sécurité

Répondez à la devinette suivante : 

Le père de toto a trois fils : Pim, Pam et ?

Pied de page des forums

P2T basé sur PunBB
Screenshots par Robothumb

© Copyright 2002–2005 Rickard Andersson

Prise2Tete Forum Statistiques Liste des membres Hall of Fame Contact
© Prise2tete - Site d'énigmes et de réflexion.
Un jeu où seules la réflexion, la logique et la déduction permettent de trouver la solution.

Flux RSS de Prise2Tete Forum Jeux & Prise2Tete Test & Prise2Tete Partenariat et Publicité sur Prise2Tete