你想弄懂什么？

令 k 等于 a 除以 b 的下取整，会将项 $a-k\cdot b$ 转换为 a 除以 b 的余数。由于 a mod $b = a$ - floor($a/b$)·b，将其代入递推公式 gcd(a,b)=gcd(b,$a-k\cdot b$) 得到 gcd(a,b)=gcd(b,a mod b)，这就是欧几里得算法。

适用条件：k 被设为 floor($a/b$)。；b 不为零（由除法运算隐含，尽管视频中未明确说明）。

令 k 等于 a 除以 b 的下取整，会将项 $a-k\cdot b$ 转换为 a 除以 b 的余数。由于 a mod $b = a$ - floor($a/b$)·b，将其代入递推公式 gcd(a,b)=gcd(b,$a-k\cdot b$) 得到 gcd(a,b)=gcd(b,a mod b)，这就是欧几里得算法。

适用条件：k 被设为 floor($a/b$)。；b 不为零（由除法运算隐含，尽管视频中未明确说明）。

最大公约数被定义为正公因数的最大值。改变输入的符号不会改变它们正公因数的集合，因此取绝对值可以保持最大公约数不变。

适用条件：整数 $a$ 和 $b$ 不同时为零。；最大公约数被视为正整数。

最大公约数被定义为正公因数的最大值。改变输入的符号不会改变它们正公因数的集合，因此取绝对值可以保持最大公约数不变。

适用条件：整数 $a$ 和 $b$ 不同时为零。；最大公约数被视为正整数。