nì dìng lǐ1.将某一定理的条件和结论互换所得的定理就是原来定理的逆定理。

méi nèi/nà láo sī dìng lǐ一条直线截△abc的三条边bc、ac、ab(或其延长线)所得的交点分别为x、y、z，则bxxc·cyya·azzb＝－１。由古希腊天文学家和数学家梅内劳斯发现而得名，其逆命题也成立。

jiǔ zhāng suàn shù/shú/zhú算经十书中最重要的一部。全面系统地总结了先秦到东汉初年的数学成就。全书二百四十六道应用题，分成九章：(1)方田(面积)；(2)粟米(粮食交易)；(3)衰分(比例分配)；(4)少广(开平方和开立方)；(5)商功(工程问题及立体形求体积)；(6)均输(粮食运输和均匀负担问题)；(7)盈不足(盈亏类问题)；(8)方程(一次方程组解法及正负术)；(9)勾股(勾股定理及其应用)。后世有多种注释本，已被译成多种文字。

gōng lǐ huà/huā fāng fǎ从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。

fèi ěr mǎ cāi xiǎng又称“费尔马大定理”。约在1637年，法国数学家费尔马提出猜测：当n＞2时，方程x^n+y^n=z^n除了xyz=0的解以外，没有其他整数解。三百多年来，许多数学家潜心研究，可始终未能证明它。直到1993年，美国普林斯顿大学教授怀尔斯才间接证明了此猜想，并得到专家们的肯定。

qián xué sēn (1911- )应用力学家，系统工程科学家。上海人。交通大学毕业，美国加利福尼亚理工学院博士。加利福尼亚理工学院和马萨诸塞理工学院教授。回国后任力学研究所所长、国防科委副主任，中科院和中国工程院院士。在力学的许多领域进行开创性研究，与冯·卡门合作，取得一系列成就，为空气动力学奠定理论基础。最先提出核火箭的设想。组织和推动系统工程的研究；开创物理力学的学科，最先提出稀薄气体......更多

lì tí说明某一定理或定律时用来做例子的问题。

gōu/gòu gǔ1.直角三角形夹直角的两边﹐短边为"勾"﹐长边为"股";在立竿测太阳高度时﹐日影为勾﹐标竿为股。广义说法﹐包括勾股定理的研究和应用。参阅《周髀算经》卷上。

fǎn zhèng fǎ证明定理的一种方法，先提出和定理中的结论相反的假定，然后从这个假定中得出和已知条件相矛盾的结果来，这样就否定了原来的假定而肯定了定理。也叫归谬法。

zhōu bì suàn jīng算经十书中最早的一部。成书不晚于公元前1世纪。主要阐述当时的天文学说--盖天说和四分历。书中最早记载了复杂的分数运算、勾股定理和开平方法。^