证明之三条看似显然实则需要证明的陈述

三条看似显然实则需要证明的陈述

“表面显然的数学定理:隐藏的证明之谜”

较高等的数学中,有一点让很多人感到费解:其中有一些定理看上去非常显然,简直无须证明。遇到这样的定理时,人们常常会问:“如果都不算显然,那还有什么才算呢?”蒂莫西.高尔斯一位先前的同事对此给了一个很好的回答:如果脑子里立刻就有证明,那么这条陈述才是显然的。在本系列的剩余部分,我将给出三条陈述作为例子,它们看上去都是显然的,却无法通过这样的检验。

例子1

1.算术基本定理的内容是,每个自然数有且仅有一种被写为素数乘积的方式,不考虑先后顺序。例如,36=2×2x3×3,74=2×37,再如101本身就是一个素数(在这样的语境下,它就是单个素数的“乘积”)。观察过这些较小自然数,人们马上就会确信,根本不可能有两种不同方式把一个数表示为素数乘积。这就是这个定理看似几乎无须证明的主要论点。
但它真的有那么明显吗?7,13,19,37,47都是素数,那么,如果算术基本定理是显然的,7x13×19不等于37x47也应该是显然的。我们当然可以检验出,这两组数确实不同(任何数学家都会告诉你,其中一个比另一个更有意思(英国数学家哈代回忆印度数学家拉马努金时谈到,某次他去医院看望拉马努金,据到路上搭乘的出租车的车牌号为1729,并无特珠之处。拉马努金说:“你错了。实际上;这是能以两种方式表示为两数立方和的最小自然数。”)),但这并不说明它们显然会不相等,也不能解释为什么我们不能另外找到两种素数乘积得到相同的结果。实际上,这个定理并没有很简单的证明方法。如果你脑子里立刻就有了证明,那你的脑子一定很不寻常。

例子2

2.设想你用一段正常的绳子打了一个宽松的结,然后把绳子两端合在一起,得到了如下图所示的形状,即数学家所称的三叶结。在不把绳子切断的情况下,有没有可能把这个结解开呢?当然不可能。
在这里插入图片描述

但为什么我们倾向于说“当然”呢?我们有没有立刻就想到一种论证?可能有——看起来,任何解开结的努力似乎都难以避免地会使得这个结更为繁复。然而,要把这样的直觉转换为有效的证明却是很难的。所谓显然,只不过是没有简单的方法解开这个结。难点在于需要排除所有的可能性,说明先把结变复杂再最终解开它也是不可能的。应当承认,这看起来不太可能,但是,数学中的确存在着这样的现象,甚至在日常生活中都是存在的:比如,为了把房间收拾干净,常常在开始时有必要先把它弄得更乱一些,而不是把所有东西都塞进橱里。

例子3

3.平面上的一条曲线,是指笔尖不离开纸面的情况下,你所能画出的任何东西。如果曲线永远不和自己相交,就称它为简单的,如果它最终回到起点处,就称它为闭合的。下图显示了这些定义在实际图形中的反映。图中第一条曲线既是简单的也是闭合的,在平面上围出一块区域,即曲线的内部,很明显,所有间半所合曲线都将平面分成两部分;曲线里面和曲线外面(如果把曲线本身也看作一部分,就是三个部分)。

在这里插入图片描述
这真的有那么明显吗?当曲线不太复杂的时候的确如此。但如下图所示的曲线呢?如果你在靠近图形中心处选一点,点在曲线里面还是外面并不显然。你可能想,大概的确不太显然,可它终归必定会一个里面和一个外面,哪怕曲线很复杂,在视觉上很难辨别。
在这里插入图片描述

应该怎样来确证这样的看法呢?我们可能会尝试用如下的办法来区别里面和外面。我们暂时假设,确实存在曲线的里面利外面,那么每次穿过曲线的时候,必定要么是从里面穿到外面,要么是以外面穿到里面。于是,如果你想确定点P是在里面还是在外面,你只需从P出发画一条线,一直画到远离曲线的另一点Q,也就是使Q明显位于曲线外面。如果画的这条线和原曲线相交奇数次,那么P位于曲线里面,否则位于曲线外面。
这种论述的问题在于,它把许多事情当作理所当然的了。例如,如果你从P出发画另一条线,画到曲线外另一点R,你怎么知道结果不会不同呢?(结果不会不同,但这需要证明。)实际上,任意简单闭合曲线都有里面和外面这一命题,正是一个著名的数学定理,称作若尔当曲线定理。无论它看起来多么显然,它都需要证明,而且任何我们已知的证明都非常困难,远远超出了本文章的论述范围。

总结

在较高等的数学中,有一些定理看上去非常显然,但实际上却需要深入的证明才能得到确认。这种情况常常让人感到费解,因为如果一个定理在脑子里立即就有证明,那才真正算是显然的。本文给出了三个例子来说明这一点。

首先是算术基本定理,即每个自然数都可以唯一地被写为素数的乘积。尽管这个定理在较小的自然数中看起来很显然,但并没有简单的证明方法。例如,存在两组不同的素数乘积能够得到相同的结果,这引出了对于该定理的复杂证明。

第二个例子是关于解开一个三叶结的问题。尽管直觉告诉我们这是不可能的,因为解开结只会使其更为复杂,但要将这种直觉转化为有效的证明却是困难的。这个例子表明,有时候所谓的显然并不意味着简单的证明。

最后一个例子是关于简单闭合曲线的若尔当曲线定理。尽管简单闭合曲线看起来应该可以分为内外两部分,但确实证明每个曲线都有里面和外面这一命题,并非易事。该定理的证明仍然是一个困难的问题。

这些例子提醒我们,在数学中,表面上显然的定理往往背后隐藏着复杂的证明之谜。它们挑战着我们的直觉和思维,同时也展示了数学领域中仍然存在许多未解决的难题。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/393450.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

海外媒体发稿:掌握这8个东南亚媒体发稿的技巧-华媒舍

在如今的数字化时代,媒体的地位越来越重要,尤其在东南亚地区。了解如何在关键时刻掌握东南亚媒体发稿的技巧是非常重要的。本文将介绍8个在东南亚地区重要的媒体发稿技巧,帮助您更好地传达信息。 1. 熟悉目标媒体 要掌握东南亚媒体发稿的技巧…

如何基于YAML设计接口自动化测试框架?看完秒会!

在设计自动化测试框架的时候,我们会经常将测试数据保存在外部的文件(如Excel、YAML、CSV)或者数据库中,实现脚本与数据解耦,方便后期维护。目前非常多的自动化测试框架采用通过Excel或者YAML文件直接编写测试用例&…

.NET Core WebAPI中使用Log4net 日志级别分类并记录到数据库

一、效果 记录日志为文档 记录日志到数据库 二、添加NuGet包 三、log4net.config代码配置 <?xml version"1.0" encoding"utf-8" ?> <log4net><!-- Debug日志 --><appender name"RollingFileDebug" type"log4net…

抓包分析 TCP 协议

TCP 协议是在传输层中&#xff0c;一种面向连接的、可靠的、基于字节流的传输层通信协议。 环境准备 对接口测试工具进行分类&#xff0c;可以如下几类&#xff1a; 网络嗅探工具&#xff1a;tcpdump&#xff0c;wireshark 代理工具&#xff1a;fiddler&#xff0c;charles&…

论文阅读-EMS: History-Driven Mutation for Coverage-based Fuzzing(2022)模糊测试

一、背景 本文研究了基于覆盖率的模糊测试中的历史驱动变异技术。之前的研究主要采用自适应变异策略或集成约束求解技术来探索触发独特路径和崩溃的测试用例&#xff0c;但它们缺乏对模糊测试历史的细粒度重用&#xff0c;即它们在不同的模糊测试试验之间很大程度上未能正确利用…

【PyQt】在PyQt5的界面上集成matplotlib绘制的图像

文章目录 0 前期教程1 概述2 matplotlib2.1 库导入2.2 图片的各个部分解释2.3 代码风格2.4 后端 3 集成matplotlib图像到pyqt界面中3.1 使用到的模块3.2 理解Qt Designer中的“控件提升”3.3 界面与逻辑分离的思路3.4 扩展 0 前期教程 【PyQt】PyQt5进阶——串口上位机及实时数…

Android稳定性相关知识

关于作者&#xff1a;CSDN内容合伙人、技术专家&#xff0c; 从零开始做日活千万级APP。 专注于分享各领域原创系列文章 &#xff0c;擅长java后端、移动开发、商业变现、人工智能等&#xff0c;希望大家多多支持。 目录 一、导读二、概览三、相关方法论3.1 crash3.2 性能3.3 高…

一,STM32cubeMX配置FreeRTOS工程

从这篇文章开始&#xff0c;大家就进入到了FreeRTOS的学习之路。 那么&#xff0c;从这里开启学习的第一课如何使用cubeMX配置FreeRTOS工程 文章目录 前言一、使用 cubeMX 配置 FreeRTOS二、CMSIS 接口总结 前言 一、使用 cubeMX 配置 FreeRTOS 选择 stm32 芯片。 选择外部晶振…

【Linux】简单的网络计算器的实现(自定义协议,序列化,反序列化)

文章目录 前言一、 服务端1.ServerCal.cc&#xff08;服务器主文件&#xff09;2.ServerCal.hpp3.Sock.hpp(套接字封装)4.TcpServer.hpp(服务器)5.Protocol&#xff08;自定义协议&#xff09; 二、用户端1.ClientCal 三、Log.hpp&#xff08;日志&#xff09;四、makefile 前言…

洛谷 P8627 [蓝桥杯 2015 省 A] 饮料换购

参考代码and代码解读 #include <bits/stdc.h> using namespace std; int main() { int n; scanf("%d", &n); int dr;//drdrink; dr n;//把drink赋值于n; while (n > 2) {//剩余的总瓶盖数要大于二,才能换得下一瓶饮料; dr n…

C语言系列-带有副作用的宏参数#和##命名约定宏替换的规则

&#x1f308;个人主页: 会编辑的果子君 &#x1f4ab;个人格言:“成为自己未来的主人~” 目录 带有副作用的宏参数 宏替换的规则 宏函数的对比 #和## #运算符 ##运算符 命名约定 #undef 带有副作用的宏参数 当宏参数在宏的定义中出现超过一次的时候&#xff0c;如果…

树莓派登录方式

目录 1.串口登录树莓派 1.1 USB-TTL连接树莓派串口 1.2 修改系统配置&#xff0c;启用串口登录树莓派 1.3 启动树莓派 2.网络方式登录树莓派 2.1 使树莓派接入网络 2.2 网络SSH 方式登录树莓派 2.2.1 打开ssh功能&#xff0c; 输入命令&#xff1a; 1.串口登录树莓派 1…

MOS管故障排查(G极电阻篇)

我们经常看到&#xff0c;在电源电路中&#xff0c;功率MOS管的G极经常会串联一个小电阻&#xff0c;几欧姆到几十欧姆不等&#xff0c;那么这个电阻用什么作用呢&#xff1f; 如上图开关电源&#xff0c;G串联电阻R13这个电阻的作用有2个作用&#xff1a;限制G极电流&#x…

2024最新软件测试八股文(答案+文档)

&#x1f345; 视频学习&#xff1a;文末有免费的配套视频可观看 &#x1f345; 关注公众号【互联网杂货铺】&#xff0c;回复 1 &#xff0c;免费获取软件测试全套资料&#xff0c;资料在手&#xff0c;涨薪更快 1、B/S架构和C/S架构区别 B/S 只需要有操作系统和浏览器就行&a…

SD-WAN稳定性如何?

随着网络技术的不断发展&#xff0c;软件定义广域网&#xff08;SDWAN&#xff09;作为一种新兴的网络架构&#xff0c;受到了越来越多企业的青睐。然而&#xff0c;对于许多人来说&#xff0c;关于SDWAN最关键的问题之一就是它的稳定性。本文将探讨SDWAN的稳定性表现&#xff…

OpenCV每日函数 结构分析和形状描述符(9) ApproxPolyDP函数 拟合曲线

一、Douglas -Peucker 算法 也称为Ramer-Douglas-Peucker 算法或迭代端点拟合算法,是一种通过减少点数来平滑折线(由线性线段组成的线)的算法。简化曲线应保留原始曲线的粗略形状,但仅包含定义原始曲线的点的子集。 粗化程度由单个参数 ε 控制,该参数定义原始点和简化曲线…

挑战杯 基于CNN实现谣言检测 - python 深度学习 机器学习

文章目录 1 前言1.1 背景 2 数据集3 实现过程4 CNN网络实现5 模型训练部分6 模型评估7 预测结果8 最后 1 前言 &#x1f525; 优质竞赛项目系列&#xff0c;今天要分享的是 基于CNN实现谣言检测 该项目较为新颖&#xff0c;适合作为竞赛课题方向&#xff0c;学长非常推荐&am…

翻译,师爷师爷什么叫事务!

当我们学习 apple 时候&#xff0c;我们很容易记住 apple 是什么。 我们也不会对 apple 的概念产生模糊混淆。 为什么&#xff1f; 因为字典上明确说了&#xff0c;apple 苹果。 那苹果是什么&#xff1f; 苹果就是圆圆的红红的&#xff0c;吃起来甜甜的水果。 我们学习…

开工第一天的精神状态“昨晚失眠”开工第一天的你还好吗?

目录 不想上班 杂乱的内心独白 杂乱的内心独白与代码 结语 不想上班 一想到要返工就有点emo的你 并不是孤身一人 我这一生&#xff0c;如履薄冰&#xff0c;新的一天&#xff0c;从不想上班开始。 杂乱的内心独白 我杂乱的内心啊 杂乱的内心独白与代码 import tkinter…

OpenCV识别人脸案例实战

使用级联函数 基本流程 函数介绍 在OpenCV中&#xff0c;人脸检测使用的是cv2.CascadeClassifier.detectMultiScale()函数&#xff0c;它可以检测出图片中所有的人脸。该函数由分类器对象调用&#xff0c;其语法格式为&#xff1a; objects cv2.CascadeClassifier.detectMul…