夹逼定理带根号例题-夹逼带根号例题改写

夹逼定理带根号的例子，有时候真得让人抓狂，就像在迷宫里找出口，明明方向都乱，却非要逼着自己去猜那个唯一的出口。拿个经典例子吧，就是那个著名的"$sqrt{30}$"难题，那会儿总认定它是个死局，结局一算才发现，原来只要把两边夹得够紧，那个根号就能乖乖听话，把小数点变成漂亮的十进制。 先说说这个定理的用法，实际上说白了就是给一个数套上两个无限不等的紧挨着的无理数，让它的范围给“收网”。假设我们要算 $sqrt{30}$，那就得找个跟它比但更小的无理数来压它，再找个更大的来托住它。$sqrt{27}$ 是个不错的下限，出于 $3 times 3 = 9$，而 $30$ 比 $27$ 大，故此 $sqrt{30}$ 肯定大于 $sqrt{27}$，这就像给一个钱包定了个最低限额，说“你起码要值 27"。
那上限呢？$36$ 是个完美的终点，出于 $6 times 6 = 36$，别看 $30$ 小于 $36$，但 $36$ 是个整数，没法直接做根号，得换个思路。
既然不能直接比较大小，那就构造一个彻底平方数，比如 $32$，要么更精确点，构造一个介于 $sqrt{27}$ 和 $sqrt{36}$ 之间的无理数，比如 $sqrt{30}$ 本身，但这又回到了原点。 实际上最好办的办法是拿两个彻底平方数做参照。$27$ 和 $36$ 是好兄弟，中间隔着 $30$。
既然 $27 < 30 < 36$，根号自然也要知足 $ < sqrt{30} < $。
这就把难题转化成了纯区间估算。接下来就是那个最关键的“夹逼”动作：让人做算术。 先看左边，算 $sqrt{27}$。记得 $5 times 5 = 25$，比 $27$ 小一点点，那 $5$ 肯定不够大。试一下 $5.1$，$5.1 times 5.1 = 26.01$，还是小于 $27$。持续往大了寻，$5.2 times 5.2 = 27.04$，这就超了！说明 $sqrt{27}$ 在 $5.1$ 和 $5.2$ 之间。为了计算撇脱，我们不妨在中间取个值，要么直接定个范围，比如 $5.12$ 到 $5.13$ 之间。 再看右边，算 $sqrt{36}$。
这忒好办了，就是 $6$。
那 $sqrt{36}$ 和 $sqrt{27}$ 的差距，就直接对应到 $6 - sqrt{27}$ 这个差值。
要是我们要算 $sqrt{30}$，我们能够利用 $sqrt{27} < sqrt{30} < sqrt{36}$ 这个不等式两边与此同时开根号，就拿到了 $ sqrt{27} < sqrt{30} < 6 $。
这步操作挺关键，它把根号移走了，变成了一个纯整数值区间，这时候误差自然会小大量。 但数学不一直如此听话，有时候直接开根号数值不准。
那就得用代数去“磨刀”，让这个不等式变得更紧。假设我们要精确到小数点后三位。先算下限：$A = sqrt{27}$。我们知道 $5.1^2 = 26.01$，$5.2^2 = 27.04$。算出 $5.11^2 = 26.1121$，$5.12^2 = 26.2144$，$5.13^2 = 26.3169$，$5.14^2 = 26.4196$，$5.15^2 = 26.5225$，$5.16^2 = 26.6256$，$5.17^2 = 26.7289$，$5.18^2 = 26.8324$，$5.19^2 = 26.9361$，$5.20^2 = 27.04$。
看来 $sqrt{27}$ 约等于 $5.196$。为了保险起见，我们取 $5.196$ 作为左边界。 再看右边界，$B = sqrt{36} = 6$。中间那个数 $C = sqrt{30}$ 肯定在 $5.196$ 和 $6$ 之间。
那具体的数值是多少呢？$6 - 5.196 = 0.804$。
这个差值告诉我们，$sqrt{30}$ 距离 $6$ 还有 $0.804$ 个单位。
那 $5.196$ 和 $6$ 之间的中点是多少？$(6 + 5.196) / 2 = 5.598$。
这仿佛不对，单位搞错了，应当是 $6 + k$ 的形式。 重新梳理一下：$sqrt{27} approx 5.1961524$。 $sqrt{30} = sqrt{36 - 6} = 6 sqrt{1 - 1/6} approx 6 (1 - 1/12) = 6 - 0.5 = 5.5$。
这个估算偏小。 直接用线性近似：$sqrt{x}$ 在 $x=a$ 处的导数是 $frac{1}{2sqrt{a}}$。 故此 $sqrt{30} approx sqrt{27} + frac{30-27}{2sqrt{27}}$。 代入数值：$sqrt{27} approx 5.19615$。 差值 $Delta x = 3$。 导数分母 $2 times 5.19615 approx 10.3923$。 增量 $approx 3 / 10.3923 approx 0.288$。 故此 $sqrt{30} approx 5.19615 + 0.288 approx 5.484$。 什么的，这个估算仿佛有点不对劲，出于 $sqrt{27}$ 是 $5.19$，$sqrt{36}$ 是 $6$，$sqrt{30}$ 应当在中间偏上一点，也就是 $5.5$ 左右。刚刚的线性插值算出来是 $5.48$，确实有点偏小，说明在 $27$ 到 $30$ 这段区间，曲线是下凹的，线性近似略微低估了一点，但方向是对的。 为了更严谨，还是回到区间夹逼。我们要找的是 $sqrt{30}$ 的近似值。 左边：$sqrt{27} > 5.19615$。 右边：$sqrt{36} = 6$。 故此 $5.19615 < sqrt{30} < 6$。 这就已经拿到一个范围了，大约是 $5.196$ 到 $6$ 之间。但这还不够精确。 再细化一下。我们取 $sqrt{27}$ 的更精确值，算出它约为 $5.19615$。 取 $sqrt{36}$ 为 $6$。 区间长度是 $0.80385$。 要是我们要估到小数点后三位，需求把区间缩小。 我们知道 $5.19^2 = 26.9361$，$5.20^2 = 27.04$。 $sqrt{27}$ 确实在 $5.19$ 和 $5.20$ 之间。 取 $5.196$ 作为 $sqrt{27}$ 的近似。 目前我们要缩小的区间是 $[5.196, 6]$ 吗？不，应当是 $[sqrt{27}, sqrt{36}]$。 $sqrt{27}$ 实际上比 $5.196$ 略小一点吗？不对，$5.196^2 = 26.998416$，确实比 $27$ 小，故此 $sqrt{27}$ 要大于 $5.196$。 $sqrt{30}$ 的范围是 $(sqrt{27}, 6)$。 $sqrt{27} approx 5.1961524$。 $6 - 5.1961524 = 0.8038476$。 这个差值告诉我们要从 $6$ 减去多少，要么从 $sqrt{27}$ 加多少。 要是我们要算 $sqrt{30}$，我们能够利用 $sqrt{27} < sqrt{30} < 6$。 $sqrt{30} = 6 - sqrt{30}$。 $sqrt{30} = sqrt{6(6-6)}$? 不对。 $sqrt{30} = sqrt{36 - 6} = 6 sqrt{1 - 1/6}$。 利用二项式展开 $(1-x)^{1/2} approx 1 - x/2 - x^2/8$。 $x = 1/6$。 $(1 - 1/6)^{1/2} approx 1 - 1/12 - (1/6)^2/8 = 1 - 1/12 - 1/288 = 1 - 0.08333 - 0.00347 = 0.9132$。 $sqrt{30} approx 6 times 0.9132 = 5.4792$。 这个结局 $5.479$ 看起来合理吗？ 验证一下：$5.479^2 = 30.027...$ 忒大了。 看来前面的估算逻辑有点乱。 直接算：$5.4^2 = 29.16$。$5.5^2 = 30.25$。 故此 $sqrt{30}$ 肯定在 $5.4$ 和 $5.5$ 之间。 用线性插值法： $5.4^2 = 29.16$ $5.5^2 = 30.25$ 差值 $30.25 - 29.16 = 1.09$。 $30 - 29.16 = 0.84$。 比例 $0.84 / 1.09 approx 0.77$。 故此 $sqrt{30} approx 5.4 + 0.077 = 5.477$。 这个数应当是对的。 目前回到夹逼定理的表述。 $sqrt{27} < sqrt{30} < sqrt{36}$。 $5.196 < sqrt{30} < 6$。 要是我们取 $sqrt{30} approx 5.477$，那么 $5.196 < 5.477 < 6$，彻底符合逻辑。 并且 $5.477$ 比 $5.5$ 更准，出于 $5.477^2 approx 29.999$，贼接近 $30$。 在这个例题里，夹逼的过程实际上就是一条线：从粗糙的整数比较，进化到精确的数值逼近。 第一步，找到两个彻底平方数 $27$ 和 $36$，它们比 $30$ 大且小，且都是彻底平方数，这就像给难题套上了最粗的网。 第二步，算出这两个数的根号。$sqrt{36}$ 就是 $6$。$sqrt{27}$ 需求多算几次才能确定，大约是 $5.196$。 第三步，利用不等式性质 $ sqrt{27} < sqrt{30} < 6 $。 第四步，为了缩小范围，我们利用导数要么二次方展开，算出更精细的数值。
比如 $sqrt{30}$ 在 $5.4$ 和 $5.5$ 之间。 通过计算 $5.4^2 = 29.16$，发现 $29.16 < 30$。 计算 $5.5^2 = 30.25$，发现 $30.25 > 30$。 这意味着 $sqrt{30}$ 在 $5.4$ 和 $5.5$ 之间。 取中点 $5.45$，$5.45^2 = 29.7025 < 30$，说明往大了点。 $5.46^2 = 29.8116 < 30$。 $5.47^2 = 29.9209 < 30$。 $5.48^2 = 30.0304 > 30$。 故此 $sqrt{30}$ 在 $5.47$ 和 $5.48$ 之间。 这就把误差缩小到千分位了。 自然，真正的数学解答可能会用 $sqrt{30} = sqrt{1500/50} = frac{sqrt{1500}}{sqrt{50}} = frac{50sqrt{6}}{50} = sqrt{6}$? 不对，这是化简错了。 $sqrt{30}$ 没法化简成好办的整数根号。 但在解题过程中，我们确实用到了夹逼。
比方说，要是我们想算 $sqrt{30}$，且已知 $sqrt{25} < sqrt{30} < sqrt{36}$，即 $5 < sqrt{30} < 6$。 我们要进一步确定各位小数。 $5.4^2 = 29.16$。 $5.5^2 = 30.25$。 故此 $5.4 < sqrt{30} < 5.5$。 以此类推，最终得出 $sqrt{30} approx 5.477$。 这就是夹逼定理的一个实用案例：通过两个已知值的根号，把未知数逼进到具体的区间里。 实际上夹逼定理的精髓不在于算出那个具体的数字，而在于建立的不确定性之间的界限。 就像两个人在推一个球，一个从左边用力，一个从右边用力，要是力度够大，球就只会在那两条线之间乱晃，再也出不来，也跑不出去。 对于 $sqrt{30}$，左边有人卡在 $5.196$ 附近，右边有人卡在 $6$ 附近。球（根号）就被困在了这两个点之间。 要是我们要更精确，就得让左边的人越走越远，右边的人越走越近，要么反过来。 在上面的例子中，左边的人从 $5$ 启动推，经过 $5.1$，$5.2$，$5.3$，$5.4$，$5.5$... 直到确定 $5.4$ 不中，$5.5$ 也不中，得看更具体的平方数。 实际上，$5.4^2 = 29.16$，这说明 $5.4$ 比 $sqrt{30}$ 小。 那 $sqrt{30}$ 到底是多少呢？ 既然 $5.4^2 < 30 < 5.5^2$，这就直接给出了一个框。 但在更高级的夹逼里，我们可能会用 $sqrt{30} = 6 sqrt{5/6}$，要么利用泰勒级数展开，把 $sqrt{30}$ 写成 $6 + (30-36)/(26)$ 之类的修正项，这样精度会更高。 比如，$sqrt{30} approx 6 - 6/12 = 6 - 0.5 = 5.5$。 这是第一次估算，误差挺大。 用二阶修正，$ sqrt{30} approx 6 - frac{1}{26} + frac{1}{86^2} dots $ 实际上最直观的还是区间法。 $25 < 30 < 36$ $5 < sqrt{30} < 6$ $49 < 925 < 100$? 不对。 用更小的数。 $27 < 30 < 36$ $5.196 < sqrt{30} < 6$ $5.4 < sqrt{30} < 5.5$ $5.47 < sqrt{30} < 5.48$ 每次都是通过不断缩小区间，让根号变得“确定”起来。 这就是夹逼定理的威力：它在混乱的数字海洋里，架起了两座桥，让那根带根号的数终于能在我们的计算书里安安稳稳地坐稳了。 有时候，你会发现这个定理在几何里也有用。
比如算菱形的对角线，要么圆的周长，有时候会遇到 $sqrt{2}$ 要么 $sqrt{3}$ 这种无法打开的数。 这时候就需求夹逼。假设我们要算 $sqrt{2}$。 我们知道 $1.4^2 = 1.96$，$1.5^2 = 2.25$。 $1.41^2 = 1.9881$。 $1.42^2 = 2.0164$。 故此 $1.41 < sqrt{2} < 1.42$。 这就把 $sqrt{2}$ 逼到了 $1.41$ 和 $1.42$ 之间。 要是我们要更准，用 $1.414^2 = 1.999396$，$1.415^2 = 2.002225$。 这样 $sqrt{2}$ 就在 $1.414$ 和 $1.415$ 之间。 这个过程反复进行，直到你认定误差小到能够接纳的程度。 夹逼定理在这里就是一个工具，它不负责告诉你答案到底是多少，它负责保证你手里的答案不会出错，不会离谱。 只要两边的数充足接近，中间的数就不得不乖乖听话。 在上面的 $sqrt{30}$ 例子中，两边分别是 $5.477$ 和 $5.478$（要是我们持续逼近），中间的 $5.4775$ 肯定不对，但 $5.477$ 和 $5.478$ 之间肯定有 $sqrt{30}$。 这就相当于用一把尺子量物体，别看尺子有刻度误差，但通过测量左右两端，就能推断出物体的真尺寸。 夹逼定理就是那把尺子的原理，别看它不能给出绝对精确的无限小数，但它给出的区间长度，往往就是我们要的精度。 在计算时，我们往往只保留整数局部和一位或两位小数。 比如 $sqrt{30} approx 5.48$。 这个 $5.48$ 就是一个挺好的答案，出于它在数学上是严谨的，出于它夹在两个彻底对（相对于我们当前精度）的无理数之间。 自然，真正的 $sqrt{30}$ 是 $5.477225575...$ 我们的 $5.48$ 和 $5.477$ 的差距不到 $0.003$，这在工程上可能是能够接纳的。 夹逼定理就是这样，它给了我们要一个“充足好”的答案，而不是一个完美的答案。 有时候，我们就连不需求算出所有的位数。
只要知道它在 $5.4$ 和 $5.5$ 之间就能够了。 这就像猜谜，只要知道答案在 $5$ 到 $6$ 之间，猜对了就是好事，猜错就是坏事。 而夹逼定理，就是为了帮你缩小猜谜的范围，让你猜得更准。 在数学的世界里，这种限制和约束，本身就是一种美感。 它告诉我们，就算是无限不等的无理数，也能在有限的区间内受到我们的掌控。 这就是夹逼带根号例题的魅力所在：它不玩虚的，就是纯粹用数学的逻辑，把虚数掰正，把它变成实数。 最终，我们总结一下这个例子的全过程。 从 $27$ 到 $36$，跨度是 $9$。 $30$ 占了其中 $3/9$ 的局部。 故此 $sqrt{30}$ 应当比 $sqrt{27}$ 大 $3/9$ 的相对长度。 $sqrt{27} approx 5.196$。 $5.196 + 3/9 approx 5.196 + 0.333 = 5.529$。 这个估算和 $5.48$ 有点出入，说明非线性关系不能直接线性比例。 故此还是得老老实实地算平方。 $5.4^2 = 29.16$。 $5.5^2 = 30.25$。 $5.47^2 approx 30$。 通过不断逼近，我们发现 $5.477$ 是最接近的。 夹逼定理在这里发挥了核心功能，它供给了那个“中间地带”，让那个带根号的数有了家的方向。 没有这个定理，我们可能还在 $5$ 和 $6$ 之间瞎转，不知道到底是 $5.4$ 还是 $5.5$。 有了它，我们就有了方向，有了路径，有了那个最终落地的位置。 这就是夹逼定理带根号的例题，一个好办的例子，讲透了数学家的思维过程。 它教会我们的，不只是是如何算，而是如何思索。 在数字面前，保持敬畏，用逻辑去束缚，让那些看似凌乱无章的无理数，最终都能在我们的计算世界里，找到他们的归宿。