数学中那些非常奇葩的证明
小白学视觉
共 1290字,需浏览 3分钟
·
2021-06-09 00:02
点击上方“小白学视觉”,选择加"星标"或“置顶”
重磅干货,第一时间送达
本文转自|视觉算法
一、费马大定理证明
证:是无理数
假设是有理数,p和q是互素正整数
那么
移项得
又由费马大定理可知:
与费马大定理(Fermat's last therorem)矛盾, Q.E.D. (也可易证2的n分之一次方且n属于大于2的正整数时是无理数)
二:拉姆齐定理(通俗表述):6 个人中至少存在3人相互认识或者相互不认识。
证:证明如下:首先,把这6个人设为A、B、C、D、E、F六个点。由A点可以引出AB、AC、AD、AE、AF五条线段。设:如果两个人认识,则设这两个人组成的线段为红色;如果两个人不认识,则设这两个人组成的线段为蓝色。
由抽屉原理可知:这五条线段中至少有三条是同色的。不妨设AB、AC、AD为红色。若BC或CD为红色,则结论显然成立。若BC和CD均为蓝色,则若BD为红色,则一定有三个人相互认识;若BD为蓝色,则一定有三个人互相不认识。
三、无字证明
交流群
欢迎加入公众号读者群一起和同行交流,目前有SLAM、三维视觉、传感器、自动驾驶、计算摄影、检测、分割、识别、医学影像、GAN、算法竞赛等微信群(以后会逐渐细分),请扫描下面微信号加群,备注:”昵称+学校/公司+研究方向“,例如:”张三 + 上海交大 + 视觉SLAM“。请按照格式备注,否则不予通过。添加成功后会根据研究方向邀请进入相关微信群。请勿在群内发送广告,否则会请出群,谢谢理解~
评论