17集合与逻辑基础★★★★☆
A={(x,y)∣x=n,y=na+b,n∈Z},
B={(x,y)∣x=m,y=3m2+15,m∈Z},
C={(x,y)∣x2+y2⩽144} 是平面
xOy 内的点集合,讨论是否存在
a 和
b 使得
(1)
A∩B=∅(
∅ 表示空集);
(2)
(a,b)∈C 同时成立.
\begin{solution}
若
A∩B=∅,则存在整数
n 和
m,使得
(n,na+b)=(m,3m2+15). 比较横坐标得
n=m,记这个整数为
k,于是
ka+b=3k2+15
恒等式
(k2+1)(a2+b2)=(ka+b)2+(a−kb)2 给出
a2+b2⩾k2+1(ka+b)2=k2+1(3k2+15)2
而
(3k2+15)2−144(k2+1)=9(k2−3)2>0,其中严格不等号成立是因为
k 为整数,不可能有
k2=3. 所以
a2+b2>144,这与
(a,b)∈C,即
a2+b2⩽144,矛盾. 因此不存在同时满足这两个条件的实数
a 和
b.
\end{solution}
1985 · 全国 · 理 · 第 17 题 · 解答题