From bd2ae80d796538c994b955b047c7d28dd031aa0b Mon Sep 17 00:00:00 2001 From: szdytom Date: Sun, 26 Oct 2025 01:30:59 +0800 Subject: [PATCH] 2B fix Signed-off-by: szdytom --- sections/2B.typ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sections/2B.typ b/sections/2B.typ index f817525..b9deafe 100644 --- a/sections/2B.typ +++ b/sections/2B.typ @@ -101,7 +101,7 @@ #tab 现在找到编号最大的不为 $0$ 的系数 $ell$，即 $a_ell != 0$，且 $a_k = 0$ 对于 $ell < k <= m$ 成立。取 - $ z = (abs(a_0) + dots.c + abs(a_(ell - 1))) / abs(a_m) + 1 $ + $ z = (abs(a_0) + dots.c + abs(a_(ell - 1))) / abs(a_ell) + 1 $ #tab 注意到 $z >= 1$，于是对 $j in {0, dots, ell - 1}$，有 $z^j <= z^(ell-1)$。使用三角不等式#footnote[见原书4.4。一般而言，我们不应该引用后面的定理，因为这将带来循环论证的风险。但是复数的性质这个定理完全独立，因此从逻辑上说，这里引用原书4.4是没有问题的。]，我们有