证明欧几里得定理（这是一位刚学数论的初三生发明的方法）

欧几里得定理：$\text{gcd}(a,b)=\text{gcd}(b,a\%b)$

证明如下：

设： $g=\text{gcd}(a,b)$，$a=k_1\times g$，$b=k_2\times g$

其中 $k_1,k_2$ 满足条件 $\text{gcd}(k_1,k_2)=1$

则问题转化为证明：

$\text{gcd}(k_2\times g,(k_1-t\times k_2)\times g)=g$，其中 $t=\lfloor k1/k2\rfloor$

$g\times \text{gcd}(k_2,k_1-t\times k_2)=g$

$\text{gcd}(k_2,k_1-t\times k_2)=1$

则问题转化为证明：

$\text{gcd}(k_2,k_1-t\times k_2)=1$

运用 我今天刚学的 反证法：

设 $\text{gcd}(k_2,k_1-t\times k_2)=v$，其中 $v\ne 1$

设 $k_2=p_1\times v$，$(k_1-t\times k_2)=p_2\times v$

$k_1=p_2\times v+t\times p1\times v$

$k_1=v\times (p_2+t\times p_1)$

所以 $k_1$，$k_2$ 有共同因子 $v$，与 $\text{gcd}(k_1,k_2)=1$ 矛盾。

所以 $\text{gcd}(k_2,k_1-t\times k_2)=1$。

所以 $g\times \text{gcd}(k_2,k_1-t\times k_2)=g$

所以 $\text{gcd}(k_2\times g,(k_1-t\times k_2)\times g)=g$

所以 $\text{gcd}(a,b)=\text{gcd}(b,a\%b)$

证毕。

欢迎在评论区找bug，我会尽快回复。