蚂蚁在fei
好吧！公理，定理，推论，这三个，给你解释下，公理就是所有人都认为他是正确的，（大概就是这个意思），不需要证明，定理是人为规定的，人为限定条件，推出结果，比如这个，人为假设一组平行线在直线上，是公理推倒出来的，，
赫拉克里斯
平行线等分线段定理：
如果一组等距的平行线在一条直线上截得的线段相等，那么在其他直线上截得的线段也相等。
推论1：经过三角形一边中点且与另一边平行的直线必平分第三边。
推论2：经过梯形一腰的中点且与底边平行的直线必平分另一腰。
另外，第二条定理也做：三角形过一边中点的直线平行第二边平分第三边。 也称“一二三定理”。第二第三条即常说的“中位线定理”。
定理（英语：Theorem）是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。
在数学里，定理是指在既有命题的基础上证明出来的命题，这些既有命题可以是别的定理，或者广为接受的陈述，比如公理。数学定理的证明即是在形式系统下就该定理命题而作的一个推论过程。定理的证明通常被诠释为对其真实性的验证。由此可见，定理的概念基本上是演绎的，有别于其他需要用实验证据来支持的科学理论。
