书屿欧几里得算法跟读：让除数、余数与停止条件逐步对应

余数链最后出现零，不表示最大公约数就是零。本课在书屿跟读一个原创正整数例子，把每次除法与下一对输入对应，再用共同因数检查结果。所有演算由读者完成，可使用外部清单；不声称应用提供算法执行器或自动证明，也不把最大公约数与最小公倍数混用。

一、固定整数对象与算法范围

准备一段自制练习材料，输入明确为正整数四十八与十八。记录文件、版本、章页与算法旁短句，给两个输入分别标当前被除数与除数，不把屏幕上先出现的数永远当同一角色。这里不是小数近似求比值，也没有物理单位，不能将四十八点零与测量精度混进停止判断。原书若讨论零或负整数，先按其扩展定义另做记录，本篇不省略约定直接推广。无法选字的扫描可手录必要三行并回原图确认，书屿提供的是阅读与返回位置，不是执行这段算法。

二、每次除法同时检查等式与余数范围

第一步四十八除十八，商二余十二；核二乘十八加十二为四十八，同时十二非负且小于十八。只核加法等式还不够，例如商一余三十也凑成四十八，但三十不小于除数，不符合本课通常余数约定。把商、余数和范围条件分栏，不能只抄一个百分号式记法就认为已理解。除数为零时本步骤不能继续，停止条件要在使用下一次除法之前核，不等报错后再把结果补成零。原始算式保留，个人更正标清理由。

三、把下一对输入写成除数与余数

依据NIST 欧几里得算法定义，通过余数迭代求两个正整数的最大公约数。第一步后下一对是十八与十二，不是四十八与十二；再下一对十二与六。下方为原创完整链，星号只表示乘法，不是书屿内的命令。逐行给被除数、除数、商与余数编号，指出哪两个数进入下一行，避免把同一个十八一直留在错误列里。每一步在当前条件下有确定对应，不能只见最后出现六就跳过中间状态核对。

48 = 2*18 + 12
18 = 1*12 + 6
12 = 2*6 + 0
Pairs: (48,18) -> (18,12) -> (12,6) -> (6,0)
GCD = 6

四、零负责停止，不替代最后非零值

最后十二被六整除，余零，下一对六与零使迭代停止；返回六这个仍保留的非零值，而不是继续拿零去除或返回零。解释时说清本例最后非零余数与停止对里的第一项都是六，不把“最后一个数字”当无条件取值规则。另用十八与六开始的小对照，第一步就余零，结果仍为六，说明步骤少不等于缺步骤。若两数起初相同，原书采用何种边界流程应按说明读；本篇核心是先核输入与停止条件，不能从显示列表长度判断算法完整性。

五、用共同整除关系复核结果

检查四十八除六为八、十八除六为三，两者都整除；再列两数正共同因数一、二、三、六，最大为六。一个数能同时整除只是共同因数，还需说明最大，不能把三也通过整除就说它与六同样回答了问题。余数步骤保持共同因数集合的理由是：能整除被除数与除数的数，也能整除两者相减得到的余数；反向用除数乘商加余数可恢复原被除数。把这个关系与本例验算分开，有限候选检查不替代算法依据，但有助于发现抄录错误。

六、公倍数是另一种问题

另栏记录最小公倍数，本例为一百四十四，因为它是四十八的三倍、十八的八倍。对正整数可用两数乘积除最大公约数核算，但这不意味着余数链的答案要改为一百四十四。最大公约数是共同整除输入的数，最小公倍数是被两输入整除的正数，方向不同。先用完整句子说明谁整除谁，再写缩写，避免把两个术语都缩成公数。若题目只求最大公约数，不额外宣称应用会算公倍数；本栏是读者的概念对照，原题结果保持六。

七、排查漏项与不递减的余数

若链迟迟不停，先查余数是否满足范围、下一对是否正确替换，不能把不合范围的余数称作正常欧几里得步骤。结果与书后不同先核输入、商与乘法重建，再查是否把公倍数答案拿来比较。扫描中的零与字母 O 混淆要回原图，不从常识补出一个自己喜欢的终点。导出笔记后打开核三行原链、下一对箭头与返回值，不能只见六字就通过。找不到原段时用章名与短句定位，不删除书籍重导；个人算式与原作者引文仍要分栏。

八、重建余数链并解释返回对象

退出阅读器再返回四十八与十八，遮住结果，逐次写十二、六、零以及下一对，说明为何返回六且不做下一次除零。再核共同因数与公倍数方向，确认没有把一百四十四塞进算法终点。最终保存版本位置、输入域、逐次除法、余数范围、停止状态与独立核对六项。验收是别人能重做状态转移并找出一次错配，不是应用自动证明所有整数情形。新教材改变输入约定或算法写法时重新读定义，不能因旧题算过就跳过零和符号的边界。