hù zhèng1.相互证明。

qié/jiā/gā lì lüè chuán/zhuàn剧本。德国布莱希特作于1939年。17世纪前叶，伽利略通过观察天象，证实了哥白尼的日心说。罗马教廷宗教裁判所害怕日心说动摇教会的统治，逮捕伽利略并判其终身监禁。但伽利略写下了科学名著《关于两门新科学的对话与数学证明对话集》，论证了日心说的正确性。

sì sè/shǎi wèn tí将一张地图着色，要求凡有公共边界的两个国家或地区染色不同。1840年德国数学家牟比乌斯首先提出猜想：对于平面上的任何地图，用四种颜色就足够了。1976年美国的阿普尔等人借助电子计算机，证明了四色猜想成立。

huí zhí①回条。②向寄件人证明某种邮件已经递到的凭据，由收件人盖章或签字交邮局寄回给寄件人。

pī tiè/tiě/tiē1.旧时官府出的证明文书。

qī qiáo wèn tí著名古典数学问题之一。在哥尼斯堡的一个公园里，有七座桥将普雷格尔河中两个岛及岛与河岸连接起来(如图)。问是否可能从这四块陆地中任一块出发，恰好通过每座桥一次，再回到起点?欧勒于1736年研究并解决了此问题，他把问题归结为如下右图的“一笔画”问题，证明上述走法是不可能的。

bù néng tuī chū亦称“推不出”。证明中论据和论题之间没有必然联系的逻辑错误。

qiū chéng tóng (1949- )数学家。生于广东汕头。香港中文大学毕业，美国伯克利加利福尼亚大学博士。普林斯顿高级研究所终身教授。中科院外籍院士。1976年解决微分几何中的“卡拉比猜想”。1978-1979年，与舍恩一起证明了广义相对论中的正质量猜想。在拓扑学等方面也有创见。1982年获菲尔兹奖，为获得该奖的第一个华人。

zhǔ jìng1.宋明理学家的道德修养方法。渊源于古代儒家(《礼记．乐记》:"人生而静，天之性也。")，并参杂佛﹑道的寂静无为思想。"主静"一语首由周敦颐在其《太极图说》中提出:"圣人定之以中正仁义而主静，立人极焉。"他用未有天地以前的"无极"原来是"静"的，来证明人的天性本来也是"静"的，由于后天染上了"欲"，故须通过"无欲"工夫，以求达到"静"的境界("无欲故静")。以后它一直是理学的主要思想。

dài shù/shǔ/shuò xué jī běn dìng lǐ在复数范围内，任何一个复数系数的一元n次方程至少有一个根。据此可推出一元n次方程有且仅有n个根。1797年高斯在其博士论文中首先给出严格证明，故又称“高斯定理”。