词条 | 定理 |
类别 | 中文百科知识 |
释义 | 定理dingli从公理出发,经过推理论证论而得到的真命题叫做定理. 定理设l1:A1x+B1y+C1=0和l2:A2x+B2y+C2=0是两条相交的直线,则l:m (A1x+B1y+C1) +n (A2x+B2y+C2)=0是经过l1和l2交点的直线系方程,其中m,n是不同时为零的任意实数. 定理三相异点A,B,C共线的充要条件是存在三个全不为零的数m,n,l,满足m+n+l=0,并使mA+nB+lC=0成立. 定理已经证明具有正确性、可作为原则或规律的命题或公式。例如:“平行四边形对边相等”就是几何学中的一个定理。 定理演绎系统中被断定的公式或命题。即公理或依据公理和推导规则证明的公式或命题。 |
随便看 |
开放百科全书收录579518条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。