Démonstration de la conjecture forte de Goldbach-Euler

Soyez le premier à donner votre avis sur cette source.

Vue 3 777 fois - Téléchargée 1 195 fois

Description

Rappel : Pour répondre à Golbach, Euler lui écrit en 1742 «Tout nombre Pair est somme de deux nombres premiers » (en 1742 le chiffre 1 était considéré comme étant un nombre premier)

On sait aussi que cette conjecture a été vérifiée par ordinateur pour tous les nombres pairs inférieurs à 4 x 10^18, donc ne restait plus qu'à trouver une méthode pour prouver qu'elle est vraie pour tous nombres qui dépassent les capacité d'un ordinateur.

La théorie à la base de la démonstration est logée dans :
- le fichier Goldbach_Euler_Résumé_Démo_GG.pdf
- le pdf Goldbach_Euler_Démo_Tableaux_GG.pdf qui est la démonstration complète détaillée sur 12 pages.
- et le pdf Goldbach_Euler_Symétries_KR.pdf a été rédigé par notre ami Rekin85 qui conclut qu'il sera impossible de démonter que la conjecture est fausse, et qui a eu la gentillesse de m'autoriser à le publier.

Ces fichiers sont téléchargeables indépendamment du code

Vous pouvez aussi jeter coup d'oeil sur la vidéo logée ici : https://www.youtube.com/watch?v=FXBIFsJifGA

Le logiciel quant à lui sert principalement à confirmer que la théorie « colle » exactement à la réalité des comptages informatiques car la démonstration aboutit à une formule mathématique très simple qui donne la quantité exacte de fois que la conjecture est réalisée pour un Pair donné, par la somme de deux Premiers de forme 6k ± 1. Comme en plus pour les grands nombres Pairs cette quantité est toujours supérieure à l'unité, la véracité de la conjecture se trouve donc confirmée par une surabondance de cas qui la réalisent, alors qu'il aurait suffi qu'elle ne soit vérifiée que par un seul et unique cas pour chacun des Pairs.

Certaines options du main-menu utilisent la bibliothèque NewGint (également de Rekin85) utilisable pour effectuer des calculs avec des Pairs supérieurs à 4 x 10^18, mais attention plus un Pair est énorme, plus la quantité des tests de primalité est élevée, et plus les durées d'exécution deviennent importantes ... mais tous les claviers ont une touche Echap et FIN.

La bibliothèque NewGint ci-jointe est la copie de celle téléchargeable ici : http://codes-sources.commentcamarche.net/source/53855-deux-bibliotheques-pour-calculer-avec-des-entiers-tres-grands.

Pour les curieux peu familiraisés avec l'utilisation de cette bibliothèque les 3 options B, C, et D, sont codées avec les routines standard de Delphi et effectuent les mêmes calculs que les options H, I et J qui utilisent la NewGint.

------
La mise à jour du 23/01/2018 de la version initiale du 08/05/2017 porte uniquement sur la correction de l'affichage du libellé du résulat QCok du Menu E


Codes Sources

A voir également

Ajouter un commentaire

Commentaires

cs_pseudo3
Messages postés
270
Date d'inscription
mardi 24 juillet 2007
Statut
Membre
Dernière intervention
7 juin 2018

Bonjour,

La mise à jour du 06/05/2017 porte sur :
- la correction de l'affichage d'une des lignes des résultats affichés quand on utilise les menus B, C, H et I : la ligne qui affichait QCok calculé = QGP + QPP + Q2C = 67 + 166 + 135 = 36 lorsque Pair P = 2000. Le résultat 36 est exact mais le libellé qui le précède est incomplet car il y manque - NLig
Le libellé corrigé est donc QCok calculé = QGP + QPP + Q2C - NLig = 67 + 166 + 135 - 332 = 36
- et j'en ai profité pour faire quelques retouches mineures dans les *.pdf

A+.
cs_pseudo3
Messages postés
270
Date d'inscription
mardi 24 juillet 2007
Statut
Membre
Dernière intervention
7 juin 2018

Bonjour,

Désolé je viens d'essayer une mise à jour en remplaçant l'ancien *.ZIP par un nouveau mais la box "Télécharger le projet" se trouve vidée de tout contenu alors que le nouveau *.ZIP contient 14 fichiers totalisant 48845 Ko.

Donc, il est provisoirement impossible de télécharger quoi que ce ce soit en attendant de trouver la solution à ce problème.

Cordialement et à +.
cs_pseudo3
Messages postés
270
Date d'inscription
mardi 24 juillet 2007
Statut
Membre
Dernière intervention
7 juin 2018
> cs_pseudo3
Messages postés
270
Date d'inscription
mardi 24 juillet 2007
Statut
Membre
Dernière intervention
7 juin 2018

Problème réglé en ayant remplaçé le fichier *.mp4 trop volumineux par un *.pdf
Cirec
Messages postés
3809
Date d'inscription
vendredi 23 juillet 2004
Statut
Modérateur
Dernière intervention
25 janvier 2020
35 > cs_pseudo3
Messages postés
270
Date d'inscription
mardi 24 juillet 2007
Statut
Membre
Dernière intervention
7 juin 2018

Bonjour,

Problème réglé en ayant remplaçé le fichier *.mp4 trop volumineux par un *.pdf

d'abords merci pour le partage de cet excellent code

dans un premier temps j'ai téléchargé le zip et "bizarrement" il contient bien le mp4 !
ensuite j'ai été sur l'autre site (dvp) et j'ai téléchargé le même zip ^^
et comme les fichiers sont plus récents j'ai tenté l'upload pour toi et tout c'est bien passé !?


Donc si tu pouvais contrôler le zip pour voir si tout est en ordre, si ça te convient sinon je remets l'ancien ;)

Cordialement;
@+
cs_pseudo3
Messages postés
270
Date d'inscription
mardi 24 juillet 2007
Statut
Membre
Dernière intervention
7 juin 2018
> Cirec
Messages postés
3809
Date d'inscription
vendredi 23 juillet 2004
Statut
Modérateur
Dernière intervention
25 janvier 2020

Bonjour Cirec,

Tu peux conserver l'ancien mp4 qui était moins volumineux.
Par contre je viens de faire une mise à jour aujourd'hui le 20/04/2017 dans laquelle :
- le gros mp4 est remplacé par un *.pdf
- et dans le code lui-même j'ai corrigé un petit bug car les menus M et N qui donnent la liste des couples de premiers qui réalisent la conjecture l'un à partir des plus proches de Pair/2 et l'autre à partir des plus écartés n'affichaient pas la même quantité de couples.

Cordialement et à +.
Afficher les 9 commentaires

Vous n'êtes pas encore membre ?

inscrivez-vous, c'est gratuit et ça prend moins d'une minute !

Les membres obtiennent plus de réponses que les utilisateurs anonymes.

Le fait d'être membre vous permet d'avoir un suivi détaillé de vos demandes et codes sources.

Le fait d'être membre vous permet d'avoir des options supplémentaires.