已知函数 是定义在 上的增函数。要使得对于定义域内的一切实数 ,不等式
恒成立,则实数 的范围是。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
外层函数只在给定半轴有定义,两个内部输入必须先全程落在此域内。
之后才能用严格单调消去函数,再处理三角输入的最坏值。
对全部 ,两内部输入有定义要求
即 、。在此基础上,严格递增性使原比较等价于 。令 ,即要求
最小值为 ,所以 。与输入域条件取交,得
仍覆盖任意多整周期,故所用三角极值确能取到。下参数端比较可取等,上端某内部输入取域端负四,也合法。若只比较两个输入而漏定义域,会误收大于一的参数。
单调外层的比较必须先保证双方输入均在其定义域。全称量词既控制代数不等式,也控制复合式始终有意义。
须同时核两层函数输入域与单调比较,再对三角换元后的二次式恒成立条件取交。
已记下,谢谢!