01
为什么还要证明
大家好！我是 37。
在学生时代，我常常遇到一些几何证明题，例如证明"三角形的内角和为 180 度"、"等腰三角形的底角相等"，或者"菱形的面积是对角线乘积的一半"等。
面对这些题目，我心里总犯嘀咕：这些明明是书本上已经白纸黑字写着的定理，难道不是理所当然的吗？为什么还要我们一遍遍去证明呢？
直到在《问题解决的艺术》这门课中，在吴老师的用心引导下，我逐步理清了概念、定义、公理、定理、推论和命题之间的逻辑关系，才真正解开了这个多年的疑惑。
02
逻辑体系六层级
1
概念无需定义
基于直觉的初始认知。它是逻辑体系的起点，无法定义或证明。
例：什么是"点"、什么是"线"
2
定义无需证明
在概念的基础上，用明确的语言描述事物的含义，统一我们的语言和认知。
例：三角形，是由三条线段顺次首尾相连，或不共线的三点两两连接，所组成的一个闭合的平面几何图形
3
公理不证自明
无需证明的普遍真理，是不证自明的基本假设。
例：两点之间线段最短
4
定理必须证明
从定义、公理或其它定理推导出的结论，必须通过逻辑推理证明其正确性。
例：三角形的内角和为 180 度
5
推论依赖定理
依赖定理进一步推导而出的结论。
例：如果一个三角形是直角三角形，那么它的两个锐角之和为 90 度
6
命题可判真假
可以被判断真假的陈述。
例："所有的四边形都是正方形"这个说法就是一个命题，它是错误的
03
证明的意义
通过这一逻辑体系，我才明白，书本中的几何定理并不是理所当然的，而是需要通过严谨的逻辑证明来确保其普适性。
这正是欧几里得几何的魅力所在：它仅仅凭借最少的基础（23 个定义，10 个公理/公设），就像搭建乐高积木一样，构建了一个完整而自洽的几何世界。
而证明的过程，不仅是对已知结论的验证，更是在培养我们严谨的逻辑思维和推理能力，同时不断增强我们的几何感觉。它引导我们从"知道"，走向"理解"，进而"体会"几何之美。
你有遇到过"明知"但还要你证明的几何题吗？欢迎来群里"吐槽"。