Question

什么是定理

Answer 1

在数学里，定理是指在既有命题的基础上证明出来的命题，这些既有命题可以是别的定理，或者广为接受的陈述，比如公理。数学定理的证明即是在形式系统下就该定理命题而作的一个推论过程。定理的证明通常被诠释为对其真实性的验证。

由此可见，定理的概念基本上是演绎的，有别于其他需要用实验证据来支持的科学理论。

平行线等分线段定理：

如果一组等距的平行线在一条直线上截得的线段相等，那么在其他直线上截得的线段也相等。

推论1：经过三角形一边中点且与另一边平行的直线必平分第三边。

推论2：经过梯形一腰的中点且与底边平行的直线必平分另一腰。

另外，第二条定理也做：三角形过一边中点的直线平行第二边平分第三边。 也称“一二三定理”。第二第三条即常说的“中位线定理”。

定理（英语：Theorem）是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。

已经证明具有正确性、可以作为原则或规律的命题或公式，如几何定理。定理是从真命题（公理或其他已被证明的定理）出发，经过受逻辑限制的演绎推导，证明为正确的结论，即另一个真命题。例如“平行四边形的对边相等”就是平面几何中的一个定理