Catalan’s 猜想

猜想:「在所有整數的所有次方所組成的數列中,唯一的連續整數只有8和9」

這是個看來簡單的問題,卻包含著整個數論結構,甚至讓許多著名的數學家陷入困境。如同費馬最後定理一般,看來簡單、逗趣的數論問題,卻又十分捉弄人,許多數學家經過幾個世紀的努力才將他證明出來。

如今,德國Paderborn大學的Perda Mihailescu,終於發現如何證明這涉及到整個自然數次方,令人肅然可敬的問題 (泰羅尼亞猜想) 的關鍵。首先,考慮所有整數的所有次方所組成的數列:4,8,9,16,25,27,36,…。在這數列當中,8和9不但是整數的次方數,也是個連續整數。

1844年,比利時數學家Eugene Charles Catalan (1814~1894)提出猜想:「在所有整數的所有次方所組成的數列中,唯一的連續整數只有8和9」 如果要解決Catalan的問題,必須尋找所有滿足方程式 其中 都大於1的整數解,此猜想說:方程的唯一解為:

有趣的是,在Catalan猜想提出前500年,Levi ben Gerson (1288~1344) 已經證明出在所有整數的平方和立方數中,相差為1的整數只有

1976年,紐西蘭Leiden大學的Robert Tijdeman對此問題有關鍵性的突破:不管此猜想是否成立,它有可能的整數解並非無限多個,而是有限個解。而且,指數p及q的數字必定小於某個數值,起初他證明這個數字非常龐大,後來他將之簡化成較易控制的程度。

2000年,Mihailescu證明,如果方程式存在其它的解,此解的指數數對一定是某種罕見的形式,稱作:Double Wieferich Primes。這對質數遵守下列規則: 除以 餘1, 除以也餘 。雙Wieferich質數非常之罕見,目前只找到六個:(2,1093)、(3,1006003)、(5,1645333507)、(83,4871)、(911,318917)、(2903,18787),而其中沒有一個滿足Cantalan猜想的式子。

Mihailescu繼續在此猜想上努力。在今年年初,他似乎突然開竅似的證明出來,Mihailescu說,他的證明利用到先前雙Wieferich質數的結果。

自目前為此,Mihailescu的證明並非絕對的可信,但卻有十分可能的徵兆,法國Talence境內Bordeaux I 大學的Yuri F. Bilu已分析Mihailescu的證明,並為它寫下主要步驟的概要及有趣的評論,它說:「我確信Mihailescu的證明是對的!」

2002年3月24日,Mihailescu在蒙特婁市 (加拿大東南部港市) 的加拿大數論協會中,第一次發表他的證明,他的證明被接納,並得到許多卓越的數論學家的正面回應。

這麼看來,Cantalan猜想即將步入數學大定理的殿堂中!

转自 數學欣賞

Catalans 猜想相关推荐

  1. 黄皓之后,计算机科学上帝Don Knuth仅用一页纸证明布尔函数敏感度猜想

    作者 | Freesia编辑 | 夕颜出品 | AI科技大本营(ID:rgznai100) 导读:近日,美国艾默里大学计算机与数学科学系教授黄皓(Hao Huang)用一篇短短 6 页的论文证明了布尔 ...

  2. 华人学者解开计算机领域30年难题:布尔函数敏感度猜想

    整理 | 郭芮 来源 | CSDN(ID:CSDNnews) 1992年,布尔函数敏感度猜想(Boolean Sensitivity)被提出,这成为了理论计算机科学近三十年来最重要.最令人困惑的开放性 ...

  3. AI一分钟 | 黎曼猜想已被证明?对错有待同行评议;讯飞与发帖质疑同传译员达成谅解...

    ▌科大讯飞:与发帖质疑科大讯飞AI翻译技术者达成谅解 科大讯飞称,此前发帖质疑科大讯飞 AI 翻译技术的一名同声传译负责人电话后,对方为言辞激烈与不妥致歉,并表示,科大讯飞没有造假.而公司机器翻译预计 ...

  4. DeepMind让AI变身天才数学家!首次提出两大数学猜想,登Nature封面

    点击上方"视学算法",选择加"星标"或"置顶" 重磅干货,第一时间送达 来源丨新智元 编辑丨极市平台 导读 12月2日,DeepMind用A ...

  5. 陶哲轩之后,有人在这个猜想的证明之路上又前进了一步

    选自Quanta Magazine 作者:Erica Klarreich 机器之心编译 编辑:魔王 在著名的埃尔德什等差数列猜想证明之路上,数学界可能又前进了一步. 埃尔德什等差数列猜想(Erdős ...

  6. 孪生素数 java代码_科学网—孪生素数猜想——利用 Java + 正则表达式 输出孪生素数对 - 马廷灿的博文...

    查了一下资料,发现正则表达式竟然可以用来检查素数(http://coolshell.cn/articles/2704.html)!(由于工作需要,几年前开始接触.利用正则表达式,给工作带了很大方便,也 ...

  7. 七年思考,两页证明,华人学者解开计算机领域30年难题:布尔函数敏感度猜想...

    近日,美国艾默里大学计算机与数学科学系教授黄皓(Hao Huang)用一篇短短 6 页的论文「轻松」证明了困扰理论计算机领域数十年的布尔函数敏感度猜想,引发了计算机和数学领域社区的广泛关注.布尔函数敏 ...

  8. 找到反例!博士后数学家推翻困扰数学界80多年的单位猜想

    点击上方"AI遇见机器学习",选择"星标"公众号 重磅干货,第一时间送达 来自:机器之心 强大的理论本身就有其美丽和优雅,但如果一切都是死板的,那岂不是非常枯燥 ...

  9. 引导直觉解决数学猜想难题,DeepMind登上《Nature》封面

    来源:机器之心 编辑:nhyilin 多年来,数学家们一直使用计算机来生成数据以帮助搜索数学模式,这种被称为实验数学的研究方法产生出许多重要的猜想,例如BSD猜想.虽然这种方法已经取得成功并且相当普遍 ...

最新文章

  1. Struts自定义拦截器拦截器工作原理
  2. Java进阶02 异常处理
  3. java学习(102):arraylist的查询和删除
  4. 又是绩效考核时,KPI 和 OKR 到底怎么考?
  5. Magento:Service Temporarily Unavailable ?
  6. HACMP环境修改IP的方法
  7. iText 生成复杂表格
  8. OpenGL基础12:进入3D世界
  9. 开源 java CMS - FreeCMS2.7 移动端栏目页静态化
  10. Linux的i2c通讯协议
  11. 计算机多媒体简历,[计算机个人简历模板范文]计算机多媒体专业个人简历
  12. 基于Android平台的会议室管理系统详细设计说明书
  13. Arduino 和 TB6612FNG 驱动直流电机
  14. 童年十大经典玩耍游戏
  15. 使用RT-Thread Studio DIY 迷你桌面时钟(一)| 基于STM32芯片创建HelloWorld工程
  16. linux密码是什么加密方式,Linux系统的几种加密
  17. SpringMVC的视图和视图解析器
  18. 菜鸡记录之初试自动更新,源码及出现的问题
  19. CF375C Circling Round Treasures(BFS+DP)
  20. OCR系列之一:开坑介绍

热门文章

  1. PPT旁边点名小助手 完美结合PPT
  2. js使用splice删除数组元素
  3. 壁挂炉洗澡怎么调水温_沃乐夫壁挂炉如何设置洗浴温度
  4. 常见web攻击(sql注入,xss攻击,csrf攻击)
  5. 【Leetcode】997. Find the Town Judge(找到小镇法官) - 社会名流问题
  6. PostgreSQL 中的一些监控及问题发现脚本
  7. js和jQuery调用搜狐IP地址查询接口
  8. SpringMVC_视图解析(解析过程、视图、常见视图解析器、重定向)
  9. Ubuntu解决 The following signatures couldn‘t be verified because the public key is not available:
  10. 【Rust日报】 2019-05-27:toast - 支持在docker容器中运行任务的工具