引理(来自希腊单词“lambanein”,to take)是数学.一般来说,引理的结果构成定理。虽然两者都是引理或一个公理公理是不言而喻的,而引理必须首先被证明。

斯温纳顿染料公司注意到[…]任何能证明定理的人都可以用他们的名字来命名,但“这是区别以你的名字命名引理。
-计数的乐趣,T·W·科尔纳

例如,欧几里德算法发现最大公约数两个整数,并基于此引理:

假设:
m=qn+r其中m和n是整数带有m<n个<1,q和r是带q的整数<第页<0
然后
greatest_common_divisor(m,n)=greatest-common_devisor(n,r)

资料来源:T.W.Körner的《计数的乐趣》国际标准图书编号:0-521-56823-4(引用斯温纳顿·戴尔和欧几里得的例子)
Dictionary.com-引理词源

莱姆玛(?),编号。;pl.L.引理(#),E.Lemmas(#)。[法]。引理Gr.所收到的任何东西,被视为理所当然的假设或承诺,fr.to take,assume,Cf。音节.]

初等或辅助命题,在数学或逻辑学中被证明或接受用于直接证明其他命题。

 

©韦伯斯特1913.

登录登记在这里写点什么或联系作者。