第五章推理与证明技术

5.3.2 命题、定理、证明
命题的定义：
判断一件事情的语句叫做命题。
1、只要对一件事情作出了判断， 不管正确与否，都是命题。 2、如果一个句子没有对某一件事情
作出任何判断，那么它就不是命题。
语句都是对某一件事情作出“是”或
“不是”的判断.其中问句，画图，感叹句， 祈使句不是命题！
下列语句是命题吗？ ①请你吃饭。 ②大象是红色的 ③同位角相等. ④连接A、B两点. ⑤你多大了？
如果两个角是对顶角，那么这两个角相等. 题设是： 两个角是对顶角 结论是： 这两个角相等
④同位角相等. 如果两个角是同位角，那么这两个角相等.
题设是：两个角是同位角 结论是：这两个角相等
★ 如：对顶角相等
题设
结论
如果两个角是对顶角，那么这两个角相等 题设 结论
问题5
下列语句是命题吗？如果是，请将它们 改写成“如果„„，那么„„”的形式.
（5）对顶角相等．
如果两个角是对顶角，那么这两个角相等．
问题7 下列哪些命题是正确的， 哪些命题是错误的？
（1）两条直线被第三条直线所截，同旁内角互补；

（2）等式两边都加同一个数，结果仍是等式；
（3）互为相反数的两个数相加得0； （4）同旁内角互补； （5）对顶角相等．的真假
有些命题如果题设成立，那么结论一定成立；
请同学们判断下列两个命题的真假
命题 :相等的角是对顶角． （3）你能举出反例吗？
如命题：“如果一个数能被4整除，那么它也 能被2整除”对么？
如命题：“如果两个角互补，那么它们是邻补角” 对么？ 确定一个命题真假的方法：
利用已有的知识，通过观察、验证、推理、 举反例等方法。
问题1 请同学们判断下列命题哪些是真命题？

人教七下
第五章 相交线与平行线
5.3 平行线的性质 命题、定理、证明
学习目标
1.了解命题，定理的概念，并会判断命题. 2．能用符号语言写出一个命题的题设和结论． 3．了解证明的必要性，知道推理要有依据；熟悉综合法证明 的格式，能说出证明的步骤．
新课导入
问题：下列语句在表述形式上，哪些是对事情作了判断？ 哪些没有对事情作出判断？
新课讲解
（2）说明一个命题是假命题的方法：举出一个反例，这个反 例符合命题的题设，但不能满足结论。
若两个角不是对顶角，则这两个角不相等。
解：两条直线平行形成的内错角，这两个角不是对顶 角，但是它们相等。
新课讲解
总结：举反例时，所举的例子应当满足题目的条件，但不满足题 目的结论。举反例时常见的几种错误： ①所举例子满足题目的条件，也满足题目的结论； ②所举例子不满足题目的条件，但满足题目的结论； ③所举例子不满足题目的条件，也不满足题目的结论。
练一练
下列命题中，是真命题的是（D）
A．若a·b＞0，则a＞0，b＞0 B．若a·b＜0，则a＜0，b＜0 C．若a·b＝0，则a＝0且b＝0 D．若a·b＝0，则a＝0或b＝0
假命题 假命题 假命题 真命题
新课讲解
4. 定理： 一些真命题，它们的正确性是经过推理证实的，这样得到的真命 题叫做定理。 可以说成：可以作为判定其他命题真假依据的真命题叫做定理。
理由：∵∠B=∠E， ∴AB∥DE（内错角相等，两直线平行）
随堂练习
1. 下列命题中，是假命题的是（ A ）
A．同旁内角互补 B．对顶角相等 C．直角的补角仍然是直角 D．两点之间，线段最短
随堂练习
2. 下列语句中，是命题的是（ C ）

例
4
(3) C = xyL(x, y) (L(2, 2) L(2, 3)) (L(3, 2) L(3, 3)) (10) (01) 1.
例
4
(4) D = yxL(x, y) y(L(2, y)L(3, y)) (L(2, 2)L(3, 2)) (L(2, 3)L(3, 3)) (10) (01) 0. 一般地：y x L (x, y) x y L (x, y) 在实变函数上的应用举例
提 前 讲
证 只要证明在某个解释下两边的式子不等值.
(1)取解释 I: 个体域为 ; A(x) 为 x 是奇数; B(x) 为 x 是 偶数. 则 x(A(x) A(x)) 为真, 而 xA(x) xB(x) 为假.
(2)取解释 I 同(1), 则 x(A(x) B(x)) 为假, 而 xA(x) xB(x) 为真.
/quantifier elimination
3. 量词辖域收缩与扩张等值式
设 A(x) 含 x 的自由出现, 而 B 不含 x 的自由出现, 则
(1)
x(A(x)B) xA(x) B
x(A(x)B) xA(x) B x(A(x)B) xA(x) B x(BA(x)) B xA(x) (5.3)
/quantifier distribution
例 2
例2 证明 对 无分配律, 而 对 无分配律. (1) x(A(x)B(x)) xA(x) xB(x);
(2) x(A(x)B(x)) xA(x) xB(x),
其中 A(x), B(x) 含自由变元 x.
2、一阶逻辑中的基本等值式
第一组 代换实例 命题逻辑中的重言式的代换实例都是一阶逻辑中的 永真式, 因而命题逻辑中的等值式†给出的代换实例 都是一阶逻辑的等值式.

课程讲授
2 真命题与假命题
归纳： 1.要判断一个命题为真命题，可以用演绎推理加以
论证； 2.要判断一个命题为假命题，只要举出一个例子，
说明该命题不成立.
课程讲授
3 定理与证明
定义：数学中这些命题的正确性是人们在长期实践中
总结出来的，并把它们作为判断其他命题真假的原始 依据，即出发点.这样的真命题视为基本事实.我们也 称它为公理.
理才能作出判断，这个推理过程叫作证明.
证明几何命题的一般步骤：
1.明确命题中的_已__知___和__求__证__； 2.根据题意，_画__出__图__形__，并用数学符号表示已知和求证； 3.经过分析，找出由已知推出_要__证__的__结__论_的途径，写出证明过程.
课程讲授
3 定理与证明
例 已知直线b∥c， a⊥b ．求证：
a⊥c．
b
c
证明：∵ a ⊥b（已知）， ∴ ∠1=90°（垂直的定义）.
1
2
a
∵ b ∥ c（已知），
∴∠1=∠2（两直线平行，同位角相等），
∴ ∠2=∠1=90°（等量代换）， ∴ a ⊥ c（垂直的定义）.
课程讲授
3 定理与证明
练一练：求证：内错角相等,两直线平行.
已知：如图，直线l3分别与l1，l2交于点A,点B，且∠1=∠2.
求证：l1∥l2. 证明：∵ ∠１=∠２ (已知)，
∠3=∠2 (对顶角相等)，
l3
1(
)3 B
l2
)2 A
l1
∴ ∠1=∠3 (等量代换).
∴ l１∥l２ (同位角相等,两直线平行).
随堂练习
１．下列句子中，哪些是命题？哪些不是命题？ ⑴对顶角相等； 是 ⑵画一个角等于已知角； 不是 ⑶两直线平行，同位角相等； 是 ⑷a，b两条直线平行吗？不是 ⑸温柔的李明明； 不是 ⑹玫瑰花是动物； 是 ⑺若a2＝4，求a的值； 不是 ⑻若a2＝ b2，则a＝b. 是

第五章逻辑的基本规律1.在同一个推理、论证过程中，概念要明确，判断要确定。

例1：甲：“厂里规定，工作时禁止吸烟。

”乙：“当然，可我吸烟时从不工作。

”2.在同一个推理、论证过程中，一个概念或判断不能既是什么，又不是什么。

例2：今年研究生考试，我有信心考上，但却没有把握。

3.在同一个推理、论证过程中，一个概念或判断是什么或不是什么，必须是明确的。

例3：有人说“可能有鬼”，有人说“可能无鬼”，我对这两种观点都不赞成，这种争论没有多大意思。

4.如果一个判断是真的，必须有充足的理由。

例4：我明年一定能考上研究生，因为今年我的一位老乡考上了研究生。

同一律一位在美留学的研究生和一位美国朋友在谈到语言的沟通问题时坦言，自己虽然能应付日常会话，但有些内心深处的话仍难于表达。

美国朋友安慰说：“不必多虑。

我认为你已经进步很快了。

我和妻子都是美国人，结婚十年了，到今天还有许多内心深处的话不知怎么表达呢。

”A 偷换概念甲：你们这样通宵达旦、吵吵嚷嚷地打麻将，影响别人休息。

乙：影响别人，又不影响你。

鲁迅在《且介亭杂文末编·半夏小集》里有一段对话：甲：乙，我们当你是可靠的好人，所以几种关系革命的事情都没有满了你，你怎么竟向敌人告密去了？乙：岂有此理！怎么是告密！我说出来，是因为他们问了我呀。

甲：你不能推说不知道吗？乙：什么话！我一生没有说过谎，我不是这种靠不住的人！小伙子：“您老是要这要那，不怕人家说你是高价姑娘吗？”姑娘：“怕什么？！裴多菲都说了，‘生命诚可贵，爱情价更高’嘛，价钱低了行吗？”B 混淆概念教条主义的学习方法的确不好，应当克服。

但是又难于克服，如背警句、背外语生词、演员背台词等等，怎么能全都不用呢？变是绝对的，不变是相对的。

我们只有树立正确的人生观，才可以保持不变。

C 偷换论题偷换论题则是把原来需要论证的命题有意地换成另一命题的逻辑错误，系诡辩手法。

达尔文进化论认为，人类是由猿猴进化而来的。

对此，主教们愤愤不平，提出质问：“有哪一个人见过，哪一只猴子变成了人？”有人反对马克思主义的一个重要原理：“人们的经济地位决定人们的意识”，他们用偷换概念的手法将它歪曲为“吃饭决定思想体系”这一荒谬论断，然后对此加以恶毒攻击。

本章说明
本章的主要内容 –一阶逻辑等值式与基本等值式 –置换规则、换名规则、代替规则 –前束范式
–一阶逻辑推理理论
本章与其他各章的关系 –本章先行基础是前四章
–本章是集合论各章的先行基础
本章主要内容
5.1 一阶逻辑等值式与置换规则
5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论 主要内容 作 业
一阶逻辑中的一些基本而重要等值式
代换实例
消去量词等值式
量词否定等值式 量词辖域收缩与扩张等值式 量词分配等值式
代换实例---命题公式的推广
由于命题逻辑中的重言式的代换实例都是一阶逻辑中的永 真式，因而第二章的16组等值式模式给出的代换实例都是 一阶逻辑的等值式的模式。 例如：
x(A(x)∧B(x))x A(x)∧ x B(x)
谓词演算蕴含式 xA(x)∨xB(x) x(A(x)∨B(x))
x(A(x)∧B(x)) x A(x)∧ x B(x)
多个量词间的次序排列等值式。
多个量词同时出现时,其顺序是至关重要的.
(1) xyA( x, y) yxA( x, y ) (2) xyA( x, y ) yxA( x, y )
等值式的定义
定义5.1 设A，B是一阶逻辑中任意两个公式，若 AB是永真 式，则பைடு நூலகம்A与B是等值的。 记做AB，称 AB 是等值式。
例如：
x(F(x) G(x)) x(F(x) G(x))
说 明
判断公式A与B是否等值，等价于判断公式AB是否 为永真式。 谓词逻辑中关于联结词的等值式与命题逻辑中相关 等值式类似。
一阶逻辑中的置换规则与命题逻辑中的置换规则形式 上完全相同，只是在这里A，B是一阶逻辑公式。 换名规则：设A为一公式，将A中某量词辖域中某约束变项的 所有出现及相应的指导变元改成该量词辖域中未曾出现过的 某个体变项符号，公式的其余部分不变，设所得公式为A'， 则A'A。

❖ ……
❖ Sn具有(或不具有)P属性，
❖ S1、S2、S3……Sn是S类思维对象的部分个体，并且在考察中没有发现反 面情况，
❖ 所以，所有S都具有（或不具有）P属性。
❖ 显而易见，简单枚举归纳推理结论所断定的范围超出了前提断定的范围， 因此，前提与结论的联系是或然的。但是，因为它的结论是一般性知识的概 括，揭示出存在于无数现象之间普遍性规律，给人们提供了全新的知识，所 以，与完全归纳推理相比，它更富有探索和创新的价值。它不仅能帮助人们 由个别现象引出普遍结论，而且可以在此基础上帮助人们预测未来的行动。
❖ ②某甲不具备作案时间， ❖ 某乙不具备作案时间， ❖ 某丙不具备作案时间， ❖ 某丁不具备作案时间， ❖ 某甲、某乙、某丙、某丁是某营业所的全部职工 ❖ 所以，某营业所的职工都不具备作案时间。 ❖ 例①在前提中列举了我国刑事诉讼法规定的每一种证据都具有“证明案件真实情况
的事实”的属性．从而推出“我国刑事诉讼法规定的所有证据都是证明案件真实情 况的事实”的一般性知识的结论。例②在前提中列举了某营业所的每—个职工都不 具有“作案时间”的属性，从而推出“营业所的职工都不具有作案时间”这个一般 性知识的结论。这些都是完全归纳推理。 ❖ 完全归纳推理的逻辑形式可以表示为： ❖ S 1具有(或不具有) P属性， ❖ S 2具有(或不具有) P属性， ❖ S3具有(或不具有) P属性， ❖ …… ❖ Sn具有(或不具有) P属性， ❖ S1、S2、S3……Sn是S类的全部对象 ❖ 所以，所有S都具有(或不具有)P属性。 ❖ 完全归纳推理的特点是：前提中考察了某类思维对象的每一个体，结论断定的范围 没有超出前提断定的范围，结论具有必然性。
❖ 三、完全归纳维理的作用
❖ 首先，完全归纳推理的前提是个别性知识，结沦是一般性知识，尽管 其结论知识没有突破前提知识，但它已起到了综合、概括的作用，有助 干人们认识的深化。

程序正确性证明的方法与技术第一章：引言在计算机科学领域中，程序正确性一直是一个重要的问题。

一个正确的程序能够按照预期的方式运行，并且产生正确的结果。

然而，由于程序的复杂性和人为错误的存在，程序的正确性往往难以保证。

因此，为了确保程序的正确性，人们提出了各种不同的方法和技术来进行程序正确性证明。

第二章：静态分析静态分析是一种常用的程序正确性证明方法。

它通过检查程序的源代码或中间表示来发现潜在的错误。

静态分析可以帮助检测常见的编程错误，如空指针引用、数组越界访问和未初始化变量等。

静态分析工具可以在编译时或者运行时进行分析，并提供相应的警告或错误信息。

静态分析方法有很多种，包括类型检查、数据流分析和符号执行等。

类型检查可以检查程序中变量的类型是否匹配，从而避免类型错误的发生。

数据流分析可以分析程序中数据的流动情况，帮助发现潜在的错误和不一致性。

符号执行是一种通过对程序的符号进行替换和计算来进行分析的方法，它可以发现程序中的不变量和约束条件，并用于证明程序的正确性。

第三章：模型检测模型检测是一种通过构建系统的形式化模型来验证程序的正确性的方法。

它将系统的行为抽象成一组状态和转换规则，并使用逻辑表达式来描述系统的性质。

然后，模型检测工具可以自动地遍历系统的状态空间，并检查所描述的性质是否成立。

模型检测方法可以用于验证各种类型的系统，包括并发系统、分布式系统和硬件系统等。

它可以帮助发现系统中的死锁、活锁和资源竞争等问题，并提供相应的修复建议。

模型检测方法的优势在于它可以自动化地进行验证，并且可以发现系统中的隐藏错误，从而提高程序的可靠性。

第四章：形式化验证形式化验证是一种使用数学方法来证明程序正确性的方法。

它通过将程序的语义和性质形式化为数学公式，然后使用定理证明或模型检验等技术来验证这些公式的真假。

形式化验证方法可以提供严格的证明，从而确保程序的正确性。

形式化验证方法有很多种，包括定理证明、模型检验和符号模型检验等。

[逻辑案例3]青年择偶过程中的减法规则 某报记者曾专题采访了一个女博士。记者采访 她的理由是，堂堂女博士嫁给了一个来自农村的， 比她小6岁的小区保安，这是一种向传统婚恋观挑 战的行为。当记者问她嫁给保安的理由时，女博 士笑着说，他善良、温和，我只图他人好，对我 好，其他什么也不图。分析当今年轻白领（无论 男女）的择偶过程，我们会发现，随着年龄增长， 阅历的丰富，其择偶的过程实际上是一个做减法 的过程。 下面是一则网上征婚启示中提出的基本择遇条 件： 异性（a）(因其不言而喻在广告中未被提及）， 23-28岁（b），身高***米以上（c），相貌秀丽 或俊美（d），在某地工作（e），本科以上学历 （f），性格温和（g），善良（h）。
•“并非有些鲸是鱼”等值于“所有的鲸都不是鱼。”

•“并非有的金属不是导体”等值于“所有金属都是 导体”。
第三节 联言命题(Conjunctive proposition )及其有效推理
联言命题就是反映几种对象情况同时存 在的命题 。 构成联言命题的联结词用“并且” 表示。具有两个联言支的联言命题，其 命题形式为： p并且q
直言命题负命题的等值命题：
直言命题的负命题是指支命题为直言命题 的负命题。 1、SAP＜＝＞SOP
•2、SEP＜＝＞SIP •3、SIP＜＝＞SEP •4、SOP＜＝＞SAP

“并非所有的鸟都是会飞的”等值于“有些鸟不 是会飞的。”
•“并非所有班上同学都不是三好学生”等值于“有 些班上同学是三好学生。”

第四节 选言命题 (Disjunctive ） proposition )及其推理
在的命题。
选言命题是反映几种对象情况有选择地存 根据选言命题的支命题（选言支 <Disjunct>）是否相容，选言命题分为两 种：相容选言命题和不相容选言命题。

考点测试34 二元一次不等式组与简单的线性规划一、基础小题1．不等式组⎩⎪⎨⎪⎧x ≥0，x ＋3y ≥4，3x ＋y ≤4所表示的平面区域的面积等于( )A ．32 B ．23 C ．43 D ．34答案 C解析 不等式组表示的平面区域如图阴影部分所示，即△ABC .由⎩⎪⎨⎪⎧x ＋3y ＝4，3x ＋y ＝4，得交点A 的坐标为(1,1)．又B 、C 两点的坐标分别为(0,4)，⎝ ⎛⎭⎪⎫0，43，故S △ABC ＝12·|BC |·|x A |＝12×⎝ ⎛⎭⎪⎫4－43×1＝43，故选C.2．若变量x ，y 满足约束条件⎩⎪⎨⎪⎧y ≤1，x ≤2，x －y ≥0，则x ＋3y 的最大值是( )A ．2B ．3C ．4D ．5答案 D解析 作出不等式组表示的可行域，如图(阴影部分)，易知z ＝x ＋3y 过点B (2,1)时取得最大值，z max ＝2＋3×1＝5.故选D.3．已知实数x ，y 满足约束条件⎩⎪⎨⎪⎧x ＋3y －7≤0，x ≥1，y ≥1，则|y －x |的最大值是( )A ．2 2B ．322C ．4D ．3答案 D解析 画出不等式组表示的平面区域(如图)，计算得A (1,2)，B (4,1)，当直线z ＝x －y 过点A 时z min ＝－1，过点B 时z max ＝3，则－1≤x －y ≤3，则|y －x |≤3.4．若点P (x ，y )的坐标满足条件⎩⎪⎨⎪⎧x ≥1，y ≥x ，y ≤－x ＋4，则x 2＋y 2的最大值为( )A ．10B ．8C ．16D ．10答案 D解析 画出不等式组对应的可行域如图所示，易得A (1,1)，|OA |＝2，B (2,2)，|OB |＝22，C (1,3)，|OC |＝10，故|OP |的最大值为10，即x 2＋y 2的最大值等于10.故选D.5．若实数x 、y 满足⎩⎪⎨⎪⎧x －y ＋1≤0，x >0，y ≤2，则yx的取值范围是( )A ．(0,2)B ．(0,2]C ．(2，＋∞)D ． B ．(22，32] C ．(32，25] D ．(0,22)∪(25，＋∞)答案 D解析 圆C 不经过区域D 有两种情况：①区域D 在圆外；②区域D 在圆内．由于不等式组中的一个不等式对应的直线y ＝x 正好经过圆的圆心，故利用圆的性质即可求解出r 的取值范围．作出不等式组⎩⎪⎨⎪⎧x ＋y ≤4，y －x ≥0，x －1≥0表示的平面区域，得到如图所示的△MNP 及其内部，其中M (1,1)，N (2,2)，P (1,3)，且MN ⊥PN .∵圆C ：(x ＋1)2＋(y ＋1)2＝r 2(r >0)表示以C (－1，－1)为圆心，r 为半径的圆．∴由图可得，当半径满足r <CM 或r >CP 时，圆C 不经过区域D 上的点．又∵CM ＝＋2＋＋2＝22，CP ＝＋2＋＋2＝25，∴当0<r <22或r >25时，圆C 不经过区域D 上的点．12．已知实数x ，y 满足⎩⎪⎨⎪⎧x ＋y －1≤0，x －y ＋1≥0，y ≥－1，则w ＝x 2＋y 2－4x －4y ＋8的最小值为________．答案 92解析 目标函数w ＝x 2＋y 2－4x －4y ＋8＝(x －2)2＋(y －2)2，其几何意义是点(2,2)与可行域内的点的距离的平方．由实数x ，y 所满足的不等式组作出可行域如图中阴影部分所示，由图可知，点(2,2)到直线x ＋y －1＝0的距离为其到可行域内点的距离的最小值，又|2＋2－1|2＝322，所以w min ＝92.二、高考小题13．若变量x ，y 满足⎩⎪⎨⎪⎧x ＋y ≤2，2x －3y ≤9，x ≥0，则x 2＋y 2的最大值是( )A ．4B ．9C ．10D ．12答案 C解析 作出不等式组所表示的平面区域，如图(阴影部分)所示，x 2＋y 2表示平面区域内的点到原点的距离的平方，由图易知平面区域内的点A (3，－1)到原点的距离最大，所以x 2＋y 2的最大值是10，故选C.14．若平面区域⎩⎪⎨⎪⎧x ＋y －3≥0，2x －y －3≤0，x －2y ＋3≥0夹在两条斜率为1的平行直线之间，则这两条平行直线间的距离的最小值是( )A ．355B ． 2C ．322D ． 5答案 B解析 作出可行域如图．由⎩⎪⎨⎪⎧ 2x －y －3＝0，x ＋y －3＝0，得A (2,1)，由⎩⎪⎨⎪⎧x ＋y －3＝0，x －2y ＋3＝0，得B (1,2)．斜率为1的平行直线l 1，l 2分别过A ，B 两点时它们之间的距离最小，且最小值为A 、B 两点之间的距离|AB |＝ 2.故选B.15．设x ，y 满足约束条件⎩⎪⎨⎪⎧2x －y ＋1≥0，x －2y －1≤0，x ≤1，则z ＝2x ＋3y －5的最小值为________． 答案 －10解析 可行域如图所示(包括边界)，直线2x －y ＋1＝0与x －2y －1＝0相交于点(－1，－1)，当目标函数线过(－1，－1)时，z 取最小值，z min ＝－10.16．若x ，y 满足约束条件⎩⎪⎨⎪⎧x ＋y －2≤0，x －2y ＋1≤0，2x －y ＋2≥0，则z ＝3x ＋y 的最大值为________．答案 4解析 由线性约束条件画出可行域，如图．解方程组⎩⎪⎨⎪⎧x ＋y －2＝0，x －2y ＋1＝0，得⎩⎪⎨⎪⎧x ＝1，y ＝1，即A 点坐标为(1,1)．当动直线3x ＋y －z ＝0经过点A (1,1)时，z 取得最大值，z max ＝3×1＋1＝4.17．某高科技企业生产产品A 和产品B 需要甲、乙两种新型材料．生产一件产品A 需要甲材料1.5 kg ，乙材料1 kg ，用5个工时；生产一件产品B 需要甲材料0.5 kg ，乙材料0.3 kg ，用3个工时．生产一件产品A 的利润为2100元，生产一件产品B 的利润为900元．该企业现有甲材料150 kg ，乙材料90 kg ，则在不超过600个工时的条件下，生产产品A 、产品B 的利润之和的最大值为________元．答案 216000解析 设生产产品A x 件，产品B y 件，依题意，得⎩⎪⎨⎪⎧x ≥0，y ≥0，1.5x ＋0.5y ≤150，x ＋0.3y ≤90，5x ＋3y ≤600，设生产产品A ，产品B 的利润之和为E 元，则E ＝2100x＋900y .画出可行域(图略)，易知最优解为⎩⎪⎨⎪⎧x ＝60，y ＝100，此时E max ＝216000.18．当实数x ，y 满足⎩⎪⎨⎪⎧x ＋2y －4≤0，x －y －1≤0，x ≥1时，1≤ax ＋y ≤4恒成立，则实数a 的取值范围是________．答案 ⎣⎢⎡⎦⎥⎤1，32解析 作出题中线性规划条件满足的可行域如图阴影部分所示，令z ＝ax ＋y ，即y ＝－ax ＋z .作直线l 0：y ＝－ax ，平移l 0，最优解可在A (1,0)，B (2,1)，C ⎝⎛⎭⎪⎫1，32处取得．故由1≤z ≤4恒成立，可得⎩⎪⎨⎪⎧1≤a ≤4，1≤2a ＋1≤4，1≤a ＋32≤4，解得1≤a ≤32.三、模拟小题19．若直线y ＝2x 上存在点(x ，y )满足约束条件⎩⎪⎨⎪⎧x ＋y －3≤0，x －2y －3≤0，x ≥m ，则实数m 的最大值为( )A ．－1B ．1C ．32D ．2答案 B解析 约束条件⎩⎪⎨⎪⎧x ＋y －3≤0，x －2y －3≤0，x ≥m表示的可行域如图中阴影部分所示．当直线x ＝m 从如图所示的实线位置运动到过A 点的虚线位置时，m 取最大值．解方程组⎩⎪⎨⎪⎧x ＋y －3＝0，y ＝2x得A 点坐标为(1,2)，∴m 的最大值是1，故选B.20．已知实数x ，y 满足：⎩⎪⎨⎪⎧x －2y ＋1≥0，x <2，x ＋y －1≥0.则z ＝2x －2y －1的取值范围是( )A ．⎣⎢⎡⎦⎥⎤53，5B ．C ．⎣⎢⎡⎭⎪⎫53，5 D ．⎣⎢⎡⎭⎪⎫－53，5 答案 D解析 画出不等式组所表示的区域，如图阴影部分所示，作直线l ：2x －2y －1＝0，平移l 可知2×13－2×23－1≤z <2×2－2×(－1)－1，即z 的取值范围是⎣⎢⎡⎭⎪⎫－53，5.21．若不等式组⎩⎪⎨⎪⎧x －y ≥0，2x ＋y ≤2，y ≥0，x ＋y ≤a表示的平面区域的形状是三角形，则a 的取值范围是( )A ．a ≥43B ．0<a ≤1C ．1≤a ≤43D ．0<a ≤1或a ≥43答案D解析 作出不等式组⎩⎪⎨⎪⎧x －y ≥0，2x ＋y ≤2，y ≥0表示的平面区域(如图中阴影部分)．由图知，要使原不等式组表示的平面区域的形状为三角形，只需动直线l ：x ＋y ＝a 在l 1、l 2之间(包含l 2，不包含l 1)或l 3上方(包含l 3)．故选D.22．已知变量x ，y 满足约束条件⎩⎪⎨⎪⎧x ＋2y －3≤0，x ＋3y －3≥0，y －1≤0，若目标函数z ＝ax ＋y (其中a >0)仅在点(1,1)处取得最大值，则a 的取值范围为( )A ．(0,2)B ．⎝ ⎛⎭⎪⎫0，12C ．⎝ ⎛⎭⎪⎫0，13 D ．⎝ ⎛⎭⎪⎫13，12 答案 B解析 约束条件表示的可行域如图中阴影部分所示，作直线l ：ax ＋y ＝0，过点(1,1)作l 的平行线l ′，要满足题意，则直线l ′的斜率介于直线x ＋2y －3＝0与直线y ＝1的斜率之间，因此，－12<－a <0，即0<a <12.故选B.23．已知实数x ，y 满足约束条件⎩⎪⎨⎪⎧x －y ＋1≥0，4x ＋3y －12≤0，y －2≥0，则z ＝2x －y ＋1x ＋1的最大值为( )A ．54 B ．45 C ．916 D ．12答案 B解析 因为z ＝2x －y ＋1x ＋1＝2x ＋2－y －1x ＋1＝2－y ＋1x ＋1，所以要求z 的最大值，只需求u ＝y ＋1x ＋1的最小值，画出可行域(图略)可知，使u ＝y ＋1x ＋1取得最小值的最优解为⎝ ⎛⎭⎪⎫32，2，代入z＝2x －y ＋1x ＋1，可求得z 的最大值为45，故选B.24．一个平行四边形的三个顶点的坐标为(－1,2)，(3,4)，(4，－2)，点(x ，y )在这个平行四边形的内部或边上，则z ＝2x －5y 的最大值是( )A ．16B ．18C ．20D ．36答案 C解析 平行四边形的对角线互相平分，如图，当以AC 为对角线时，由中点坐标公式得AC 的中点为⎝⎛⎭⎪⎫32，0，也是BD 的中点，可知顶点D 1的坐标为(0，－4)．同理，当以BC 为对角线时，得D 2的坐标为(8,0)，当以AB 为对角线时，得D 3的坐标为(－2,8)，由此作出(x ，y )所在的平面区域，如图阴影部分所示，由图可知当目标函数z ＝2x －5y 经过点D 1(0，－4)时，取得最大值，最大值为2×0－5×(－4)＝20，故选C.一、高考大题1．某化肥厂生产甲、乙两种混合肥料，需要A ，B ，C 三种主要原料．生产1车皮甲种肥料和生产1车皮乙种肥料所需三种原料的吨数如下表所示：现有A 种原料200吨，B 种原料360吨，C 种原料300吨，在此基础上生产甲、乙两种肥料．已知生产1车皮甲种肥料，产生的利润为2万元；生产1车皮乙种肥料，产生的利润为3万元．分别用x ，y 表示计划生产甲、乙两种肥料的车皮数．(1)用x ，y 列出满足生产条件的数学关系式，并画出相应的平面区域；(2)问分别生产甲、乙两种肥料各多少车皮，能够产生最大的利润？并求出此最大利润． 解 (1)由已知，x ，y 满足的数学关系式为⎩⎪⎨⎪⎧4x ＋5y ≤200，8x ＋5y ≤360，3x ＋10y ≤300，x ≥0，y ≥0.该二元一次不等式组所表示的平面区域为图1中的阴影部分．(2)设利润为z 万元，则目标函数为z ＝2x ＋3y .考虑z ＝2x ＋3y ，将它变形为y ＝－23x ＋z 3，这是斜率为－23，随z 变化的一族平行直线.z 3为直线在y 轴上的截距，当z3取最大值时，z 的值最大．又因为x ，y 满足约束条件，所以由图2可知，当直线z ＝2x ＋3y 经过可行域上的点M 时，截距z3最大，即z 最大．解方程组⎩⎪⎨⎪⎧4x ＋5y ＝200，3x ＋10y ＝300，得点M 的坐标为(20,24)．所以z max ＝2×20＋3×24＝112.所以生产甲种肥料20车皮、乙种肥料24车皮时利润最大，且最大利润为112万元． 二、模拟大题2．若x ，y 满足约束条件⎩⎪⎨⎪⎧x ＋y ≥1，x －y ≥－1，2x －y ≤2，(1)求目标函数z ＝12x －y ＋12的最值；(2)若目标函数z ＝ax ＋2y 仅在点(1,0)处取得最小值，求a 的取值范围．解 (1)作出可行域如图，可求得A (3,4)，B (0,1)，C (1,0)．平移初始直线12x －y ＝0，过A (3,4)取最小值－2，过C (1,0)取最大值1.∴z 的最大值为1，最小值为－2.(2)直线ax ＋2y ＝z 仅在点(1,0)处取得最小值，由图象可知－1<－a2<2，解得－4<a <2.故所求a 的取值范围是(－4,2)．3．为保增长、促发展，某地计划投资甲、乙两项目，市场调研得知：甲项目每投资百万元需要配套电能2万千瓦，可提供就业岗位24个，增加GDP 260万元；乙项目每投资百万元需要配套电能4万千瓦，可提供就业岗位32个，增加GDP 200万元．已知该地为甲、乙两项目最多可投资3000万元，配套电能100万千瓦，并要求它们提供的就业岗位不少于800个，如何安排甲、乙两项目的投资额，增加的GDP 最大？解 设甲项目投资x (单位：百万元)， 乙项目投资y (单位：百万元)， 两项目增加的GDP 为z ＝260x ＋200y ，依题意，x 、y 满足⎩⎪⎨⎪⎧x ＋y ≤30，2x ＋4y ≤100，24x ＋32y ≥800，x ≥0，y ≥0，所确定的平面区域如图中阴影部分．解⎩⎪⎨⎪⎧x ＋y ＝30，2x ＋4y ＝100，得⎩⎪⎨⎪⎧x ＝10，y ＝20，即A (10,20)；解⎩⎪⎨⎪⎧x ＋y ＝30，24x ＋32y ＝800，得⎩⎪⎨⎪⎧x ＝20，y ＝10，即B (20,10)．设z ＝0，得y ＝－1.3x ，将直线y ＝－1.3x 平移至经过点B (20,10)，即甲项目投资2000万元，乙项目投资1000万元，两项目增加的GDP最大．。

1 第五章 相交线与平行线 8.命题、定理、证明 预习导学 知识回顾 1.什么是对顶角？什么是平行线？ 2.什么是平行线的判定定理和性质是什么？ 情景材料 “如果 ……” “那么……”

目标定位 学习目标 1、了解命题、真命题、假命题、定理的含义，会区分命题的题设和结论． 2、会根据“题设”和“结论”把命题改写成“如果„„，那么„„”的形式，并能正确判定命题的真假 重点难点 重点：确定命题的“题设”与“结论”，并会改写成“如果„„，那么„„”的形式 难点：判断命题的真假

课堂探究 自主学习（知识探究） 探究1.什么是命题？并举例说明.

探究2.命题的构成是什么？并举例说明. 探究3.将命题改写成“如果„„，那么„„”的形式？并举例说明. 探究4.什么是真假命题？并举例说明. 探究5.什么是定理?什么是证明的过程？ 合作交流（例题探究） 探究6.判断下列语句是否是命题 (1)我是中国人。 (2)你吃饭了吗？ （3)两条平行线被第三条直线所截，同旁内角互补。 (4)两条直线平行，内错角相等。 (5)画一个45°的角。 (6)平角与周角一定不相等。 【点拨】判断一个语句是否为命题，关键看对语句是做出了判断。所谓判断，就是肯定一个事物是什么或不是什么，不能含混不清 探究7. 请同学们将下列命题写成“如

果„„，那么„„”的形式，例： (1)对顶角相等． (2)两条直线平行，内错角相等． (3)等角的补角相等．

【点拨】：题设的条件要全面、准确．如

果条件不止一个时，要一一列出． 探究8. 请判断以下命题的真假． (1)若ab＞0，则a＞0，b＞0． (2)两条直线相交，只有一个交点． (3)如果n是整数，那么2n是偶数． (4)如果两个角不是对顶角，那么它们不相等． (5)直角是平角的一半． 2

【点拨】判断命题的真假关键是题设成立时，结论是否成立。

巩固训练 1.（命题的概念）下列语句： （1）如果两条直线都与第三条直线平行，那么这两条直线也互相平行； （2）两条平行线被第三条直线所截，同旁内角互补； （3）对顶角相等； （4）等式两边同加同一个数，结果仍是等式。 是命题的为 2.（题设的概念）指出下列命题的“题设”与“结论” （1）不相等的两个角不是对顶角 题设： 结论： （2）互余的两个角不一定相等 题设： 结论： （3）若a>0，b>0，则ab>0 题设： 结论： （4）若a∥b,b∥c，则a∥c 题设： 结论： 3.（命题的题设与结论）将下列命题改写成“如果„„，那么„„”的形式 （1）两直线平行，同位角相等： （2）内错角相等，两直线平行： （3）正数的相反数是负数： （4）相等的两个角是对顶角： 4.（真假命题的概念）判断下列命题的真假，是假命题的。 （1）邻补角是互补的角 （2）互补的角是邻补角 （3）两个锐角的和是锐角 （4）不等式的两边同乘以一个负数，不等号的方向不变

立体几何证明实例分析
实例分析
通过具体实例分 析理解立体形状
的性质
空间关系
帮助理解空间中 的关系
应用实践
将理论知识应用 到实践中
提高能力
提高学生在立体 几何证明中的水
平和能力
立体几何证明注意事项
01 几何体表示
注意几何体的立体图形表示
02 投影关系
理解几何体各部分的投影关系
03 空间结构
把握空间结构和关系
● 07
第七章 结束
几何证明方法
在高中数学中，几何 证明是一项重要的学 习内容，通过严谨的 逻辑推理和形式化的 方法，可以证明几何 学中的各种定理和性 质，帮助我们深入理 解空间形状和关系。
几何证明常用方法
直角三角形 证明
利用勾股定理和 勾证法
平行线性质 证明
平行线与各角关 系的证明
圆的性质证 明
数学的严谨性
数学是一门注重严谨性和逻辑推理的科学。几何 证明通过形式化推理方法，可以帮助学生理解几 何概念和定理，提高他们的几何思维能力。形式 化推理方法的应用使得证明过程更加严密和有效， 从而加强学生对数学的理解和信心。
形式化推理方法的应用
严密性
证明过程清晰
广泛应用
数学推理
有效性
提高证明效率
几何证明在数学竞赛中的应用
提高学生推 理能力
锻炼逻辑思维
训练数学竞 赛技巧
掌握常见证明方 法
培养耐心和 细心
审题分析细节
加强解决问 题能力
应对复杂数学题 目
几何证明在科学研究中的应用
物理学
研究物体运动的轨迹 分析各种力的作用 探究空间中的电磁场
化学
确定分子结构的空间构型 推导化学反应机理 解释晶体结构的性质

解：(1)题设：AB⊥CD，垂足为O；结论：∠AOC＝90°. (2)题设：∠1＝∠2，∠2＝∠3；结论：∠1＝∠3. (3)题设：两直线平行；结论：同位角相等．
2 下列语句是命题的是( C ) A．延长线段AB到C B．用量角器画∠AOB＝90° C．同位角相等，两直线平行 D．任何数的平方都不小于0吗？
解：(1)如果两个角是对顶角，那么这两个角相等． (2)如果两条直线都和第三条直线垂直，那么这 两条直线平行． (3)如果两个角是同一个角的余角或两个相等的 角的余角，那么这两个角相等．
总结
(1)命题改写的原则：不改变命题的原意；为了改写 后的语句通畅且保持原意，应适当地增加或删减 词语或调换词序；
A．1个
B．2个
C．3个
D．4个
知识点 3 定理与证明(举反例)
1．定理：经过推理证实得到的真命题叫做定理． 2．证明：在很多情况下，一个命题的正确性需要经
过推理，才能作出判断，这个推理过程叫做证明．
例4 如图，已知直线b//c，a⊥b .求证a⊥c.
证明：∵a⊥b (已知)， ∴∠1 = 90° (垂直的定义). 又b//c(已知)， ∴∠1 = ∠2 (两直线平行，同位角相等). ∴ ∠2= ∠1 = 90° (等量代换). ∴a⊥c (垂直的定义).
5 命题“如果a2＝b2，那么a＝b或a＋b＝0”的 结论是（ C ） A．a2＝b2或a＝b B．a2＝b2 C．a＝b或a＋b＝0 D．a2＝b2或a＋b＝0
知识点 2 命题的分类
命题的种类： (1)真命题：如果题设成立，那么结论一定成立，这
样的命题叫真命题． (2)假命题：题设成立时，不能保证结论一定成立，
1 举出学过的2~3个真命题.
解：如：等角的余角相等， 同旁内角互补，两直线平行．

考点测试33 一元二次不等式及其解法高考概览高考在本考点的常考题型为选择题、填空题，分值5分，中、低等难度 考纲研读1.会从实际问题的情境中抽象出一元二次不等式模型2．通过函数图象了解一元二次不等式与相应的二次函数、一元二次方程的联系3．会解一元二次不等式一、基础小题1．不等式－3<4x －4x 2≤0的解集是( )A.⎩⎨⎧⎭⎬⎫x |－12<x ≤0或1≤x <32 B ．{x |x ≤0或x ≥1}C.⎩⎨⎧⎭⎬⎫x |－12<x <32D.⎩⎨⎧⎭⎬⎫x |x ≤－12或x ≥32答案 A解析 不等式可化为⎩⎪⎨⎪⎧4x x －1≥0，4x 2－4x －3<0，解得⎩⎪⎨⎪⎧x ≤0或x ≥1，－12<x <32，所以－12<x ≤0或1≤x <32.故选A.2．若不等式ax 2＋bx －2<0的解集为⎩⎨⎧⎭⎬⎫x |－2<x <14，则ab ＝( ) A ．－28 B ．－26 C ．28 D ．26答案 C解析 ∵－2，14是方程ax 2＋bx －2＝0的两根，∴⎩⎪⎨⎪⎧－2a ＝－2×14＝－12，－b a ＝－74，∴⎩⎪⎨⎪⎧a ＝4，b ＝7，∴ab ＝28.3．不等式3x －1x －2≤0的解集为( )A.⎩⎨⎧⎭⎬⎫x |13≤x ≤2 B ．⎩⎨⎧⎭⎬⎫x |x >2或x ≤13C.⎩⎨⎧⎭⎬⎫x |13≤x <2 D ．{x |x <2}答案 C解析 不等式3x －1x －2≤0等价于(3x －1)(x －2)≤0，且x －2≠0，解得13≤x <2.故选C.4．若关于x 的不等式x 2－ax －a ≤－3的解集不是空集，则实数a 的取值X 围是( ) A ．[2，－∞) B ．(－∞，－6]C ．[－6,2]D ．(－∞，－6]∪[2，＋∞)答案 D解析 由关于x 的不等式x 2－ax －a ≤－3的解集不是空集，得对应方程x 2－ax －a ＋3＝0有实数根，即Δ＝a 2＋4(a －3)≥0，解得a ≥2或a ≤－6，所以实数a 的取值X 围是(－∞，－6]∪[2，＋∞)．故选D.5．若函数f (x )＝kx 2－6kx ＋k ＋8的定义域为R ，则实数k 的取值X 围是( ) A ．{k |0＜k ≤1} B ．{k |k ＜0或k ＞1} C ．{k |0≤k ≤1} D ．{k |k ＞1}答案 C解析 当k ＝0时，8＞0恒成立；当k ≠0时，只需⎩⎪⎨⎪⎧k ＞0，Δ≤0，即⎩⎪⎨⎪⎧k ＞0，36k 2－4k k ＋8≤0，则0＜k ≤1.综上，0≤k ≤1.6．不等式|x 2－x |<2的解集为( ) A ．(－1,2) B ．(－1,1) C ．(－2,1) D ．(－2,2)答案 A解析 由|x 2－x |<2，得－2<x 2－x <2，即⎩⎪⎨⎪⎧x 2－x <2， ①x 2－x >－2. ②由①，得－1<x <2.由②，得x ∈R .所以解集为(－1,2)．故选 A.7．存在x ∈[－1,1]，使得x 2＋mx －3m ≥0，则m 的最大值为( ) A ．1 B ．14 C ．12 D ．－1答案 C解析 若对于任意x ∈[－1,1]，不等式x 2＋mx －3m <0恒成立，则由函数f (x )＝x 2＋mx －3m 的图象可知⎩⎪⎨⎪⎧f －1＝1－m －3m <0，f1＝1＋m －3m <0，解得m >12.所以若存在x ∈[－1,1]，使得x 2＋mx－3m ≥0，则m ≤12，所以m 的最大值为12.故选C.8．设不等式x 2－2ax ＋a ＋2≤0的解集为A ，若A ⊆[1,3]，则实数a 的取值X 围为( ) A.⎝⎛⎦⎥⎤－1，115 B ．⎝⎛⎭⎪⎫1，115C.⎝⎛⎭⎪⎫2，115D ．[－1,3]答案 A解析 设f (x )＝x 2－2ax ＋a ＋2，因为不等式x 2－2ax ＋a ＋2≤0的解集为A ，且A ⊆[1,3]，所以对于方程x 2－2ax ＋a ＋2＝0，若A ＝∅，则Δ＝4a 2－4(a ＋2)<0，即a 2－a －2<0，解得－1<a <2；若A ≠∅，则⎩⎪⎨⎪⎧Δ＝4a 2－4a ＋2≥0，f 1≥0，f 3≥0，1≤a ≤3，即⎩⎪⎨⎪⎧a ≥2或a ≤－1，a ≤3，a ≤115，1≤a ≤3，所以2≤a ≤115.综上，实数a 的取值X 围为⎝ ⎛⎦⎥⎤－1，115，故选A. 9．不等式|x (x －2)|>x (x －2)的解集是________． 答案 {x |0<x <2}解析 不等式|x (x －2)|>x (x －2)的解集即x (x －2)<0的解集，解得0<x <2，故不等式的解集为{x |0<x <2}．10．已知三个不等式：①x 2－4x ＋3<0，②x 2－6x ＋8<0，③2x 2－9x ＋m <0.要使同时满足①②的所有x 的值满足③，则实数m 的取值X 围为________．答案 m ≤9解析 由①②得2<x <3，要使同时满足①②的所有x 的值满足③，即不等式2x 2－9x ＋m <0在x ∈(2,3)上恒成立，即m <－2x 2＋9x 在x ∈(2,3)上恒成立，又－2x 2＋9x 在x ∈(2,3)上大于9，所以实数m ≤9.11．若关于x 的不等式5x 2－a ≤0的正整数解是1,2,3，则实数a 的取值X 围是________． 答案 [45,80)解析 因为关于x 的不等式5x 2－a ≤0的正整数解是1,2,3，所以a >0，解不等式得x 2≤a5，所以－a5≤x ≤ a5，所以3≤a5<4，所以9≤a5<16，即45≤a <80，所以实数a 的取值X 围是[45,80)．12．若a <0，则关于x 的不等式组⎩⎪⎨⎪⎧ax －a 2<0，x 2－ax －2a 2<0的解集为________．答案 (a ，－a )解析 因为a <0，所以由ax －a 2＝a (x －a )<0，得x >a ，由x 2－ax －2a 2＝(x －2a )(x ＋a )<0，得2a <x <－a .所以原不等式组的解集为(a ，－a )．二、高考小题13．(2019·某某高考)设x ∈R ，使不等式3x 2＋x －2<0成立的x 的取值X 围为________． 答案 ⎝⎛⎭⎪⎫－1，23解析 3x 2＋x －2<0变形为(x ＋1)(3x －2)<0，解得－1<x <23，故使不等式成立的x 的取值X 围为⎝⎛⎭⎪⎫－1，23. 14．(2015·某某高考)不等式－x 2－3x ＋4>0的解集为________(用区间表示)． 答案 (－4,1)解析 不等式－x 2－3x ＋4>0等价于x 2＋3x －4<0，解得－4<x <1.15．(经典某某高考)已知函数f (x )＝x 2＋mx －1，若对于任意x ∈[m ，m ＋1]，都有f (x )<0，则实数m 的取值X 围是________．答案 ⎝ ⎛⎭⎪⎫－22，0 解析 由题可得f (x )<0对于x ∈[m ，m ＋1]恒成立，等价于⎩⎪⎨⎪⎧fm ＝2m 2－1<0，f m ＋1＝2m 2＋3m <0，解得－22<m <0. 16．(经典某某高考)已知f (x )是定义域为R 的偶函数，当x ≥0时，f (x )＝x 2－4x .那么，不等式f (x ＋2)<5的解集是________．答案 (－7,3)解析 当x ≥0时，f (x )＝x 2－4x <5的解集为[0,5)，又f (x )为偶函数，所以f (x )<5的解集为(－5,5)．所以f (x ＋2)<5的解集为(－7,3)．三、模拟小题17．(2019·某某二模)若a <b ，d <c ，并且(c －a )(c －b )<0，(d －a )(d －b )>0，则a ，b ，c ，d 的大小关系为( )A ．d <a <c <bB ．a <d <c <bC ．a <d <b <cD ．d <c <a <b答案 A解析 因为a <b ，(c －a )(c －b )<0，所以a <c <b ，因为(d －a )(d －b )>0，所以d <a <b 或a <b <d ，又d <c ，所以d <a <b .综上，d <a <c <b .18．(2019·某某二中月考)在R 上定义运算☆：a ☆b ＝ab ＋2a ＋b ，则满足x ☆(x －2)<0的实数x 的取值X 围为( )A ．(0,2)B ．(－2,1)C ．(－∞，－2)∪(1，＋∞)D ．(－1,2)答案 B解析 根据定义得x ☆(x －2)＝x (x －2)＋2x ＋(x －2)＝x 2＋x －2<0，解得－2<x <1，所以实数x 的取值X 围为(－2,1)．故选B.19．(2019·某某实验中学诊断)不等式－x 2＋|x |＋2<0的解集是( ) A ．{x |－2<x <2} B ．{x |x <－2或x >2} C ．{x |－1<x <1} D ．{x |x <－1或x >1}答案 B解析 原不等式化为|x |2－|x |－2>0，所以(|x |－2)·(|x |＋1)>0.因为|x |＋1>0，所以|x |－2>0，即|x |>2，解得x <－2或x >2.故选B.20．(2019·鄂尔多斯第一中学模拟)关于x 的不等式x 2－2ax －8a 2<0(a >0)的解集为(x 1，x 2)，且x 2－x 1＝15，则a ＝( )A.154B ．72C ．52D ．152答案 C解析 因为x 2－2ax －8a 2<0(a >0)，所以(x ＋2a )·(x －4a )<0(a >0)，得－2a <x <4a .又x 2－x 1＝15，所以6a ＝15，解得a ＝52.故选C.21．(2019·某某高三一模)已知关于x 的不等式x 2－4ax ＋3a 2<0(a <0)的解集为(x 1，x 2)，则x 1＋x 2＋ax 1x 2的最大值是( ) A.63B ．233C ．433D ．－433答案 D解析 ∵不等式x 2－4ax ＋3a 2<0(a <0)的解集为(x 1，x 2)，∴在方程x 2－4ax ＋3a 2＝0中，由根与系数的关系知x 1x 2＝3a 2，x 1＋x 2＝4a ，则x 1＋x 2＋a x 1x 2＝4a ＋13a .∵a <0，∴－⎝⎛⎭⎪⎫4a ＋13a ≥2－4a ·－13a ＝433，即4a ＋13a ≤－433，故x 1＋x 2＋a x 1x 2的最大值为－433.故选D.22．(2019·苏北四市、苏中三市三调)已知函数f (x )＝⎩⎪⎨⎪⎧x 2－2x ，x ≥0，－x 2－2x ，x ≤0，则不等式f (x )>f (－x )的解集为________．答案 (－2,0)∪(2，＋∞)解析 若x ≥0，则f (x )＝x 2－2x ，f (－x )＝－x 2＋2x ，由f (x )>f (－x )得x 2－2x >－x 2＋2x ⇒x >2，故x >2.若x <0，则f (x )＝－x 2－2x ，f (－x )＝x 2＋2x ，由f (x )>f (－x )得，－x 2－2x >x 2＋2x ⇒－2<x <0，故－2<x <0.综上，不等式f (x )>f (－x )的解集为(－2,0)∪(2，＋∞)．一、高考大题本考点在近三年高考中未涉及此题型． 二、模拟大题1．(2019·某某模拟)对任意m ∈[－1,1]，函数f (x )＝x 2＋(m －4)x ＋4－2m 的值恒大于零，求x 的取值X 围．解 由f (x )＝x 2＋(m －4)x ＋4－2m ＝(x －2)m ＋x 2－4x ＋4， 令g (m )＝(x －2)m ＋x 2－4x ＋4.由题意知在[－1,1]上，g (m )的值恒大于零，所以⎩⎪⎨⎪⎧g －1＝x －2×－1＋x 2－4x ＋4>0，g 1＝x －2＋x 2－4x ＋4>0，解得x <1或x >3.故当x ∈(－∞，1)∪(3，＋∞)时，对任意的m ∈[－1,1]，函数f (x )的值恒大于零． 2．(2019·某某质检)已知f (x )是定义在R 上的偶函数，且当x ≥0时，f (x )＝e x.若对任意x ∈[a ，a ＋1]，恒有f (x ＋a )≥f (2x )成立，某某数a 的取值X 围．解 因为函数f (x )是偶函数，故函数f (x )的图象关于y 轴对称，且在(－∞，0]上单调递减，在[0，＋∞)上单调递增． 所以由f (x ＋a )≥f (2x )可得|x ＋a |≥2|x |在[a ，a ＋1]上恒成立， 从而(x ＋a )2≥4x 2在[a ，a ＋1]上恒成立， 化简得3x 2－2ax －a 2≤0在[a ，a ＋1]上恒成立， 设h (x )＝3x 2－2ax －a 2， 则有⎩⎪⎨⎪⎧h a ＝0≤0，ha ＋1＝4a ＋3≤0，解得a ≤－34.故实数a 的取值X 围是⎝⎛⎦⎥⎤－∞，－34. 3．(2019·某某八校联考)已知关于x 的不等式(ax －1)(x ＋1)＞0.(1)若此不等式的解集为⎩⎨⎧⎭⎬⎫x |－1＜x ＜－12，某某数a 的值；(2)若a ∈R ，解这个关于x 的不等式． 解 (1)∵不等式(ax －1)(x ＋1)＞0的解集为⎩⎨⎧⎭⎬⎫x |－1＜x ＜－12，∴方程(ax －1)(x ＋1)＝0的两根是－1，－12；∴－12a －1＝0，∴a ＝－2.(2)∵(ax －1)(x ＋1)＞0，∴当a ＜0时，不等式可化为⎝⎛⎭⎪⎫x －1a (x ＋1)＜0.若a ＜－1，则1a ＞－1，解得－1＜x ＜1a；若a ＝－1，则1a＝－1，不等式的解集为∅； 若－1＜a ＜0，则1a ＜－1，解得1a＜x ＜－1；当a ＝0时，不等式为－(x ＋1)＞0，解得x ＜－1.当a ＞0时，不等式为⎝⎛⎭⎪⎫x －1a (x ＋1)＞0，∵1a ＞－1，∴解不等式得x ＜－1或x ＞1a.综上，当a ＜－1时，不等式的解集为⎩⎨⎧⎭⎬⎫x |－1＜x ＜1a ；当a ＝－1时，不等式的解集为∅；当－1＜a ＜0时，不等式的解集为⎩⎨⎧⎭⎬⎫x |1a＜x ＜－1；当a ＝0时，不等式的解集为{x |x ＜－1}；当a ＞0时，不等式的解集为⎩⎨⎧⎭⎬⎫x |x ＜－1或x ＞1a .4．(2019·某某正定中学月考)已知f (x )＝ax 2＋x －a ，a ∈R .(1)若不等式f (x )>(a －1)x 2＋(2a ＋1)x －3a －1对任意的x ∈[－1,1]恒成立，某某数a 的取值X 围；(2)若a <0，解不等式f (x )>1.解 (1)原不等式等价于x 2－2ax ＋2a ＋1>0对任意的x ∈[－1,1]恒成立， 设g (x )＝x 2－2ax ＋2a ＋1＝(x －a )2－a 2＋2a ＋1，x ∈[－1,1]， ①当a <－1时，g (x )min ＝g (－1)＝1＋2a ＋2a ＋1>0，无解；②当－1≤a ≤1时，g (x )min ＝g (a )＝－a 2＋2a ＋1>0，得1－2<a ≤1； ③当a >1时，g (x )min ＝g (1)＝1－2a ＋2a ＋1>0，得a >1. 综上，实数a 的取值X 围为(1－2，＋∞)． (2)f (x )>1，即ax 2＋x －a －1>0， 即(x －1)(ax ＋a ＋1)>0， 因为a <0，所以(x －1)⎝⎛⎭⎪⎫x ＋a ＋1a <0， 因为1－⎝ ⎛⎭⎪⎫－a ＋1a ＝2a ＋1a ，所以当－12<a <0时，1<－a ＋1a ，解集为⎩⎨⎧⎭⎬⎫x |1<x <－a ＋1a ； 当a ＝－12时，不等式可化为(x －1)2<0，不等式无解；当a <－12时，1>－a ＋1a，解集为⎩⎨⎧⎭⎬⎫x |－a ＋1a <x <1. 5．(2019·某某河东一模)设二次函数f (x )＝ax 2＋bx ＋c ，函数F (x )＝f (x )－x 的两个零点为m ，n (m <n )．(1)若m ＝－1，n ＝2，求不等式F (x )>0的解集； (2)若a >0，且0<x <m <n <1a，比较f (x )与m 的大小．解 (1)由题意知，F (x )＝f (x )－x ＝a (x －m )(x －n )． 当m ＝－1，n ＝2时，不等式F (x )>0，即a (x ＋1)(x －2)>0. 当a >0时，不等式F (x )>0的解集为{x |x <－1或x >2}； 当a <0时，不等式F (x )>0的解集为{x |－1<x <2}． (2)f (x )－m ＝F (x )＋x －m ＝a (x －m )(x －n )＋x －m ＝(x －m )(ax －an ＋1)， 因为a >0，且0<x <m <n <1a，所以x －m <0,1－an ＋ax >0. 所以f (x )－m <0，即f (x )<m .。

第五章：演绎推理（上）一、教目的和要求：通过本章的学生，使学生正确理解推理的实质和意义，明确推理有逻辑性的条件和各种推理的分类，在此基础上具体掌握各种直接推理的方法和规则，引导学生在正确理解关于推理的基本概念，基本原理的前提下，把握直接推理的演绎性质，学会正确地运用各种直接推理的形式和规则。

并能在思维实践中，准确的明什么是正确的推理什么是错误的推理。

二、主要内容：本章共二节，推理的概述，直接推理。

三、重点，判断变形。

难点：换位法直接推理。

四、方法：讲授法本章大约用4课时五：参考书目：《形式逻辑》宋心济2、《形式逻辑教程》陈甲善3、《普通逻辑原理》吴家国第一节、推理的概述一、什么是推理在人们的思维过程中，除去用概念反映了事物的本质属性利用判断对事物作出某种断定外，还要借助人们已有的知识,反映更为复杂的事务之间的联系,从而扩大认识领域,获得新知识.我们知道, 思维形式的本质特征来说,概念只反映某一事物的本质贺范围,而判断则进一步对事物作出某些方面的断定,既可断定其本质、范围。

又可断定事物其他多方面的情况。

即可断定人们的理性认识，也可以断定人们的感性认识等等。

而推理则是一种更为复杂的思维形式，它以一个或n个已知的判断中推出一个新的判断。

它集中地体现了人们由已知推出新知识的思维过程。

它是逻辑学所要研究的核心部分，它以对概念和判断的研究作为基础，它非常鲜明地体现了逻辑科学的实用性，它强烈地表现出它作为各门科学基础，这一学科的特征。

近代科学之所以能突飞猛进地发展它的基础由两个：一是系统的科学实验。

二就是逻辑推理，居于这一点大家也应该，学点推理知识。

以便以后更好地工作。

如：在日常生活中，看到下了一场春雨，想到对庄稼必有好处，在科研中，根据气象分析，作出天气预报，根据事物的特征，推断所居年代等等，这些都是推理的思维活动。

由此可见，推理是一种由已知推断未知的思考活动，是人们在日常生活中和科研中经常运用的一种思维形式。