已知函数 ,其中 ,。若 恒成立,则满足题设的常数 的个数为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
每项都不超过1,严格小于2等价于两项不能同时取1。
列出一项全部取最大值的相位,再用整数同余筛频率。
有 ,等号当且仅当 。第一式给出 ,其中 。再代入第二式,等价于存在整数 使
若 为奇数,左边为奇数,不可能成立。若 为偶数,则 是8的倍数,故条件恰为 ;此时取 就能实现等号。 所以要排除 ,共253个频率。其余每个频率都使所有实数输入严格小于2,故个数为 。
被排除的频率在 都实际达到2;没有被排除的频率不存在两项同时取1的输入。这里要求每点严格小于2,并没有另要求一个统一的小于2的常数界,不能擅自加强条件。
三角和的严格全域界可以先研究等号条件。整数频率下,相位相遇问题常能精确转为模运算后计数。
关键是把严格恒小于转为两个正弦不能同时为1,再按频率奇偶导出并统计模8排除类。
核心工具:反求全部合法输入并筛选、剩余类、幂周期与局部排除
已记下,谢谢!