最大公因子问题

问题来源

力扣P2427.公因子数目

问题条件

有两个数a和b，他们的最大公约数是c

证明1：ab的公因子集合与c的因子集合是同一个集合

可以从两方面考虑：
假设ab的公因子集合是SetX，c的因子集合是SetY

• 如果SetX中出现了SetY中没有的数字p
  • 即，p是ab的公因子，但不是c的因子，即c不是p的倍数
  • p是ab的公因子，所以$a=k_{1}p$, $b=k_{2}p$($k_1$,$k_2$为整数)
  • 因为c才是最大公因子，所以$c>p$
  • 设d是p和c的最小公倍数
  • 因为$c>p$且c不是p的倍数，所以$d>c>p$
  • p和c都是ab的公因子，所以d一定是ab的公因子
    • 这可以用反证法证明
    • 假设d不是ab的公因子，那么ab至少有一个不能被d整除，假设这个数是a
    • 那么d一定有一个质因数e，可以使得 $a\%e\ne 0$
    • 那么a都不能被e整除，作为a的因子的p和c就更不用说了，也都不能被e整除
    • 但是d是p和c的最小公倍数，d能被e整除，所以p和c至少有一个应该能被e整除，这和上面矛盾
    • 所以d一定是ab的因子
  • 那d才是ab的最大公因子，而不是c，与前提矛盾
  • 所以SetX中不可能出现SetY中没有的数字
• 如果setY中出现了SetX中没有的数字q
  • 即，q是c的因子，但不是ab的公因子
  • q是c的因子，所以$c=kq$(k是一个整数)
  • q不是ab的公因子，所以ab至少有一个不能被q整除，假设这个数是a
  • 如果a不能被q整除，那么a更不能被q的倍数整除了
  • $c=kq$, c是q的倍数，所以c就不能是ab的最大公约数，与前提矛盾
  • 所以SetY中不可能出现SetX中没有的数字

综上，SetX与SetY中都不可能出现对方没有的元素，所以两集合相同

证明2：对于任意的d，如果d是a和b的公因子，那么d是c的约数

• 最大公约数有一个性质，也是辗转相除法的原理：$$gcd(x,y)=gcd(y,x\%y)$$
• 所以，如果d是ab的公因子=>$(a,b)\%d=0$，可以假设$a=m\ast d$, $b=n\ast d$，其中m,n是合理的整数。
• d也应该是b和a%b的公因子=>$(b,(a\%b))\%d=0$，因为
  $$a\%b=a-k\ast b=m\ast d-k\ast n\ast d=(m-k\ast n)\ast d$$，其中k是某个整数。
• 同理，只要x和y比d大，就有$((a\%b),(b\%(a\%b)))\%d=0$…
• 如果算到最后一步，就能算到x或y等于c，就可以证明d是c的因子了。