设 表示不超过实数 的最大整数,定义 。当 都是不超过 的正整数时, 的最大值为 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
表达式对两个整数对称,可先固定较大者与较小者的比。
按整数部分分组比较,再用三十以内的整数限制找最靠近分界点的比值。
由对称性可设 。 时目标为零。设 、,则目标为 ,在每个 上随 严格增加。若 ,该值严格小于 。若 ,则 。当 时,,所以 ;当 时,。故这一类最大在 取得,为
它大于 ,所以是全局最大值。
最大构造的两数都不超过30。分段函数的增加性可由差式 核对;整数比达到分界点时分数部分会跳回零,不能把开端点的极限当作实际最大。
分数部分先按商的整数部分分组;实变量单调界之后,还要利用分子分母的整数上限找实际最优有理数。
需自主压缩比值范围,再衔接单调性和整数约束确定极值。
已记下,谢谢!