gōng shè不需要证明就可以认为是真的假设，例如，由一点到另一点可以引一条直线。

jī/jǐ hé/hē/hè gài xíng (jī/jǐｊǐ)一种概率模型。它把随机试验归为在某个区域中随机投点，事件的概率往往利用落点区域的度量(长度、面积或体积)来表示。著名的蒲丰投针问题就是个典型例子：平面上画有距离为a的许多平行线，向平面任意投一枚长为l(l＜a)的针，可以证明针与平行线相交的概率为2laπ。当大量投针试验时，可用来估计π的数值。

chū jié/jiē1.出具事已了结或事情属实的证明。

gē yuán shù/shú/zhú我国古代证明圆面积公式和计算圆周率的方法。由刘徽首先提出。当圆内接正多边形边数逐步增加时，其周长和面积分别逼近圆周长和圆面积。刘徽曾用此法算出圆内接正3072边形的面积，以验证圆周率的正确性。

qǔ jié/jiē1.领取地方官府的证明文书。

cān zhí1.参验证明。

wú jiàn xióng (1912-1997)美籍华裔物理学家。毕业于中央大学。伯克利加利福尼亚大学博士。哥伦比亚大学教授。美国全国科学院院士。中科院外籍院士。主要从事原子核物理和弱相互作用方面的研究。1957年用实验证明在β衰变(弱相互作用)中宇称不守恒。1963年又实验证实弱相互作用与电磁相互作用密切相关，对弱电统一理论有重要贡献。著有《介子物理学》等。

wú wén jùn (1919- )数学家。上海人。毕业于上海交通大学。法国斯特拉斯堡大学博士。历任北京大学教授，中科院数学研究所研究员、院士，中国数学会理事长。对拓扑学有重要贡献，并应用其成果解决了电子器件中的布线问题。还从事对策论、机器证明和中国古代数学史等方面的研究，取得一系列成果。

gē dé bā hè cāi xiǎng①数论中著名难题之一。1742年，德国数学家哥德巴赫提出：每一个不小于6的偶数都是两个奇素数之和；每一个不小于9的奇数都是三个奇素数之和。实际上，后者是前者的推论。两百多年来，许多数学家孜孜以求，但始终未能完全证明。1966年，中国数学家陈景润证明了“任何一个充分大的偶数都可以表示成一个素数与另一个素因子不超过2个的数之和”，简称“1+2”。这是迄今世界上......更多

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