摘要
本课把不等式的研究推广到平面上。它证明一条直线把平面分成两个半平面,定义这条直线的线性表达式在每个半平面中保持符号不变,并由此得到测试点法。它把线性不等式组的解区域描述为若干半平面的交集,连同它的顶点,并证明它是凸的;接着研究由圆锥曲线围成的区域。最后讨论线性规划:在多边形区域上求线性函数的最大值或最小值,其基本定理保证,在有界的凸多边形上两者都在顶点处取得,而在至少有一个顶点的无界区域上,任何存在的最优值也在某个顶点处取得;还讨论生产、饲料配方和运输问题。
学习目标
- 借助测试点,把二元线性不等式的解集表示为一个开的或闭的半平面。
- 确定线性不等式组的解区域、它的顶点以及它是有界的还是无界的,并说明它为什么是凸的。
- 用不等式描述由直线和圆锥曲线围成的区域,并画出这样描述的区域。
- 用顶点定理和等值线建立并求解二元线性规划问题,区分唯一最优解、多个最优解和没有最优解的情形。
半平面
在关于直线的方程的课中已经看到,每条直线都是满足方程 的点的集合,其中 与 不全为零:若 ,解出得 ,即斜率为 的直线;若 ,方程化为 ,即一条竖直的直线。如果要求的不是等式而是不等式,解集就不再是一条曲线,而成为一个区域。在关于一次方程与一次不等式的课中,一元一次不等式的解是实数轴上的一个区间;有两个未知数时,解是一个半平面。
设 是一条不竖直的直线, 是一个点。我们说 在 的上方,如果 大于 上横坐标为 的点的纵坐标;如果小于,就说它在下方。若 是竖直的,则以同样的方式谈论位于它右侧和左侧的点。这两个集合中的每一个都是以 为边界的开半平面;若再加上这条直线,就是闭半平面。
设 为直线 ,其中 与 不全为零,并设 。表达式 在 的每一侧符号不变:它在两个开半平面之一的所有点上为正,在另一个的所有点上为负。更确切地说,若 ,则它在 的上方为正、下方为负;若 ,则正好相反;若 ,则它在 的右侧为正(当 时),在其左侧为正(当 时)。
证明
设 是不在 上的点,先假设 。过 的竖直直线与 交于唯一的点 ,其纵坐标通过解出 得到(利用 的方程);点 满足这个方程。
从 在 处的值中减去这个零:含 的项与常数项相消,只剩一个乘积。
若 ,根据在关于符号表与不等式的课中学过的符号法则,乘积与 同号:当 在 的上方时为正,在其下方时为负。
若 ,乘积与 异号:表达式在 的上方为负,在其下方为正。
若 ,则 ,且 是竖直的直线 ,其中 。用 上纵坐标与 相同的点重复这一计算。
若 ,表达式为正当且仅当 ,即在 的右侧;若 ,则在其左侧。在所有情形下, 在一点处的符号只取决于该点位于 的哪一侧。
定理所说的比实际使用的更多:不必记住每一侧对应哪个符号,因为只要知道 在某一侧的一个点处的符号,就知道它在该侧所有点处的符号。这就是测试点法。
要画出不等式 (或带 、 或 的不等式)的图示,先画出直线 ,再在不在其上的一个测试点(通常是原点)处计算表达式的值。若该点满足不等式,解集就是包含它的半平面;若不满足,就是另一个半平面。若不等式是严格的,直线不属于解集,画成虚线;若不是严格的,直线属于解集,画成实线。
画出不等式 的解集。
证明
利用边界直线与两轴的交点画出它:令 得 ,令 得 。
原点不在直线上。在原点处计算表达式的值:值为正,所以原点满足不等式。
解集是包含原点的半平面。定理也证实了这一点:由于 ,表达式在直线下方为正。
不等式是严格的:直线上的点,例如 ,使表达式为零,不满足不等式。边界被排除在外,画成虚线。
正在加载内容…
已完成
登录账户以保存您的进度