I'm trying to prove the following statement:
∀a,b∈N+gcd(na−1,nb−1)=ngcd(a,b)−1
As for now I managed to prove that ngcd(a,b)−1 divdes na−1 and nb−1:
Without loss of generality let a>b (if a=b, the result is obvious), n≠1 (gcd(0,0) makes no sense). Then if we let a=kd,b=jd,d=gcd(a,b), we see that for nkd−1 we have (nd)k−1nd−1=1+nd+...+nd(k−1)=C (it's a finite geometric series), so na−1=(nd−1)C. Same works for nb−1, so nd−1 divides both of these numbers.
How to prove that nd−1 not only divides both numbers, but is greatest common divisor?
No comments:
Post a Comment