B-theorem

梅涅劳斯定理（Menelaus' theorem），以古希腊数学家梅涅勞斯（英语：Menelaus of Alexandria）為名。它指出：如果一直线与 △ A B C {\displaystyle \triangle ABC} 的边BC、CA、AB或其延長線分别交于L、M、N，则有： A N N B ⋅ B L L C

贝尔纲定理（英語：Baire category theorem，BCT）是点集拓扑学和泛函分析中的一个重要的工具。这个定理有两种形式，每一个都给出了拓扑空间是贝尔空间的充分条件。 该定理由勒内-路易·贝尔在他1899年的博士论文中证明。 一个贝尔空间是一个拓扑空间，具有以下性质：对于任意可数个开稠

在实分析中，达布定理（英語：Darboux's theorem）得名于让·加斯东·达布。达布定理说明所有的实导函数（某个实值函数的导数）都具有介值性质：实导函数对任意区间的值域仍是区间。即是说，若f为可导函数，则对任意区间I，f′(I) 仍为区间。 当函数 f 是一阶连续可导函数（C1）时，由介值定理，达布定理显然成立。当导函数

theorem. MathWorld.  Sergio A. Alvarez: Note on an n-dimensional Pythagorean theorem （页面存档备份，存于互联网档案馆）, Carnegie Mellon University De Gua's Theorem,

費馬大定理（亦名费马最後定理，法語：Le dernier théorème de Fermat，英語：Fermat's Last Theorem），其概要為： 当整數 n > 2 {\displaystyle n>2} 时，关于 x {\displaystyle x} , y {\displaystyle