《新科学家》 第3605期 · 2026年7月25日 · 中文解读
数学中的“偷懒”技巧：非构造性证明
Sneaky maths · Jacob Aron
这篇讲什么
本文介绍了非构造性证明这一数学技巧，它通过证明解的存在性而非实际构造解来解决问题，并回顾了其历史争议及现代应用。
原文开头
Sneaky maths A trick to solving problems without answering them brought mathematicians to blows 100 years ago, but it’s now a common part of maths, discovers Jacob Aron A MATHEMATICIAN opens her office door to find a small fire. Without panicking, she looks around the room and spots a fire extinguisher. “Ah, a solution exists!” she says, before closing the door and continuing on with her day. Simply knowing it is possible to extinguish the fire is proof enough that the problem can be solved – why bother to actually do it? This old joke sums up how a lot of modern mathematics gets done, thanks to a sneaky tactic for problem-solving: the non- constructive proof. …
摘自《新科学家》（New Scientist）第3605期 · 2026年7月25日，Jacob Aron。仅引用开头一小段供了解文章，版权归原刊所有，全文请阅读原刊。
微信扫码，在小程序里听完整版
不用登录先听一篇 · 或在微信搜索小程序
晨间信号同期其他文章
- 发现岩石系外行星大气层：寻找外星生命的最有力线索天文学家首次在恒星宜居带内的岩石系外行星LHS 1140b上探测到大气层，这是迄今寻找外星生命最有力的证据。
- 脑刺激停止后，瘫痪男子手部感觉仍持续数月一项研究显示，一名因潜水事故瘫痪的男子在脑刺激停止数月后，仍保持手部的力量和感觉。
- 意识是量子态的吗？一项数学分析似乎表明，物理学定律使得纯粹量子代理成为不可能，这对意识具有量子起源的争议性观点提出了新的挑战。
- 抗病毒药物或可治疗多发性硬化症研究表明，针对EB病毒的抗病毒药物可能成为治疗多发性硬化症的有效方法。
- 军事技术变得更加普及乌克兰开发了一种由消费级无人机中常见的开源自动驾驶系统引导的廉价巡航导弹，凸显了消费技术如何帮助降低武器成本。
- 低云减少或加速全球变暖一项新研究发现，自1979年以来，低云覆盖的扩张减缓了全球变暖，但这一趋势预计将逆转，可能加速气候变化。