szTom/LADRSolutions
1
0
Fork 0
mirror of https://github.com/szdytom/LADRSolutions.git synced 2025-11-08 18:00:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

2B fix

Browse Source 
Signed-off-by: szdytom <szdytom@qq.com>
This commit is contained in:
方而静 2025-10-26 01:30:59 +08:00
parent 29437c5eca
commit bd2ae80d79
Signed by: szTom
GPG Key ID: 072D999D60C6473C
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sections/2B.typ
View File

@ -101,7 +101,7 @@
#tab 现在找到编号最大的不为 $0$ 的系数 $ell$，即 $a_ell != 0$，且 $a_k = 0$ 对于 $ell < k <= m$ 成立。取 #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是没有问题的。]，我们有 #tab 注意到 $z >= 1$，于是对 $j in {0, dots, ell - 1}$，有 $z^j <= z^(ell-1)$。使用三角不等式#footnote[见原书4.4。一般而言，我们不应该引用后面的定理，因为这将带来循环论证的风险。但是复数的性质这个定理完全独立，因此从逻辑上说，这里引用原书4.4是没有问题的。]，我们有