注释

«Contreexemples»费马特文件

公共图书馆2016年3月25日|11条评论

辛普森费马安德鲁·怀尔斯维恩特·德雷姆波特阿贝尔奖倾盆大雨费马大教堂quidit qu’il n’existe pas de solution de l’équation方程a^n个+b条^n个=c^n个倒入a、b、c、n个实体，n>2。浇注剂<mauvaise foi=on>:

ila en réalité«seulement»démontréun cas particulier du模块化技术（根据Shimura-Taniyama-Weil的上诉推测）不要接受费马总统的指示
1995年Andrew Wiles发表的《Quleques semanes après la publication des quelques》100页的《Andrew Wiles en 1995》[1]，《Homer Simpson se promène nonchalamment et en 3D devant un contre example:1782¹²+1841¹²=1922¹[2]》

Cetteégalitéest到期大卫·X·科恩，matheux等人塞里·普莱恩·德雷弗伦塞斯（série pleine de références）的科学研究.Si on la vérifie surune计算标准，on trouve que terme de gauche vaut 2.541210259e+39 et que celui de droite vaut…2.5412102559e+39！这是费马大教堂的一个例子，还有安德鲁·怀尔斯的教堂！ <mauvaise foi=关闭>

Mais en fait non公司：

Avec plus de décimales ou Python，on voit que terme de gauche vaut 25412102586145891762886699581428526657 et celui de droite 254120259314801410819278649643651567616。地址：700212234530608691501223040959^-10pourêtre précis），这是一个计算出9个有意义的数字的通行证的计算方法，在32位的基础上，这些数字被认为是可比较的。
quatre grands problèmes scientifiques résolus sur un seul tableau！

En y regardant de plus près，关于voit tout de suite que l’égalitéest fausse car comme 1782 est pair，1782¹²l’est aussi et comme 1841¹²）est immediate pur les me rains，la somme 782¹2+1841¹。或1922¹²est对…

通知cette dernière反对意见，David X.Cohen a fait appeara悺tre dans un autreépisode[3]le tableau noir suivant，sur lequel se trouve un autre faux control example:3987¹²+4365¹²=4472¹²。良心教授内尔，不是吗*

Cette fois l’gegalitépropos e e respecte la parité，et est“moins fausse”que la précédente puisque la différence ne représente que 1.89 10^-11des termes公司。

Jeme suis alors posétrois问题：

你是一个很好的例子吗？
你是大卫·X·科恩利用力量12的典型代表吗？
peut-on-en-trouver quisont-encore-moins人造que 1.89 10^-11?

J'ai doncécrit un先生小程序Python**qui génère les三胞胎（a，b，c）tels que a^n个+b条^n个=c^n个正好10^-9près，en balayant les nombres a et b entre 100 et 10’000 et incrémentant nápartir de 3。Ce项目的最新产品是pouvoir répondre设施问题1：oui，ily a des centaines de faux contrace-examples de la qualite de ceux des Simpson pour chaque p et 100<a，b<100'000。

Le plus petit faux contre示例剧团女主角une difference inférieureá10^-9预计1295³ + 216³ = 1297³.La différence entre les deux termes 2181825071 et 21818250.73 n'est que de 2！

Celui ayant la précision相对la plusélevée est48767⁴+ 24576⁴= 49535⁴Le'erreur relative n’est que de 5.1 10（勒鲁相对时间）^-16因此，它只需要双倍的fois加上64位位的计算公式计算公式的缩写。

A la puissance 5，le record de precision est 84385（权力5，公共决策记录）⁵+ 83452⁵= 96403⁵(à 5.67 10^-15près），接踵而至的是《公约》（la précision des contre-examples les moins faux redimue lentement quand la puissance augmente）。19311年12月的强大¹² + 18821¹²= 20218¹²(1.95 10^-12)大卫·X·科恩（David X.Cohen）最有可能是4只小鸡的名字。Mais je n'ai rien remarquéde particulier pour n=12

对了，安德鲁，99.99%的人口将被视为一个奇迹[1]，因为这是一个20年来最前卫的世界杯。让我加入大卫和荷马的行列吧，真是太棒了！

笔记：

*laderniere ligne du tableau concernement la topologie（et non，un donut n’est pas isomorpheáune sphère），mais quelqu'un sait-iláquoi通讯员les lignes 1 et 3？Je doute que Cohen等一系列零部分方程式…

**pourquoi Python？进入餐厅算术多重决策《透明的法索恩》：《社会新闻报》（rien de spécialáfaire pour manipuler des nombresénormes）。

法国

[altmetric doi=»10.2307/2118559〃float=»right»]安德鲁·怀尔斯。《模椭圆曲线和费马最后定理》，1995年，《数学年鉴》142（3）：443–551doi:10.2307/2118559. (PDF文本版本)
序列«霍默³»丹斯«Les Simpson特殊万圣节VI»，e pisode 6 saison 71995年
《荷马的德尼埃发明》，Les Simpsonépisode 2 saison 10，1998年
视频«荷马·辛普森vs皮埃尔·德·费马»de Numberphile sur ce sujet（英语）

自由放任

该场地利用Akismet进行室内设计。En savoir plus sur comment les données de vos commentaires sont utiliées（恩萨维尔附加评论）.

11条评论”«Contreexemples»费马特文件”

11条评论

博客作者
2016年3月25日， 21小时42分钟

事实上，在快速发展的过程中，3987个工作区+4365个工作区=4472个工作区，因此受到了尊重。倒入cela，il后缀de-regarder cetteégalitémodulo 3。Pour calculer le reste modulo 3 d'un nombre，il suffit de trouver le reste de la somme de ses chiffres计算程序：

3987=3+9+8+7=0+0+2+1=3=0修改（3）
4365=4+3+6+5=1+0+0+2=3=0 mod（3）
4472=4+4+7+2=1+1+1+2=5=2模（3）

Donc，sil’égalité3987¹²+4365¹²=4472¹était vraie，aurait 0¹²+0¹2=2¹³mod（3）。Comme 2=-1 mod（3），aurait上0=（-1）¹²mod（三）c'最可怕0=1 mod（三）！

Donc，pour rebonder sur l’article，sur le me principle que les programmes que vous avezécrit，on pourrait’s muserácrire un programme qui，pourt tout n>2，trouve le petit control example qui respecte a la fois la parité，l’egalitémodulo 3，et qui soit tel que l’egalitéx^n+y^n=z^n soit vraieáune certaine precision donéeál’avance！

（公平地说，关于2或3名候选人的提名…）

博客作者

雷蓬德雷
- Goulu博士
  4艾薇儿2016， 14小时19分钟
  
  边呜！J'ai modifiémon代码https://gist.github.com/goulu/e92cd35c23c921e55c16将一个外部光学元件倒入验证模块ce qu’on veut。Malheureusement ce filtre supplyémentaire est trésévère：en-vérifiant moduleo 2,3 et 5，je n'obtiens qu'un seul résultat meilleur que 10^-10（en-me limitantádes，b de 4 chiffres pour aller assez vite…）：9860^7+5483^7=9883^7（3.71792865109e-11）
  
  et celui quim’intrigue le plus est 2047^4+512^4=2049^4（9.29505804355e-10）tanta，b，c sont proches de puissances de 2。
  
  Jene说，最有可能的解决方案是“确定的决策”。关于devrait pouvoir faire收敛器cette précision vers 0和obtenir un vrai control示例，非？sommes sur“hyperprécises”du type a^n+b^n=a^n quand a est beaucopus加上grand que b，mais l'“égalit”n'est pas trues concainante…
  
  En fait il faudrait surtout trouver une méthode加上efficice pour générer ces三联体（a，b，c）que le balayage des a，b et test。Quelque选择了du me流派que laBerggren pour les triplets pytagoriciens的方法…Sinon faudrait que je me mette aux courbes省略…
  
  雷蓬德雷
  - 博客
    9艾薇儿2016， 15小时03分钟
    
    J'ai sans doute une explication pour“l’égalit”2047^4+512^4=2049^4相当有趣。戴勒尔，关于“普勒拉建筑风格”的《范例》（purra construire autant D’examples de ce type que l’on veut comme vous allez le voir）……（例如，关于一个32767^4+4096^4=32769^4）。
    
    事实上，（X+1）^4=（X-1）^4+8X^3+8X c'est-dire（X+1
    
    关于voit que si X est un nombre grand，alors X^2+1 est proche de X^2，ce qui donne近似值
    
    （X+1）^4=（X-1）^4+8X*X^2
    
    堂：
    
    （X+1）^4=（X-1）^4+8X^3
    
    （总的来说，在一辆négligé8X上。Souvenons-nous en pour加上慢速……）
    
    En prenant X=2^n，另一方面：
    
    （2^n+1）^4=（2^n-1）^4+8*2^（3n）
    
    收件人：
    
    （2^n+1）^4=（2^n-1）^4+2^（3n+3）
    
    （关于voit que la présence du 8=2 ^3 aétéutile ici pour tout mettre avec des puissances de 2）。
    
    这是一场派对，在第二阶段（3n+3）sous-la-forme d'une puissance 4ème，这是一个巨大的挑战。Un peu d’arithmétiqueélémentaire nous dit que sont tous les nombres n de la forme 4k+3（k entier），donc n=3，7，11…
    
    Mais si n=4k+3 alors在a上：
    
    （2^n+1）^4=（2^n-1）^4+2^（12k+12）
    
    收件人：
    
    （2^n+1）^4=（2^n-1）^4+（2^（3k+3））^4
    
    ce qui donne une infiniteéd’examples en prenant n’importe quelle valeur de k！Par示例，pour k=2（donc n=4k+3=4*2+3=11），关于retrouve l’egalitéque vous donnez dans l’article：
    
    （2^11+1）^4=（2^11-1）^4+（2^9）^4最可怕的：2049^4=2047^4+（512）^4
    
    奖金：在peut méme estimer l’erreur commisse en function de n.Pour cela，il faut se纪念品que le terme négligeétait 8X=8*2^n=2^（n+3）
    
    L’errour相对误差商：
    
    2^（n+3）/（2^n+1）^4）
    
    Cette suite趋向于clairement vers 0（elle estéequivalenteá2^（-3n-3）…），donc on peut obtenir une«égalit»de Fermat avec une precision aussi grand-que l'on veut！（mais cela dit，cela ne permettra pas d’obtenir un control example car ils'agit seulement d'une limite…de toute façon，on n'aura jamais de control exemple parce que Wiles a prouvéqu n'en existe pas）🙂 )
    
    例如，si-vous souhaitez uneégalit de Fermat avec une erreur relative de 10^（-50）（pourquoi pas，soyons fous！），alors il suffit de prendre n de la forme 4k+3电话：2^（-3n-3）<=10^（-50）。Un peu de对数(http://www.wolframalpha.com/input/？i=2%5E（n%2B3）%2F（（2%5En+%2B1）%5E4）+%3C%3D+10%5E（-50）)voit que n=59方便（et donc k=14，car 59=4*14+3），方便：
    
    a=2^59+1=5764607523034289
    
    b=2^59–1=5764607523034287
    
    c=2^45=35184372088832
    
    在a^4=b^4+c^4上，相对误差为4,17 x 10^（-53）。正常，不是吗？
    
    事实上，关于pourrait faire un raisionment similaire avec，au lie de la puissance quatrième，une puissance de la forme 2^m…ce qui donnerait des re sultats avec une précision encore加上grand-puisque la conversion serait encore再加上rapide！（je ne rentre pas dans les calculs，mais par example，pour avoir une galitédu type a^32=b^32+c^32，il suffrait de remarquer que（X+1）^32=（X-1）^32+64X^31+……（termes a négliger）et d’adapter le rainstonment prédent…）
    
    雷蓬德雷
Lé（科学4All）
2016年3月25日， 16小时23分钟

别结婚了！我要把“19311-12+18821-12=20218-12”这句话拼成“qu'Il y y a une type dans les exposants de la”…
Sinon jeéfère la dernière ligne du tableau，堪称庞加莱猜想中的“胡梅里安”😛

雷蓬德雷
- Goulu博士
  2016年3月25日， 17小时58分钟
  
  谢谢你！2003年格里戈里·佩雷尔曼（Grigori Perelman de 2003）的《J'ai corrigéla typeo et bien notéqu’Homer infermeégalement sur ce tableau la démonstration》。（C’est peut-átre pourça qu'ila refusséson du milénaire大奖赛😉 ) 你认为这是什么？
  
  顺便，merci aussiá@quark67 quim’a signalésur Twitter que la première equation concerne la masse du boson de Higgs，détermine e par Homer 14 and avant le CERNE comme precise cet文章：http://www.tomsguide.fr/actualite/homer-simpson-boson-higgs-blague，46762.html
  Et comme leur image du tableau est meilleure que la mienne，je la leur pique au passage！
  
  雷蓬德雷
  - Goulu博士
    2016年3月25日， 18小时54分钟
    
    《J’ai mal compris Léquiétait pourtant très clair:c'est la dernière ligne du tableau，celle du donut qui se transforme en sphère qui concerne la consugustructure de Poincaré（démonterée en 20013 par Grigori Perelman）Il a fait cette video sur le sujet》https://www.youtube.com/watch？v=dNKuzmA42vw
    
    帕尔孔特，让我在推特上发表自己的看法，让我关注大学和大学的发展。Les 4 lignes sont décrites en détail dans le livre de Simon Singh的歌曲https://openlibrary.org/books/OL25632837M/The_Simpsons_and_Ther_Mathematical_Secrets网站
    
    雷蓬德雷
  - Lé（科学4All）
    2016年3月25日， 18小时55分钟
    
    巴黎市政厅（Sur la dernière ligne）、庞加莱教堂（le theéorème de Poincarédit que l’on ne peut pas déformer continument un doughnut en sphère）。《荷马的阿斯图塞》（L’astuce d‘Homer pour y arriver），这是一本关于甜甜圈的书。庞加莱·阿瓦伊特遮断，荷马·杜布利塞特遮断…
    庞加莱猜想是第3维度形式的庞加雷的道德化。Ma vidéoáce sujet：https://www.youtube.com/watch？v=dNKuzmA42vw帕特里克·马索特（Patrick Massot sur Image des Maths）等文章：http://images.math.cnrs.fr/La-conjustructure-de-Poincare.
    
    雷蓬德雷
伊夫·马苏尔
2016年3月25日， 16小时21分钟

诚恳！J'imagine que ta boucle Python fait le calcul en 32 bits«classique»，et si tu trouves uneégalité，tu vérifies le delta en multi-récision？

雷蓬德雷
- Goulu博士
  2016年3月25日， 17小时43分钟
  
  J'avais communicépar l’approche que tu suggères dans une première version en utiliant les float32 de la library numpy mais ils ne vont que jusqu'á3.4028235e38，de loin pas assez…
  
  所有人都认为这是一个内部+多决策的事实（在Python中，这是透明的），这是一个浮动的转换（64），用于计算种族n-ième。代码est lá
  
  雷蓬德雷
  - 伊夫·马苏尔
    2016年10月， 17小时17分钟
    
    En faisant tourner le程序，j'ai constatésur mon便携式（CPU I7，8个内核，64位，Win10）que Python n’En usive qu'un；a charge est“baladé”d’un coeurál’outre par l’OS–我想。Je l'ai arrétéaprès quelques soirs après env 20 résultats；mais je pense qu’on peut l'améliorer pour lancer plusieurs进程并行…
    
    雷蓬德雷
    - Goulu博士
      11 avril 2016， 8小时14分钟
      
      绝对。ily a la图书馆https://docs.python.org/3/library/multiprocessing.htmlpourça，je pensais m'y mettre un de ces 4。马伊斯公社（Mais comme un bon algo est toujours meilleur quun mauvais parallelélisésé），《我的未来》（je suis plutótála recherche d’une manière d’veiter les deux boucles imbriququques），《voire la manipulation de tr s gros bignums》。等，《博客评论》ci dessus公司我集合了你的助教…
      
      雷蓬德雷

笔记：

法国

自由放任阿纽勒·拉雷蓬斯（Annuler la réponse）

11条评论”«Contreexemples»费马特文件”

自由放任