已知集合 。若非空集合 满足: 中各元素都加 后构成 的一个子集, 中各元素都减 后也构成 的一个子集,则 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
对任一待选元素同时使用加四与减四后的成员条件。
设 。由 ,得 ;由 ,得 。两个必要条件的交集只有 ,故 。又 非空,因此 。
取元素 时,加四和减四分别为 ,均在给定集合内,因此该非空集合确实满足条件。
多个平移像的包含条件,适合逐元素翻译为逆向平移后的交集。
逐元素把加减平移后的包含条件反向翻译,取两个可选集合的交;非空条件再排除空集。
已记下,谢谢!