专题地图 › 集合与简易逻辑
一试训练题
F3填空题集合与简易逻辑
平面上有三个点集
M={(x,y)∣∣x∣+∣y∣<1},
N={(x,y) (x−21)2+(y+21)2+(x+21)2+(y−21)2<22},
P={(x,y)∣∣x+y∣<1, ∣x∣<1, ∣y∣<1}.
求这三个集合之间的关系。
作答
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
标准答案:M⫋P⫋N
解析
提示
先比较容易直接看出的包含关系,再把斜向绝对值换成对称轴坐标。
思路
距离和给出的是椭圆内部;统一坐标后可用一个明确不等式证明包含,而严格包含还要分别找反例点。
解答
令 u=x+y,v=x−y,则 x=(u+v)/2,y=(u−v)/2,并且
∣x∣+∣y∣=max{∣u∣,∣v∣},max{∣x∣,∣y∣}=2∣u∣+∣v∣.
故 M 等价于 ∣u∣<1,∣v∣<1,而 P 等价于 ∣u∣<1,∣u∣+∣v∣<2。 因此 M⊆P。点 (43,−43) 满足 P 的条件而不属于 M,所以 M⫋P。
N 是焦点 (21,−21),(−21,21)、长轴长 22 的椭圆内部。 在正交坐标 u/2,v/2 下,半长轴平方为 2,半焦距平方为 1/2,半短轴平方为 3/2, 故 N 等价于 u2/3+v2/4<1。 若 (x,y)∈P,记 s=∣u∣,则 0≤s<1 且 ∣v∣<2−s,从而
3u2+4v2<3s2+4(2−s)2=1−s+127s2≤1.
最后一步由 s(7s/12−1)≤0 得到。因此 P⊆N。 点 (53,53) 对应 u=56,v=0,有 u2/3=12/25<1,但 ∣u∣>1,故它属于 N 而不属于 P。 综上 M⫋P⫋N。
复核
取 (4/5,−4/5),有 ∣x+y∣=0 且两坐标绝对值都小于1,但 ∣x∣+∣y∣=8/5,所以它区分了菱形与中间点集。再取 (1,0),在 u=x+y,v=x−y 坐标中有 u2/3+v2/4=7/12<1,却不满足 ∣x∣<1。两处严格性分别得到独立见证;u=0 时椭圆不等式仍因 ∣v∣<2 而严格。
方法总结
比较多个点集时,先把各自的几何定义放到同一个坐标系统,再做双向的条件解释。图形相像不能证明包含;每条严格包含还须给出属于大集而不属于小集的具体点,并核开边界。
为什么评为 F3(会透露解法方向)
核心在选用和差坐标同时化简三个点集,随后由区间限制估计椭圆式并给真包含见证。
用到的方法(会透露解法方向)
核心工具:把集合条件翻译成不等式或方程
专题卡:描述法、像集给出的集合:把“属于”逐条翻译成条件