八达网

标题: 问个数学问题其实也不难就是不知道用什么严密的工具算 [打印本页]

作者: 特混舰队 时间: 2015-3-31 22:47
标题: 问个数学问题其实也不难就是不知道用什么严密的工具算
最近报表公布了一个完成率104.5%，那说明完成数（正整数）除以它的原始数（正整数）是1.045，既然得出这个数，可见真实除出来是1.044-1.046之间的值。已知原始数是小于100的，那么这个数是多少，有几个可能？

我现在算出来是22-23，44-46,66-69,88-92这几对，不知道还有别的木有

作者: IamNot 时间: 2015-3-31 23:36
只能写段程序了。从1万个组合里找。

作者: minker 时间: 2015-4-1 01:23
理论上是n^2但实际上基本就是个n
for (int ori = 1; ori<100; ori++) {
      for (int fin=(int)(1.0445*ori)+1; fin<1.0455*ori; fin++) {
         printf("%i, %i, %f\n", ori, fin, (float)fin/ori);
      }
}

22, 23, 1.045455
44, 46, 1.045455
66, 69, 1.045455
67, 70, 1.044776
88, 92, 1.045455
89, 93, 1.044944

作者: 我不是大米 时间: 2015-4-1 07:17

作者: 特混舰队 时间: 2015-4-1 23:20

minker 发表于 2015-4-1 01:23
理论上是n^2但实际上基本就是个n
for (int ori = 1; ori

程序完全看不懂，有数学论证吗

作者: IamNot 时间: 2015-4-2 00:08

特混舰队发表于 2015-4-1 23:20
程序完全看不懂，有数学论证吗

用程序完成了穷举。将所有组合都算了一遍。

还要什么数学论证？

作者: minker 时间: 2015-4-2 02:45

特混舰队发表于 2015-4-1 23:20
程序完全看不懂，有数学论证吗

穷举是数学论证的一种，如果你可以实验了所有可能的组合，从数学上也完成了证明

现在不少数学的理论会用到计算机的帮助

这个程序大概的意思就是：

逐一选择原始数（从1到100），对于每个原始数，输出所有"比原始数*1.0445大，比原始数*1.0455小"的整数

这本身是个完整的数学证明

作者: IamNot 时间: 2015-4-2 12:04

minker 发表于 2015-4-2 02:45
穷举是数学论证的一种，如果你可以实验了所有可能的组合，从数学上也完成了证明

现在不少数学的理论会 ...

好吧。穷举是数学论证的一种。

作者: minker 时间: 2015-4-2 15:29

IamNot 发表于 2015-4-2 12:04
好吧。穷举是数学论证的一种。

2013年5月13日，法国國镓科学研究院和巴黎高等师范学院的数论领域的研究员哈洛德·賀歐夫各特，在线发表了论文《论哥德巴赫定理的优弧》（Major arcs for Goldbach's theorem）宣布彻底证明了弱哥德巴赫猜想[6][5]。賀歐夫各特生于1977年，秘鲁籍，2003年获得普林斯顿大学博士学位。2010年开始担任法国國镓科学研究院和巴黎高等师范学院的研究员。2012年5月，賀歐夫各特发表论文《论哥德巴赫问题的劣弧》（Minor arcs for Goldbach's problem）中给出了劣弧积分估计的一个更优上界[6]。在这个更优估计的基础上，賀歐夫各特在2013年的论文中将优弧估计的条件放宽，把维诺格拉多夫定理中的下限降低到了1029左右，賀歐夫各特和同事David Platt用计算机验证在此之下的所有奇数都符合猜想，从而完成了弱哥德巴赫猜想的全部证明。

http://zh.wikipedia.org/zh/%E5%9 ... B%E7%8C%9C%E6%83%B3

欢迎光临八达网 (https://www.8-da.com/)