Conjecture de Goldbach et nombres premiers
Je propose de montrer que si la conjecture de Goldbach est vraie alors il y a toujours au moins 2 nombres premiers distincts dans l'intervalle [2n,4n] lorsque n > 1 et qu'ils sont symétriques de part et d'autre de 3n (et pas seulement au moins 1 comme démontré par Tchebychev)
Selon la conjecture de Goldbach, il est toujours possible de dire que tout nombre pair > 2 est la somme de deux premiers p et p'
Ainsi, il est toujours possible d'écrire p' + p = 2a quelque soit a un naturel > 1 et p' - p = 2r lorsque p et p' sont distincts où r est un entier naturel tel que 0 < r < a avec a > 1
Dès lors, lorsque p et p' sont distincts on a : p' = a + r et p = a - r c'est à dire que p' et p sont symétriques autour de a
A l'aide du théorème de Tchebychev posons de surcroit que : p < p' < 2p alors on a : 1 < p'/ p < 2 c'est une condition restrictive "ad hoc" qui a des conséquences sur p et p' et sur la relation qui les lie et que nous cherchons justement à caractériser.
Donc 1 < (a + r)/(a - r) < 2 soit a + r < 2a - 2r d'où 0 < r < a/3 théoriquement pour tout a > 3 car r ne peut pas être inférieur 1 lorsque p et p' sont distincts.
Cela signifie qu'il n'y a pas de p et p' distincts dont la somme 2a est inférieure ou égale à 6. Intéressons nous aux valeurs de a tels que a = 3n on obtient alors : 0 < r < n avec n > 1 pour que la condition a > 3 soit remplie.
Ainsi p' et p sont deux nombres premiers symétriques autour de a = 3n tels que p = 3n - r et p' = 3n + r avec 0 < r < n avec n > 1
Autrement dit, il existe toujours un couple de nombres premiers (p, p') symétriques autour de 3n quelque soit l'entier n > 1 tel que :
Ainsi, il y aurait donc bien au moins deux nombres premiers dans l'intervalle [2n, 4n] symétriques autour de 3n alors que le théorème de Tchebychev n'en garanti qu'un seul...
Emphyrio
Selon la conjecture de Goldbach, il est toujours possible de dire que tout nombre pair > 2 est la somme de deux premiers p et p'
Ainsi, il est toujours possible d'écrire p' + p = 2a quelque soit a un naturel > 1 et p' - p = 2r lorsque p et p' sont distincts où r est un entier naturel tel que 0 < r < a avec a > 1
Dès lors, lorsque p et p' sont distincts on a : p' = a + r et p = a - r c'est à dire que p' et p sont symétriques autour de a
A l'aide du théorème de Tchebychev posons de surcroit que : p < p' < 2p alors on a : 1 < p'/ p < 2 c'est une condition restrictive "ad hoc" qui a des conséquences sur p et p' et sur la relation qui les lie et que nous cherchons justement à caractériser.
Donc 1 < (a + r)/(a - r) < 2 soit a + r < 2a - 2r d'où 0 < r < a/3 théoriquement pour tout a > 3 car r ne peut pas être inférieur 1 lorsque p et p' sont distincts.
Cela signifie qu'il n'y a pas de p et p' distincts dont la somme 2a est inférieure ou égale à 6. Intéressons nous aux valeurs de a tels que a = 3n on obtient alors : 0 < r < n avec n > 1 pour que la condition a > 3 soit remplie.
Ainsi p' et p sont deux nombres premiers symétriques autour de a = 3n tels que p = 3n - r et p' = 3n + r avec 0 < r < n avec n > 1
Autrement dit, il existe toujours un couple de nombres premiers (p, p') symétriques autour de 3n quelque soit l'entier n > 1 tel que :
2n < p < 3n < p' < 4n
Ainsi, il y aurait donc bien au moins deux nombres premiers dans l'intervalle [2n, 4n] symétriques autour de 3n alors que le théorème de Tchebychev n'en garanti qu'un seul...
Emphyrio
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
1) Tu utilises la conjecture de Goldbach comme hypothèse. Donc ta conclusion est conjecturale, non ?
2) "A l'aide du théorème de Tchebychev posons de surcroit que : p < p' < 2p " Il ne parle d'ailleurs pas de p', que tu as défini précédemment, mais du fait qu'il existe un entier premier entre p et 2p. A partir de là, on ne sait plus ce que veut dire p' quand tu l'écris.
Dans ces conditions, la suite n'a plus d'intérêt.
Cordialement.
Le deuxième point est à discuter...
Je ne suis pas d'accord avec votre conclusion...d'ailleurs à moins de trouver un contre exemple à cette relation on peut tout aussi bien la considérer comme une conjecture au même titre que celle de Goldbach même lorsque comme vous on refuse ce raisonnement..
Emphyrio
tu ne fais pas la différence entre une preuve fausse et un travail sérieux, tant pis !
Quant au contre exemple, c'est tellement facile, par exemple avec a=17, p=3 et p'=31. Tu as bien p+p'=2a, p<p', mais pas p'<2p. Donc tu n'as même pas cherché à réfléchir ...
Quel dommage !!
Pour le reste de votre commentaire vous avec choisi un p' > 2p mais pourquoi donc ?? j'ai spécifiquement écris POSONS : p < p' < 2p c'est seulement en affirmant l'existence de ce p' que j'arrive à la relation précédente...
Bon, toujours des imitations de mathématiques, ce n'est pas sérieux, je laisse tomber ..
Fin.
N'essaye pas de réfuter ceci en modifiant 2 ou 3 trucs dans ta démonstration, tout est faux dans ta démonstration. Je suis juste allé au plus évident, pour éviter tout débat.
Tout nombre entier pair supérieur à 3 peut s’écrire comme la somme de deux nombres premiers.
Je propose néanmoins une autre approche du même problème :
Selon le théorème de Tchebychev quelque soit p premier, il existe au moins un autre premier p' tel que :
Dès lors : 2p < p'+ p < 3p
La somme de deux impairs est pair donc p + p' = 2a d'où 2p < 2a < 3p ainsi (2/3).a < p < a
Dès lors, il existe bien une valeur r telle que p = a - r avec 0 < r < (a/3) et donc puisque p' = a + r on a : a < p' < (4/3)a
Ainsi : (2/3)a < p < a < p' < (4/3)a
Or tous les premiers sont de la forme 6n +/- 1 dès lors, il existe bien une valeur minimale r telle p = 6k - r où a = 6k compte tenu de ce qui précède r < (6k)/3 = 2k
Ainsi puisque p + p' = 2a = 12k alors p = 6k - r et p' = 6k + r avec 0 < r < 2k c'est à dire : 4k < p < 6k < p' < 8k quelque soit k > 0
Emphyrio
Et après ?
Ce que j'ai cité me semble correct.
La suite me semble être du n'importe quoi.
Si on prend $p=7$ on peut prendre $p'=13<2\times 7$
$7+13=20$ donc $a=10$ mais $a$ n'est pas divisible par $6$.
On a $p<p'<2p$
On prend à nouveau $p=7,p'=13<2\times p=14$
entre $7$ et $13$ il n'y a qu'un seul multiple de $6$ c'est $12$ donc $k=2$
mais $4k=8$, $p=7$ n'est pas supérieur à cette valeur.
Rappel p et p' sont symétriques autour de 6k tels que p = 6k - r et p' = 6k + r ce n'est pas le cas avec 7 et 13 mais dans l'intervalle 7 < p' < 14 vous avez aussi 11 cette fois 7 + 11 = 18 et k = 3 et alors on vérifie : 6 < p < 9 < p' < 12
Vous allez dire que ce n'est pas conforme à la relation 4k < p' < 6k < p < 8k avec k > 1 en fait si car je me suis intéressé aux seuls a = 6n visiblement à tort...
Rappel dans la relation : (2/3)a < p < a < p' < (4/3)a tous les a = 3n peuvent convenir mais pour que p et p' soient distincts il faut que (a/3) > 1 ainsi quand a = 3n on obtient : 2n < p < 3n < p' < 4n avec n >1
Ce qui tend à montrer qu'il existe toujours au moins un couple de premiers symétriques dans tout intervalle [2n, 4n] avec n > 1
La relation précédente devient un cas particulier lorsque a est pair c'est à dire : a = 6k soit 4k < p < 6k < p' < 8k avec k > 1
L'exemple donné plus haut $p=7,p'=13,p+p'=13+7=2\times 10$ mais $10$ n'est pas plus divisible par $6$ que par $3$.
Quand on additionne deux nombres premiers impairs $p,p'$ leur somme est bien paire mais a priori on ne sait rien des diviseurs de $a=(p+p')/2$ contrairement à ce que tu prétends.
PS:
Entre $3$ et $3\times 2=6$ il y a un seul nombre premier $5$ mais entre $3$ et $5$ il n'y a aucun autre multiple de $3$ (autre que $3$ lui même).
Il suffit que cela marche avec au moins l'un des p' possibles à nul moment j'ai écrit que cela marchait avec tous les p' possibles...
Oui j'ai déjà convenu que cela ne marche pas avec 6 car il faut que p' et p soient distincts et puisque (2/3)a < p < a < p' < (4/3)a
Cela implique (a/3) > 1 et donc a > 3 soit p + p' > 6 ainsi la relation : 2k < p < 3k < p' < 4k vaut pour k > 1.
Tu ne veux pas comprendre que tu ne peux pas changer le $a$ et affirmer qu'il est un multiple de $3$ ou d'autre chose.
Ton $a$ est le quotient qui vaut $(p+p')/2$. C'est ça qui le définit.
A priori, $a$ peut être multiple de n'importe quoi mais on n'en sait rien avec les conditions sur $p,p'$ que tu te donnes.
n'importe quoi oui et justement je fais l'hypothèse que parmi tous les p' tels que p < p' < 2p, il y en a toujours au moins un tel que : p + p' = 3n avec n > 2
Si cette condition est vraie elle a pour conséquence : 2n < p < 3n < p' < 4n pour n > 1
Si cela vous gène tant que cela de dire a =3n alors gardons la relation telle que : (2/3)a < p < a < p' < (4/3)a et puisque a peut être n'importe quoi disons alors que cette relation est vraie pour tout a > 8 pour que p et p' soient distincts.
Dès lors écrivons qu'il existe toujours au moins deux premiers dans l'intervalle [2/3a, 4/3a] pour tout a > 8
Alors la conclusion n'est vraie que lorsque cette hypothèse est vraie.
Rédigé par quelqu'un qui n'y connait rien en maths, c'est du pur baratin d'incompétent.
Rédigé par quelqu'un qui sait ce que sont les maths, c'est une tricherie caractérisée (je rajoute à chaque contestation une hypothèse correctrice ad-hoc qui n'y était pas au départ, mais je garde la même conclusion).
Rappel : " j'ai spécifiquement écris POSONS : p < p' < 2p c'est seulement en affirmant l'existence de ce p' que j'arrive à la relation précédente..."
Entre $p$ et $2p$ il y a bien un nombre premier, ce nombre premier est au moins égal à $p+2$ ($p+1$ est un multiple de $2$ différent de $2$). Si $p+2$ est premier alors $p+1$ est divisible par $3$.
Si je vois bien on a bien donc qu'il existe $n$ entier tel que $p<3n<p'<2p$ pour $p$ premier >3
MAIS: on n'a pas en général que $3n=p+p'$
Exemple: $p=11, p'=17$
On a bien $11<3\times 4<17<22$ mais $p+p'=11+17=28\neq 12$.
Si j'ai bien compris, mais j'ai des gros doute, tu dis :
Considérons que la conjecture de Goldbach est vraie (et donc que tout entier pair peut s'écrire comme somme de 2 nombres premiers), considérons que cette conjecture est démontrée.
On va démontrer que si n est pair, alors dans l'intervalle [2n,4n], il y a au moins 2 nombres premiers distincts (et pas seulement 1 comme énoncé par Tchebychev)
Oui c'est une condition restrictive j'impose à p et p' de respecter à la fois le théorème de Tchebychev tel que p < p' < 2p et la conjecture de Goldbach alors cela entraine une conséquence sur p et p' à savoir : 2n < p < 3n < p' < 4n pour tout n > 1 voilà tout ! aucune fraude ni incompétence là dedans puisque tout est explicite !
https://la-conjugaison.nouvelobs.com/du/verbe/faire.php
Il en va de même pour la relation (2/3)a < p < a < p' < (4/3)a avec a > 8
Non le théoreme de Tchebychev tient toujours , il existe bien au moins 1 premier dans ]2n ,4n[ par contre on peut déduire qu'il existe au moins 2 premiers dans ]n ,4n[ : autrement dit il existe au moins 1 dans ]n,2n[ + au moins 1 dans ]2n ,4n[.
@Empyrio : ce que vous essayez de montrer à ce beau monde est :
T.Tchebytchev (vrai) ==> C.Goldbach vraie, il vous reste maintenant à démontrer :
C.Goldbach vraie ==> T.Tchebytchev (vrai)
chose que j'avais présenté en 2017 dans : https://vixra.org/pdf/1507.0196vG.pdf
sans qu'on aille dans le vif du sujet, j'ai supporté des réponses du genre
* ==> = implication
BERKOUK
> Bonjour
>
>
et bien pour $n = 5 $ je donne un nombre premier $P = 7$ et un autre $q = 11$
or : $4n = 20$ , T.Tchebytchev (vrai) mais C.Goldbach Faux...? ou j'ai mal compris...?
ce n'est surement pas, par ce qu'il existerait un nombre premier dans ces deux intervalles que l'on risque de prouver que la conjecture de Goldbach est vraie...Le contraire si c'était le cas : c'est à dire qu'il existerait un entier n, tel qu'entre 2n et 4n il n'existerait qu'un nombre premier q , voir 2, et même 3 pour être large...
il y a de grande chance que la conjecture serait tombée et déclarée fausse à 99,999999....% ! non...?
Si n = 5 vous devez chercher p et q dans l'intervalle [10, 20] avec p et q symétriques autour de 3*5 = 15 soit p= 13 et q = 17
on a bien p + q = 30 et 1 < p/q= 17/13 < 2
On remarquera que 11 et 19 conviennent aussi.
En lisant votre étude, je pense à ceci concernant vos (u, v) :
Quels que soient les naturels u et v entiers la relation : (u2 - v2)2 + (2uv)2 = (u2 + v2)2 est toujours vraie !
Considérons tous les nombres premiers p de la forme 6m +/- 1 tels que : p2 + x2 = y2
Par identification on a : p = (u2 - v2) et x = 2uv et y = u2 + v2
Si p est premier il est donc de la forme 6m +/- 1 et p = (v - u)( v + u) cela impose v - u = 1 et (u + v ) = 6m +/- 1
Soit v = u + 1 alors v + u = p = 2u + 1 dès lors u = 3n et v = 3n +/- 1
x = 2uv et y = u2 + v2 = 2uv + 1
A partir de p2 + x2 = y2 on isole p2= (y + x)(y - x)
D'où : p2 = x + y et y - x = 1 avec p2 = 24k + 1 pour tout premier p > 3
Ainsi : x = (p2 -1)/2 et y =(p2 + 1)/2 et donc x = 12k et y = 12k +1
Rappel x = 2uv et x = 12k alors on déduit : uv = 6k = u(u+1) et (u + v) = p = 6m +/- 1
Ainsi quelque soit le premier p alors u et v sont tels que : uv - (u + v) = 6k - 6m +/- 1 = 6(k - m) +/- 1 avec v = u + 1
> @LEG
je ne dis pas le contraire, mais dire qu'il existe au moins 1 nombre premier dans les deux intervalles cité plus , ne veut pas qu'il vérifie la conjecture , avec l'exemple cité...D'ailleurs heureusement qu'il n'existe pas un tel entier n, tel qu'entre n et 2 il n'y ait qu'un nombre premier , ou 2 et même voir 3...!
sachant que la conjecture a été vérifiée jusqu'à la limite : $2N = 4*10^{18}$ ...
On sait que p < N = 2347 a vérifié la conjecture pour $2N = (4*10^{18}) - 30 + 4$
Question comment tu ferais pour affirmer: qu'elle est donc vraie pour la limite : 2N + 4 ????
Mais si vous êtes d'accord sur le fait que p + p' = 2a pour tout a > 8 est vraie alors ajouter la condition 1 < p'/p < 2 implique des conséquences qui doivent être vraies et vérifiables pour tout a > 8.
Soit : p' + p = 2a avec a > 8 et 1 < p'/p < 2 cela donne :
Si : p < p' < 2p alors 2p < p' + p < 3p et donc :
(2/3)a < p < a et puisque p + p' = 2a alors a < p' < (4/3)a
Ainsi; si les deux hypothèses de bases sont vraies simultanément alors on a toujours au moins un couple de nombres premiers p et p' symétriques dans l'intervalle : quand a > 8.
Si c'est vrai pour tout a alors on peut s'intéresser à des a spécifiques tels a = 3n avec n > 2 alors on obtient
aprés avoir bien suivi le raisonnement , et pour avancer :
"pour tout n appartenant à N*privé de 1 , il existe (p,p') / p et p' symetriques par rapport à 3n , p et p' appartenant à ]2n,4n["
démontré par Emphyrio , par extention du théoreme de Tchebytchev à l' éxistence d'au moins 2 premiers dans l'interval ]2n,4n[ au lieu d'un seul .
ce qui reste vrai méme au delà de N= 4.10^18 ..
comme la proposition de Emphyrio est définit dans N*\ de 1 reste évidemment vraie pour l'ensemble des entiers positfs pairs d'ou la conclusion historique finale :
T.Tchebytchev ==> C.Goldbach vraie
qu'en pensez -vous
BERKOUK
Félicitations
Si la conjecture de Goldbach était aussi facile à démontrer, elle ne serait plus une conjecture depuis longtemps, et on en aurait entendu parler !
@Math coss : P(n-1), P(n) et P(n+1) trois premiers qui se suivent
soit la proposition vraie A=" P(n) < 2.P(n-1) " vérifieé vraie par le théorème de Tchebychev ( P(n-1) < P(n) < 2.P(n-1) )
soit B =" C.Goldbach "
soit la proposition "A vraie ==> B vraie " : vérifieé également vraie par ma fameuse démonstration (1) ..." Donc B est vraie ( cette fois çi je suis parti de 1=1 )
(1) : qui consiste à ne point trouver de contre exemple à la C.Goldbach que si P(n) < 2.P(n-1)
A vraie et (A ==> vraie Donc B est vraie
compte tenue du distinguo entre le réel et le virtuel , je pense que l'intervention de Noobey est la plus proche de l'Histoire.
bonne nuit .
BERKOUK
Une lettre qui change, et ça change tout, un peu comme en mathématiques.
1) Conjecture de Hodge
2) Résolution par radicaux
3) Goldbach (carrément deux preuves !)
4) Syracuse
5) j'ai perdu le fil...
J'attends avec impatiente ce qui va suivre... hypothèse de Riemann ?
@BERKOUK2 pourquoi sur Wikipedia https://fr.wikipedia.org/wiki/Conjecture_de_Goldbach on peut lire que la conjecture de Goldbach est non démontrée ?
C'est une vraie question !
Tu vas déclencher une "guerre d'édition" sur Wikipedia. :-D
Tous ceux qui croient avoir une preuve d'une conjecture mathématique vont se mettre à modifier les pages de Wikipedia en rajoutant un pointeur vers leur article qui contient leur "preuve". B-)
parceque , Helas, le mot "Wikipedia" est pris entre le mot "fr." qui sent l'escroquerie , l'impérialisme seculaire , et , le mot "org" qui organise tout ça . moi je préfere garder mes oeuvres académiques ( encore 2 mots sacrés ) dans un server US de l'autre coté de l'atlantique .
merci de votre proposition, ne sous-estimez pas l'Afrique , le 21 eme siecle sera Afriquain , n' en deplaise à Fin de partie.
@Math coss : j'attend avec plaisir ta réponse mathématique à propos de ma déduction faite il ya 12 heures , si ça vous dit...
revenons à Emphyrio.
BERKOUK
désolé AD, étant au Québec je me suis réinscrit avec le pseudo de l'adresse mail de ma fille, car avec mon pseudo leg, impossible de me connecter hier.
Bon je vois que ma petite limite N, n'a pas eu de réponse ; alors qu'il ne s'agit que d'utiliser les congruences et bien entendu mon "algorithme" qui permet d'utiliser sa propriété.
Algorithme qui m'a permis d'affirmer que le nombre de nombres premiers entre N et 2N vaut $\frac{N}{\log 2N}$ ; mais il est vrai,que ce n'est qu'une conséquence directe du TNP, montré sur ce forum par Poirot ...
Alors que l'on dise que l'on peut vérifier qu'il y aura toujours deux nombres premiers symétriques ... etc. bien sûr, mais il s'agit de prouver que quelque soit N >6, il existe bien toujours un couple $p + q = 2N$.
Et non pas de dire que l'on peut vérifier qu'il y a des nombres premiers symétriques autour de N, en utilisant le théorème de Tchebychev... qui n'affirme rien au sujet de cette conjecture.
Avec l'exemple que j'ai indiqué quel est donc ce couple qui vérifie la nouvelle limite $4*10^{18} + 2$.
Si un nombre premier P < N ; exemple 2347, vérifie la conjecture il est clair que ce nombre est $\not\equiv{2N}[P_i]$ ... NON ???
Si on ne veut utiliser que les nombres premiers dans des familles arithmétiques de raison 30, de premier terme 1 ou P appartenant à $[7 ; N]$ je n'ai nul besoin de m'occuper de savoir s'il y en a des milliards ou pas ... dans les intervalles cités...
Par conséquent, 2347 rempli bien la condition de cette congruence ... !
Qu'est-ce que l'on a besoin de savoir, pour vérifier la limite indiquée ?
Et bien connaître la propriété de l'algorithme éventuellement. Car le nombre premier q complémentaire à P = 2347, il ne va pas disparaître par miracle, ni parce qu'il s'agit de fonction asymptotique qui estime le nombre de nombres premiers ...
Puisque l'on sait que la conjecture est vraie jusqu'à 2N - 2, et qu'elle est donc vraie pour 2N - 30 + 2, avec 2347, sachant que si on décale la limite N = 15 (k+1) + 1 ; donc de 15 et en utilisant cette famille 7[30]. Quel est le nombre qui est consécutif à P = 2347... ? Car il faut bien que la congruence se décale de 30, ... Non ?
Bonne suite et bonne réflexion sur la solution de cette conjecture, qui utilise les congruences ... !
Pour info je peux aussi aller à $10^{25}$.
Cordialement.
Une démonstration, c'est une démonstration. Et une certitude, c'est autre chose. Il ne faut pas confondre les 2. Ou alors, il faut dire que les mots ont des sens variables, mais là, on entre dans une autre dimension !
Quelle mouche t'a piqué ?
Tout ça ne résout pas le problème de Emphyrio. Un paquet de membres du forum qui n'ont plus à faire leurs preuves ont démonté son truc, y a un random qui débarque pour raconter des conneries qui vont dans son sens alors il ne s'accroche qu'à celui-là au lieu de réfléchir à ce que tous les autres lui ont dit.
Mes amis, je choisis de donner un nom à ça : le réflexe Pablovien !
Ce réflexe se déclenche sur un shtameur dès qu'il entend le son de la voix d'un de ses congénères. Il a pour conséquence une production massive de démonstrations, de conjectures et d'hypothèses diverses.
Raison pour laquelle on essaie, autant que faire se peut, de séparer le plus possible les shtameurs en les maintenant sous vide (autrement il n'y aurait plus rien à démontrer pour les autres...).(:P)
Oh mais on dirait qu'on s'amuse bien par ici ! J'ai tendance à ne pas suivre les discussions Shtam car je me dis que ça n'a pas d'intérêt. Mais quand @raoul.S s'y met c'est bon signe en général. Ça veut dire que les choses deviennent croustillantes. Alors, je passe voir ce que j'ai raté. Je suis rarement déçu. (:D
@lourrran : Bien trouvé le jeu de mot entre fameux et fumeux. (tu)
Tiens juste pour que tu puisses te rendre compte du contraste entre cette section et les autres : rend-toi compte que dans la section "Fondements et Logique" on discute encore de la non-définition de $\mathbb{N}$ pendant que Berkouk & Co redémontrent Goldbach.