定理dìnglǐ

❶明确不变的道理；公理
　△ 优胜劣汰是～。
❷已被证明正确，可以作为原则或规律的命题或公式
　△ 数学～。

定礼；定理

◉ 定礼dìnɡlǐ　名 彩礼，旧俗订婚时男家送给女家的财物。〈例〉送～/ 筹办～/ 女方收下男方的～，这桩婚姻就算定了。〈近〉彩礼/ 聘礼。
◉ 定理dìnɡlǐ　名 已经证明具有正确性，可以作为原则或规律的命题或公式。〈例〉几何～/ 掌握～。〈近〉公理。

定理dìng lǐ

已经证明具有正确性、可作为原则或规律的命题或公式。1903年汪荣宝等《新尔雅·释计》：“以发见定理定则为目的者，谓之纯正计学。”1920年朱执信《恢复秩序与创造秩序》：“我们想把公特的‘秩序属于社会静态，进步属于社会动态’的一个基础定理，来结本篇的论。”1940年徐特立《怎样学习哲学》：“欧氏几何学开始就是普通公理，其次是几何公理，其次是某一命题的定理定义。”

定理dingli

从公理出发，经过推理论证论而得到的真命题叫做定理.

---

定理

设l₁:A₁x+B₁y+C₁＝0和l₂:A₂x+B₂y+C₂＝0是两条相交的直线，则l:m (A₁x+B₁y+C₁) +n (A₂x+B₂y+C₂)=0是经过l₁和l₂交点的直线系方程，其中m,n是不同时为零的任意实数.
若m≠0，令n/m=λ，则l的方程可以写成A₁x+B₁y+C₁+λ(A₂x+B₂y+C₂)=0，这时，直线系中不包括直线l₂；若n≠0，令m/n=λ，则l的方程可以写成λ(A₁x+B₁y+C₁)+A₂x+B₂y+C₂＝0，这时，直线系中不包括直线l₁.
直线系也叫直线族或直线束.

---

定理

三相异点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