已经证明具有正确性、可以作为原则或规律的命题或公式，如几何定理。

塞瓦定理  微积分基本定理  动能定理  梅内劳斯定理  射影定理  算术基本定理  代数学基本定理  韦达定理  动量定理  逆定理  加法定理  正弦定理  余数定理  余弦定理  中国剩余定理  圆幂定理  帕斯卡定理  因式定理  勾股定理  二项式定理  三垂线定理