定理:用推理的方法证明是正确的命题称为定理。
命题:分为真命题(包括公理、定理)和假命题。
在三角形中,三线合一指的是,平分线、中线、高线这三条线重合于一条线。在等腰三角形中,有一个性质定理,即:等腰三角形的底角相等,由此,得到一个重要推论:等腰三角形的顶角的平分线平分底边并且垂直于底边。这条推论其实就是说的等腰三角形的三条线实质重合于一条线的真理。
所谓推论,就是直接得到的结论。
那么,什么样的三角形是等腰三角形呢?这要用到等腰三角形的判定定理了:如果一个三角形有两个角相等,那么这两个角所对的边也相等,这个三角形就是等腰三角形(证明略)。由此得到推论:三个角相等的三角形是等边三角形(即正三角形)
而三线合一的三角形是等腰三角形,实际上是可以通过证明它是正确结论的一个命题,它的正确性当然也是引用其它命题按着逻辑推理来判断当前命题的正确性,而所用的命题,它的正确性,必须是已经认可的。
所以说,一个命题的正确性,往往是通过已知的定理、定义、推论按着正确的思路进行一番推理进行着科学的证明才能把它
作为一个真命题而存在于学科之中。
这个学科得到的真命题,可以把它作为一道题来做,当然,如果你认为它确实是正确的,把它作为一个定理也是可以的。
显然,三线合一的三角形是等腰三角形,这个命题是成立的,所以,我们可以把它作为一道题来做,如果你愿意,也可以把它当作定理?
例如,证明题——求证:等腰三角形两腰上的中线相等。
这是一道证明题,它的正确性是可以证明的,但没有专门把它作为定理来用,你想是为什么呢?
是定理呀。不是书上明确说了是“定理”的,才是定理。由公理、定理推出的结论,都是定理。习题中要你证明的,也都是定理。“定理”就是“已经确定的推理”。
教材中明确说明的定理,是教学大纲要求你掌握的定理。作为一门学科,定理的总数是很大的,许多超出了教学大纲的要求。但是不是说它们就不是定理。