冷知识典藏馆 · The Cold Almanac
KNOWLEDGE TAG
#证明
关于「证明」的已收录知识，共 2 条。
任何地图最多用四种颜色就能区分相邻区域
四色定理说：再复杂的平面地图，只需四种颜色就能保证相邻区域不同色。它在 1976 年由计算机辅助证明，是史上第一个主要靠计算机完成的数学定理。
素数有无穷多个
早在两千多年前，欧几里得就用简洁的反证法证明了素数有无穷多个，这是数学史上最优雅的证明之一。