易混 2024 年广东预赛 · P006470
“对每个有限下标都严格成立”不能直接改写成参数与极限也严格分离。要看有限界从哪一侧逼近,以及临界值代回每个有限条件后是否仍然满足严格号。
前题的上下和共同挤压一个固定数,还要验证候选满足每次严格夹逼;后题归一化递推后只有一侧的部分和限制,临界初值由始终为正的尾和检验。
设对任意的正整数 ,都有
则实数 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
两个和分别是四分之一单位圆下方的等宽右端点、左端点矩形面积和。
利用函数严格递减证明面积严格夹在两者之间,再由上下和的差趋于零确定唯一的数。
设 ,。记题中第一个和为 、第二个和为 。因 、,可统一写成
函数在 连续且严格递减,所以每个小区间上的右矩形面积严格小于曲线下面积,左矩形面积严格大于曲线下面积。曲线与两坐标轴围成四分之一单位圆,故
两端点和相减给
若实数 满足题设,则它与 都在 内,从而对每个正整数 都有
这迫使 ;反过来前述严格面积界说明该值对每个 确实满足题设。因此
当 时,第一个空和为 、第二个和为 ,确有 。严格递减保证每个有限分割下的不等号都严格,而不仅是极限时的弱不等号;端点处导数是否存在不影响矩形面积比较。
左右端点和夹住一个连续函数的面积,且二者的差趋于零时,可用同一区间内两数的距离至多为区间宽度来证明唯一性。必须另外验证候选面积满足全部严格不等式。
把两个有限和识别为四分之一圆的左右矩形和;不仅要算共同极限,还要证明候选满足每个有限下标的严格夹界。
易混 2024 年广东预赛 · P006470
“对每个有限下标都严格成立”不能直接改写成参数与极限也严格分离。要看有限界从哪一侧逼近,以及临界值代回每个有限条件后是否仍然满足严格号。
前题的上下和共同挤压一个固定数,还要验证候选满足每次严格夹逼;后题归一化递推后只有一侧的部分和限制,临界初值由始终为正的尾和检验。
易混 2026 年培玉原创改编高中数学竞赛 第 4 题 · P011104
两题都要求区分“形式方程的解”与“几何或有限下标下的真实可达性”:极坐标曲线求交点时,极点在两条曲线上对应不同极角,只联立同角方程会漏掉极点;上下和夹逼求常数时,极限相等给出唯一候选后,还需逐个检验有限下标处的严格不等号。
一个是平面同一点在极坐标下的多角表示核验,另一个是无穷极限等号向有限分割严格不等号的回代核验。
已记下,谢谢!