整数满足am+bn=36时，gcd(m,n)的性质求解及答疑

首先得纠正你之前的答案哦——你的结论gcd(a,b)=gcd(m,n)以及“二者均能被36整除”都是不准确的，咱们结合教授的提示一步步理清楚：

拆解教授的提示逻辑 #

设d = gcd(m,n)，根据最大公约数的核心定义：

• d是能同时整除m和n的最大整数，也就是d | m且d | n；
• 基于整除的基本性质：如果一个数能整除两个数，那它必然能整除这两个数的任意整数线性组合。也就是说，对于任意整数a和b，d一定能整除am + bn；
• 题目里明确给出am + bn = 36，代入后就能直接得到：d | 36。

最终的唯一结论 #

这就意味着：gcd(m,n)一定是36的正约数，也就是它只能是{1,2,3,4,6,9,12,18,36}中的某一个数。

举几个例子验证 #

• 比如取a=1, b=1, m=20, n=16，此时am+bn=20+16=36，gcd(20,16)=4，4是36的约数；
• 再取a=36, b=5, m=1, n=0，am+bn=36+0=36，gcd(1,0)=1，1也是36的约数；
• 再取a=0, b=1, m=18, n=36，am+bn=0+36=36，gcd(18,36)=18，18同样是36的约数。

反过来，任何36的正约数d，我们都能找到对应的整数a,b,m,n满足am+bn=36且gcd(m,n)=d——比如令m=d, n=0，a=36/d, b=任意整数，就能轻松满足条件。

内容的提问来源于stack exchange，提问作者merry-go-round-one