
theorematic
theorem
【化】 theorem
【醫】 theorem
定理(Theorem)是數學與邏輯學中的核心概念,指通過嚴格邏輯推理證明為真的命題。其内涵可從漢英雙重視角解析如下:
“定”指确立、不可變更;“理”指規律、法則。
合指經證明而确立的普遍性規律,如《現代漢語詞典》定義:“通過證明被認為正确的命題或公式。”
多用于數學、幾何學及形式科學,強調結論的必然性與普適性(例:勾股定理、素數定理)。
源自希臘語 theōrēma(θεώρημα),意為“被觀察到的真理”或“理性推導的結論”。
《牛津英語詞典》将其定義為:
“A general proposition not self-evident but proved by a chain of reasoning.”
(非自明但經推理鍊驗證的普遍性命題)
術語 | 英文 | 關鍵差異 |
---|---|---|
定理 | Theorem | 需嚴格證明,結論具普遍性 |
公理 | Axiom | 不證自明的基礎假設(如歐氏幾何公理) |
引理 | Lemma | 為證明定理而預設的輔助命題 |
推論 | Corollary | 由定理直接衍生的次要結論 |
$a + b = c$(直角三角形斜邊與直角邊關系)。
當整數 $n>2$ 時,方程 $x^n + y^n = z^n$ 無正整數解。
“定理”是數學和邏輯學中的核心概念,指通過嚴格邏輯推理證明為真的命題。以下是詳細解釋:
經典示例
與相關概念的區别
定理的證明需要符合邏輯規則(如演繹推理),其正确性必須排除反例。現代數學中,定理的表述通常以“如果...那麼...”的形式呈現,強調條件與結論的邏輯關聯。
【别人正在浏覽】