设对每个正整数 ,皆有
则正整数 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先分别解出两侧不等式对正整数 的限制,再落实“每个 ”的全称条件。
题目没有要求最大的 ,因此要列出全部合法正整数。
令 。因分母均为正,左边不等式等价于
右边不等式等价于 。有 、,且
所以两式同时成立当且仅当 。由 ,知此阈值严格在27与28之间。故对正整数 ,两式同时成立恰好为 。要求每个正整数 均成立,等价于 。所有可取值为 。
当 时,全部被量化的正整数 都不超过27,故充分性成立。若 ,输入 已不满足严格阈值,因而必要性也成立。27是可取最大值,但原题没有限定取最大,不能遗漏其余26个合法值。
全称条件只要求前 项全部合法时,先找失败的第一个整数,再列出全部允许的截止点;“求参数”与“求最大参数”应按原题的量词区分。
对两侧分式分别整理正整数输入的限制,再落实全称量词,列出全部合法截止参数而非只给最大者。
已记下,谢谢!