实数 满足
则 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
相减消去线性变量后,一边有统一上界,另一边有同样的下界,只能同时达到边界。
两式相减得 ,即 。因 ,有 、,所以只能 、,从而 。代入第一式,,故
所得 、 代入两式分别给出2014、2013,端点也包含在原区间中。若未经消元直接估算,容易漏掉两个界必须同时取等的唯一性。
线性消元后的三角关系若上下界在同一数值相遇,可以先锁定等号而不必解复杂三角方程。
F2:相减消元后直接比较sin不超过1与1+2014cos不少于1,端点唯一。
核心工具:作差后证明非负
已记下,谢谢!