词语释义
定理
(1) 通过理论证明能用来作为原则或规律的命题或公式
词语解释
基本解释
已经证明具有正确性、可以作为原则或规律的命题或公式,如几何定理。
词语来源
该词语来源于人们的生产生活。
引用解释
1.确定的法则或道理。《韩非子·解老》:“凡理者,方圆、短长、麤靡、坚脆之分也。故理定而后可得道也。故定理有存亡,有死生,有盛衰。夫物之一存一亡,乍死乍生,初盛而后衰者,不可谓常。” 宋 陆游 《上殿札子》:“臣闻天下有定理决不可易者,饥必食,渴必饮,疾必药,暑必箑,岂容以他物易之哉。” 清 百一居士 《壶天录》卷下:“《书》云:‘作善降祥。’此定理也。” 鲁迅 《伪自由书·从盛宣怀说到有理的压迫》:“这种压迫的‘理’写在布告上:‘借债还钱本中外所同之定理,租田纳税乃千古不易之成规。’”
词语造句
1、那么散度定理究竟讲的是什么?
2、为什么这个看上去不是一个新的定理呢?
3、下面是一个基本定理,它给出了,无需计算积分就得到结果的办法。
4、许多数学家只是把这些恼人的问题简单地弃置一旁,而忙于类似定理证明这样更有趣的事务。
5、很了不起啊,一旦你们证出来了,一旦你们证明了,这个平行轴定理可行,当然,你们可以一直,为自己的便利利用它。
6、由于我们在进行不正式的证明,所以我不会为所使用的公理命名,也不会尝试去证明那些用来令证明有效的中间定理。
7、它的逆命题就是下面这个定理。
8、你拥有的定理越多,你就会变得更强大。
9、虽然在数学领域也有一些新的进展,例如对著名的四色定理的证明,1但是基本的材料却保持不变。
10、微积分基本定理,不是曲线积分的,告诉我们,如果对函数的导数积分,就会得回原函数。
11、我希望促进的那类文化是足够广博的,它包含的东西远远超过一本书或一条定理。
12、就某方面来说,我们正关上这扇物理问题的大门,同时我们开启了一扇更大的门,通向以后量子层面的能量均分定理测试。
13、它演示了自动化技术、TAL和自动化定理证明,从而验证了操作系统中和运行时复杂的低级代码的安全性。
14、皮埃尔.德.费马在1637年发现这个定理,但证明可是在这集动画片播出前不久才刚刚公布的。
15、散度定理为我们提供了一种,计算向量场通过闭曲面的通量的方法。
16、随着研究继续深入到这段古老历史的边缘,毕达哥拉斯定理是否会被一个古老的巴比伦文人的名字来取代,仍然有待于进一步的观察。
17、可以把动能转为热量,这点在功能定理,中是非常好的。
18、它演示了少量带有自动化定理证明功能,经过验证的代码它能够支持任意数量的TAL代码。
19、在2000年发表的一篇学术论文里,李建议了这个可应用于信用风险的定理,涵盖了从债券到房屋抵押贷款的一切。
20、用完全不同的方法来计算它们,并且有几个定理,把它们相互联系起来。
21、手表定理是指一个人有一只表时,可以知道现在是几点钟,而当他同时拥有两只表时却无法确定。
22、公布一个程序的源代码与公布一个定理的证明是一样的。
23、很快也会看到关于通量的定理。
24、定理是基本的原理,我们可以将其组合起来以获得更多的成果。
25、阿罗不可能性定理论证了没有一种选举的方法总是可以给出“正确”的结果。
26、半个世纪前,IBM的赫伯特·格勒恩特尔编写了一个程序,据称再现了欧几里德几何定理,但是,批评家们说它过于依赖程序员提供的规则。
27、那部分是数学的东西,即散度定理。
引证解释
⒈ 确定的法则或道理。
引《韩非子·解老》:“凡理者,方圆、短长、麤靡、坚脆之分也。故理定而后可得道也。故定理有存亡,有死生,有盛衰。夫物之一存一亡,乍死乍生,初盛而后衰者,不可谓常。”
宋陆游《上殿札子》:“臣闻天下有定理决不可易者,饥必食,渴必饮,疾必药,暑必箑,岂容以他物易之哉。”
清百一居士《壶天录》卷下:“《书》云:‘作善降祥。’此定理也。”
鲁迅《伪自由书·从盛宣怀说到有理的压迫》:“这种压迫的‘理’写在布告上:‘借债还钱本中外所同之定理,租田纳税乃千古不易之成规。’”
⒉ 今多指经证明具有正确性、可作为原则或规律的命题或公式。
引梁启超《近世文明初祖倍根笛卡儿之学说》:“凡一现象之定理,既一旦求而得之,因推之以徧,按其同类之现象,必无差谬,其有差谬者,非定理也。”
定理的国语词典
永久不变的真理。
定理的网络释义
定理 (数学术语)
定理 (逻辑学名词)
定理的翻译
定理造句
汉字详情
详细解释
形容词
(1) (会意。从宀(
),从正。“正”亦兼表字音。本义:安定;安稳)(2) 同本义,与“乱”或“动”相对
定,安也。——《说文》
靡所定处。——《诗·大雅·桑柔》
岂敢定居,一月三捷。——《诗·小雅·采薇》
昏定而晨省。——《礼记·曲礼》
以待阴阳之所定。——《礼记·月令》
天下属安定,何故反乎?——《史记·留侯世家》
痛定思痛,痛何如哉!——宋· 文天祥《指南录·后序》
如其克谐,天下可定也。——《资治通鉴》
(3) 又如:定迭(定叠。安定,太平);定害(定搅,定虐。扰乱,扰害);定帖(稳定;安定);定昏(请晚安)
(4) 镇静;宁静
磬罢僧初定,山空月又生。——李中《碧云集》
(5) 又如:心神不定;入定(佛教徒闭眼静坐,控制身心各种活动);镇定(遇到紧急情况不慌乱)
(6) 固定
我戎未定。——《诗·小雅·采薇》
岂可一切拘以定月哉。——宋· 沈括《梦溪笔谈·采草药》
山高风钜,雾气去来无定。——《徐霞客游记·游黄山记》
(7) 又如:定数(迷信者认为人生祸福都是命里注定,称为定数);定止(固定的处所);定式(固定的样式);定所(固定的住所、居处)
动词
(1) 使安定
以定王国。——《诗·小雅·六月》
定身以行事。——《国语·晋语二》
秦岁定。——《国语·晋语三》
吾定而禄爵。——《国语·晋语九》
先王之所以定天下也。——《吕氏春秋·孝行》
(2) 又如:定国(安定国家)
(3) 平定
行略定秦地。——《史记·项羽本纪》
(4) 又
灭秦定天下者,皆将相诸君与 籍之力也。
天下已定。——汉· 贾谊《过秦论》
王师北定中原日,家祭无忘告乃翁。——南宋· 陆游《示儿》
(5) 又如:定乱(平定祸乱)
(6) 奠定
臣观自古帝受定鼎,皆欲传之万代。——魏征《十渐不克终疏》
高祖以圣武定鼎。—— 颜延之《三月三日曲水诗序》
(7) 又如:定鼎(奠定国都;建立王朝);定功(建立功业);定业(奠定国家大业);定霸(奠定霸业)
(8) 决定
始欲作“推”字,又欲作“敲”字,炼之未定。——宋· 胡仔《苔溪渔隐丛话》
凡如是十许字,始定为“绿”。——宋· 洪迈《容斋续笔》
(9) 又如:定方针;定法(决定法则);定见(作决定);定谋(决定谋略)
(10) 确定
要之,死日然后是非乃定。——司马迁《报任安书》
割地定制。——汉· 贾谊《治安策》
(11) 又如:一言为定;约定俗成;定名;定分(确定名分);定在(固定住处);定归(确定,定准)
(12) 规定
以闰月定四时成岁。——《尚书》
(13) 又如:定科(明确规定的法令条例);定令(制定法令); 定法(制定法令、法规、办法等);定例(制定条例);定拟(起草制定)
(14) 约定签定,缔结
王当歃血而定从,次者吾君,次者遂。——《史记·平原君虞卿列传》
(15) 又如:定婚(订立婚约)
(16) 止;停止
乱靡有定。——《诗·小雅·节南山》
反而定三革。——《荀子·儒效》
俄顷风定云墨色,秋天漠漠向昏黑。——唐· 杜甫《茅屋为秋风所破歌》
(17) 判定,断定
若定是非以教吾子。——唐· 柳宗元《答韦中立论师道书》
副词
(1) 一定
定要感的六出冰花滚似绵。——元· 关汉卿《窦娥冤》
(2) 又如:定不得(没准头;说不定)
(3) 到底;究竟
卿云“艾艾”,定是几“艾”。——《世说新语·言语》
(4) 又如:定归(确定,定准)
英文翻译
方言集汇
◎ 客家话:[梅县腔] tin5 [台湾四县腔] tin5 [客语拼音字汇] tin4 [陆丰腔] tin6 [客英字典] tin5 [宝安腔] tin3 [沙头角腔] tin5 [海陆丰腔] tin6 [东莞腔] tin3
宋本广韵
小韻 | 反切 | 聲母 | 韻母 | 聲調 | 平水韻 | 等呼 | 韻部 | 韻攝 | 罗马字 | 国际音标 |
定 | 徒徑 | 定 | 青開 | 去聲 | 徑 | 開口四等 | 青 | 梗 | dengh/denq | dʰieŋ |
详细解释
动词
(1) (形声。从玉,里声。本义:加工雕琢玉石)
(2) 同本义
理,治玉也。顺玉之文而剖析之。——《说文》
理者,成物之文也。长短大小、方圆坚脆、轻重白黑之谓理。——《韩非子·解老》
王乃使玉人理其璞而得宝焉,遂命曰:“ 和氏之璧。”——《韩非子·和氏》
郑人谓玉未理者璞。——《战国策·秦策三》
(3) 治理;管理
不可胜理。——《战国策·秦策一》
圣人之所在,则天下理焉。——《吕氏春秋·劝学》
夫能理三苗。——《淮南子·原道》
以昭陛下平明之理。——诸葛亮《出师表》
贫困如故时,始复上街头理其故业。——黄宗羲《柳敬亭传》
为天下理财。——王安石《答司马谏议书》
理事自若。——《后汉书·卓茂传》
(4) 又如:当家理事;理官(治理狱讼的官员);理民(治理人民);理国(治理国家)
(5) 整理,使有条理、有秩序
分茧理丝。——《晋书·左芬传》
当户理红妆。——《乐府诗集·木兰诗》
(6) 又
当窗理云鬓。
(7) 又如:理妆(整理妆饰);理丝(抽理蚕丝);理鬓(梳理鬓发);理顺
(8) 处理,办理 。如:料理(办理;处理);理七(旧俗人死后每七日斋供一次,凡七次,共四十九日而止);理狱(处理讼事)
(9) 温习;熟习
被服罗裳衣,当户理清曲。——《古诗十九首》
(10) 又如:理书(温习功课);理乐(练习演奏乐曲);理曲(练习歌曲)
(11) 奏起 。如:理音(弹奏音乐);理丝(弹奏弦乐);理乐(奏乐)
(12) 区分;辨别
理道之远近而致贡。——《荀子·王制》
(13) 又如:理音(辨别声音)
(14) 理睬,理会
只顾玩笑,并不理他。——《红楼梦》
(15) 又如:不理(不闻不问);理值(理睬);理识(犹理睬)
(16) 申诉;辨白 。如:理诉(申诉);理说(申辨是非);理辨(申辨)
(17) 修缮 。如:理葺(修理,修补);理楫(修理船桨)
(18) 操理
始复上街头理其故业。——清· 黄宗羲《柳敬亭传》
名词
(1) 纹理;条理
井井兮有其理也。——《荀子·儒效》
璧袭无理。——《淮南子·览冥》
知分理之可相别异也。——《说文解字·叙》
圭形石质,苍色腻理。——刘禹锡《砥石赋》
(2) 又如:理比(纹理相次);理路(纹理,纹路)
(3) 法律;司法官
弦子旗为理。——
管子·小匡》
遂下于理。——汉· 司马迁《报任安书》
(4) 又如:理刑厅(理刑官员)
(5) 道理,义理
井井兮其有理也。——《荀子·儒效》
恶积祸盈,理至焦烂。——南朝梁· 丘迟《与陈伯之书》
势不同而理同。——柳宗元《送薛存义序》
是未明天地之理,万物之情者也。——《庄子·秋水》
理实如兄言。——《玉台新咏·古诗为焦仲卿妻作》
天下之理得矣。——宋· 王安石《答司马谏议书》
验之以理。——《吕氏春秋·慎行论》
理无专在。——清· 刘开《问说》
(6) 又
理有未安,妄以臆度。
(7) 又如:无理(没有道理);在理(合乎道理);理致(义理情致,思想情趣);理窟(义理会聚处;道理深奥处);理顺(道理顺当;理由正当)
(8) 事理 。如:理趣(事理的旨趣)
(9) 使者
行理之命,无月不至。——《左传·昭公十三年》。注:“行理,使人通聘问者。”
(10) 媒人
吾令蹇修以为理。——《楚辞·屈原·离骚》
(11) 自然科学与物质世界和其现象有关的这种知识 。如:理工科
(12) 物理学 。如:数理化
(13) 通“吏”。狱官
孟秋之月:命理瞻伤。——《礼记·月令》
李离者, 晋文公之理也。——《史记·循吏列传》
形容词
治理得很好
本事不理。——《荀子·天论》
运极则化,理乱相承。——《后汉书·蔡邕传》
一切治理,威名流闻。——《汉书·赵尹韩张两王传》
英文翻译
方言集汇
◎ 客家话:[台湾四县腔] li1 li3 [客英字典] li1 li3 [海陆丰腔] li1 li3 [东莞腔] li3 [陆丰腔] li1 [梅县腔] li1 [沙头角腔] li1 [宝安腔] li1 [客语拼音字汇] li1
◎ 潮州话:li2
宋本广韵
小韻 | 反切 | 聲母 | 韻母 | 聲調 | 平水韻 | 等呼 | 韻部 | 韻攝 | 罗马字 | 国际音标 |
里 | 良士 | 來 | 之 | 上聲 | 紙 | 開口三等 | 之 | 止 | lix/liio | lĭə |