定理dìnglǐ❶明确不变的道理；公理
△ 优胜劣汰是～。
❷已被证明正确，可以作为原则或规律的命题或公式
△ 数学～。 定礼；定理◉ 定礼dìnɡlǐ 名 彩礼，旧俗订婚时男家送给女家的财物。〈例〉送～/ 筹办～/ 女方收下男方的～，这桩婚姻就算定了。〈近〉彩礼/ 聘礼。
◉ 定理dìnɡlǐ 名 已经证明具有正确性，可以作为原则或规律的命题或公式。〈例〉几何～/ 掌握～。〈近〉公理。 定理dìng lǐ已经证明具有正确性、可作为原则或规律的命题或公式。1903年汪荣宝等《新尔雅·释计》：“以发见定理定则为目的者，谓之纯正计学。”1920年朱执信《恢复秩序与创造秩序》：“我们想把公特的‘秩序属于社会静态，进步属于社会动态’的一个基础定理，来结本篇的论。”1940年徐特立《怎样学习哲学》：“欧氏几何学开始就是普通公理，其次是几何公理，其次是某一命题的定理定义。” 定理 定理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是不同时为零的任意实数.
若m≠0，令n/m=λ，则l的方程可以写成A1x+B1y+C1+λ(A2x+B2y+C2)=0，这时，直线系中不包括直线l2；若n≠0，令m/n=λ，则l的方程可以写成λ(A1x+B1y+C1)+A2x+B2y+C2＝0，这时，直线系中不包括直线l1.
直线系也叫直线族或直线束. ☚ 直线系 二元一次不等式表示的区域 ☛
定理 定理三相异点A,B,C共线的充要条件是存在三个全不为零的数m,n,l，满足m+n+l=0，并使mA+nB+lC=0成立.
推论1 设三个点A,B,C不共线，若实数m,n,l满足m+n+l=0，且使mA+nB+lC=0成立，充分必要条件是m=n=l=0.
推论2 点A,B相异，则相异于A,B的点C与A,B共线的充要条件是存在全不为零的实数λ,μ，使C=λA+μB，且λ+μ=1. ☚ 两个非零向量共线的充要条件 两个非零向量垂直的充要条件 ☛ 定理已经证明具有正确性、可作为原则或规律的命题或公式。例如：“平行四边形对边相等”就是几何学中的一个定理。
定理演绎系统中被断定的公式或命题。即公理或依据公理和推导规则证明的公式或命题。 定理dìng lǐ约定的道理。《温症癍疹辨证·孟宪彝跋》：“盖儒有定理，而医无定法，病情万状，难守一宗。” 定理theorem |