theorem
英 [ˈθɪərəm] 美 [ˈθiərəm]

n.

[数] 定理；（能证明的）一般原理，公理，定律，法则；

变形

复数：theorems

英英释义

theorem[ 'θiərəm, 'θi:ə- ]

• n.
  • a proposition deducible from basic postulates
  • an idea accepted as a demonstrable truth

词组短语

fixed point theorem不动点定理

existence theorem[计]存在性定理

mean value theorem中值定理，平均值定律

comparison theorem比较定理

sampling theorem抽样定理

central limit theorem中心极限定理

remainder theorem余式定理

coase theorem[经]科斯定理

chinese remainder theorem孙子剩余定理

uniqueness theorem唯一性定理；单值定理

pythagorean theorem勾股定理；毕氏定理

reciprocity theorem[物]互易定理；[电磁]倒易理论

theorem proving定理证明

gauss theorem高斯定理

duality theorem对偶定理

approximation theorem逼近定理

separation theorem分离定理，分离定律

binomial theorem[数]二项式定理

intermediate value theorem介值定理

theorem of kinetic energy动能定理

更多收起词组短语

同近义词辨析

law, principle, theorem, fundamental

这组词都有“原理、原则”的意思，其区别是：

law指一直公认的。陈述各种现象的条理或关系的公理或定理等。

principle普通用词，含义广。指作判断的基础或行动的普通准则；也指自然科学的规律。

theorem多指经过推理或演算能得到证明的原理、定理或定律。

fundamental通常指原理、原则。

双语例句

用作名词(n.)

1. Let us restate the assertions above as a theorem.
   我们把上述的断言重新表述为一个定理。
2. This method helps to obtain a remarkable theorem.
   这一方法有助于得出一著名的定理。

权威例句

A Machine Program for Theorem-proving
A machine program for theorem-proving
The complexity of theorem-proving procedures
The complexity of theorem-proving procedures
Optimal foraging, the marginal value theorem.
Optimal foraging, the marginal value theorem.
Experimental Tests of the Endowment Effect and the Coase Theorem
Strips: A new approach to the application of theorem proving to problem solving
STRIPS: a new approach to the application of theorem proving to problem solving
Ekert, A.K.: Quantum Cryptography Based on Bell’s Theorem. Phys. Rev. Lett. 67(6), 661