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