作者简介:袁岚峰，中国科学技术大学化学博士，中国科学技术大学合肥微尺度物质科学国家研究中心副研究员，科技与战略风云学会会长，“科技袁人”节目主讲人，安徽省科学技术协会常务委员，入选“典赞·2018科普中国”十大科学传播人物，微博@中科大胡不归，知乎@袁岚峰。
下文编译自旧金山大学数学名誉教授 John Stillwell 为其新书 The Story of Proof: Logic and the History of Mathematics 撰写的导读文章，他在文中通过毕达哥拉斯定理展示了“证明”的意义——“证明”是用任何人都能理解的陈述，来让我们相信本来不相信的东西。
在RtΔABC中，∠A=90°，三角形内切圆切BC于D，则SABC=BD×CD。10、ABC中，内切圆分别与AB，BC，CA相切于P，Q，R，则AP=AR=/2， BP =BQ =/2， CR =CQ =/2，r=/2。
望月新一（图片来源：京都大学）2012年，日本数学家望月新一（Shinichi Mochizuki）将4篇总篇幅超过600页的论文挂到了自己的网站上。望月新一在论文中宣称，他解决了当今数学界最大的难题之一——ABC猜想。
