由一道数论题引出的互素相关结论

昨天看到了这么一道数论题，题目大意如下：输入三个整数A，B，C，试判断$gcd(A^B-1,A^C-1)$是否为$1$，其中$1<=A,B,C<=1e9$。
这题数据很大，直接计算就算用高精度也无法实现，我们考虑一下对其进行数学上的分析。注意到$$x^n-1=(x-1)(x^{n-1}+x^{n-2}+\dots +x+1)(1)$$,所以不难发现$A^B-1和A^C-1$都含有因式$A-1$,只有当$A=2$时才有可能满足$gcd(A^B-1,A^C-1)=1$。
$所以现在只需讨论gcd(2^B-1,2^C-1)=1，我们假定，B=qC+r,那么2^B=2^r(2^{qC}-1)+2^r-1（2）,由（1）式，2^{qC}-1=(2^C{)}^q-1,2^C-1|2^{qC}-1,且2^r-1<2^C-1，所以（2）式为2^B-1和2^C-1作带余除法.$
$$gcd(2^B-1,2^C-1)=gcd(2^r-1,2^C-1)$$
我们发现对$2^B-1和2^C-1作辗转相除法相当于$对其指数“辗转相除”,所以
$$gcd(2^B-1,2^C-1)=gcd(2^{gcd(2^B-1,2^C-1)}-1,1)=2^{gcd(2^B-1,2^C-1)}-1$$
至此，我们推理出要使得$gcd(2^B-1,2^C-1)=1$,必须有$gcd(B,C)=1$，本题的数据量便被大幅度缩小。
其实，我们有一个更一般的结论。我们考虑$gcd(x^m-a^m,x^n-a^n)=1$的充要条件。
$$\begin{array}{rl}令m& =qn+r\\ x^m-a^m& =x^{qn+r}-x^r{a}^{qn}+x^r{a}^{qn}-a^{qn+r}\\ & =x^r(x^{qn}-a^{qn})+a^{qn}(x^r-a^r)\\ 又有x^n-a^n& =a^n(\frac{x^n}{a^n}-1)\\ & =(x-a)(a^0{x}^{n-1}+a^1{x}^{n-2}+\dots +a^{n-1}x+a^n)\\ 所以gcd(x^m-a^m,x^n-a^n)& =gcd(a^{qn}(x^r-a^r),x^n-a^n)\\ & =x^{gcd(m,n)}-a^{gcd(m,n)}\\ Q.E.D& \end{array}$$