title: 数学中有哪些明明是暴力破解还给人美感的证明？
desc: 虽然是暴力破解，但偏偏有美感，挖空心思想到的技巧，感觉都不如暴力方法好用。
topic: 数学
content: 以上答案看起来都是技巧上的破解之美，那么来看看真正的数据破解之美吧！（来自煎蛋有史以来最大的数学证明：数据多达200TB ）： 德克萨斯大学的三位计算机科学家宣布他们完成了世界上最大的数学证明：完整证明有200TB大小。公开供人检验的部分压缩后也有68GB大。目前已经有很多数学家使用计算机辅助证明数学问题，但这个200TB大小的证明还是让数学家们吃了一惊。UCSD的数学家Ronald Graham表示，在此之前，世界上最大的数学证明只有13GB 大。这几位计算机科学家解决的问题有着近一个世纪的历史，是拉姆齐定理 中的舒尔平方数定理 ，也被称为布尔-毕达哥拉斯三元数问题 Boolean Pythagorean triples problem。该问题在1917年由舒尔提出，问的是：能否将所有正整数分成两个部分，其中所有毕达哥拉斯三元数组即满足a^2b^2c^2的a，b， c三个数都不处于同一部分？否则，最小的反例是什么？该类问题常被转化为着色问题来解决。比如如果3和5被用红色标记，那么4必需用蓝色标记。研究者发现，从1到7824的所有正整数都能被用这种方式归类。
answerer_tags: 来了就别走，听姐谈谈性，说说爱。公众号 dmn_love