一旦定理被證明，其他結果往往很快就能推導出來。推論是直接從定理得出的結論，通常無需太多額外工作。它與其說是新的定理，不如說是定理的自然結果。
歐幾裡得的《幾何原本》充滿了推論。在證明了三角形內角和為180度之後，一個推論指出三角形不可能有兩個直角。一旦證明了主要定理，這個推論就很有用，也很容易理解。
數學家利用推論來組織知識。它們突顯重要的結論，並使其易於引用。定理、命題、引理和推論之間的差異部分在於重點的不同。引理是墊腳石，推論是最終的成果。兩者都依賴於主要證明所建構的邏輯結構。
- 由一定理可直接得出
- 通常不需要太多額外的證據
- 在歐幾裡得和現代文獻中都很常見
- 強調重要後果
Comments (2)
Leave a comment