一旦定理被证明，其他结果往往很快就能推导出来。推论是直接从定理得出的结论，通常无需太多额外工作。它与其说是新的定理，不如说是定理的自然结果。
欧几里得的《几何原本》充满了推论。在证明了三角形内角和为180度之后，一个推论指出三角形不可能有两个直角。一旦证明了主要定理，这个推论就很有用，也很容易理解。
数学家利用推论来组织知识。它们突出重要的结论，并使其易于引用。定理、命题、引理和推论之间的区别部分在于侧重点的不同。引理是垫脚石，推论则是最终的成果。两者都依赖于主要证明所构建的逻辑结构。
- 由一个定理可直接得出
- 通常不需要太多额外的证据
- 在欧几里得和现代文献中都很常见
- 强调重要后果
Comments (2)
Leave a comment