Proving gcd(a+b,ab) = 1 for Relatively Prime Numbers

Click For Summary

Homework Help Overview

The discussion revolves around proving that for relatively prime numbers \(a\) and \(b\), the greatest common divisor \(gcd(a+b, ab) = 1\). The original poster attempts to show this using algebraic manipulation and properties of gcd.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • The original poster sets \(gcd(a+b, ab) = d\) and explores whether \(d\) can be shown to equal 1 through algebraic rearrangements. They question if expressing \(a+b\) and \(ab\) as a linear combination that equals one is a valid approach. They also consider the implications of \(d\) dividing \(a^2\) and \(b^2\) due to the properties of relatively prime numbers.

Discussion Status

Some participants affirm the original poster's reasoning and suggest a more elegant formulation of the argument. There is acknowledgment that the original poster did not utilize the equation \(ax + by = 1\), which is related to the concept of relative primality. The discussion reflects a mix of personal approaches and the exploration of different methods to tackle the problem.

Contextual Notes

Participants note the importance of using the relationship stemming from the definition of relatively prime numbers, as well as the potential oversight in not applying the given equation in their reasoning.

PsychonautQQ
Messages
781
Reaction score
10

Homework Statement


Let a and b be relatively prime. Show that gcd(a+b,ab) = 1

Homework Equations


ax+by = 1 for some integers x and y

The Attempt at a Solution


I set gcd(a+b,ab) = d. I'm now trying to show that d = 1 using elementary algebra techniques.
a+b = rd
ab = sd
ax + by = 1I'm kind of stuck here.. am I on the right track? Do I just need to aggresively rearrange stuff until I can express (a+b) and (ab) as a linear combination that equals one? or perhaps arrange them in such away that I show d divides both a and b individually and therefore it must be one since they are relatively prime? any hints?

Update:

a+b = rd ---> b = rd -a

ab = a(rd-a) = (ard)-(a^2) = sd
dividing both sides by d...

ar - (a^2 / d) = s
ar is an integer and s is an integer, so a^2 / d must be an integer, therefore d|a^2.

I employed a similar argument to show that d|b^2. Since d|a^2 and d|b^2 and gcd(a,b) = 1, we can use the fact that gcd(a^2,b^2) = 1 to conclude that d = 1.

Is this a solid argument?
 
Last edited:
Physics news on Phys.org
Your argument looks perfectly sound to me. You can make it a little more elegant by going : ## ard-a^2=rd \implies a^2=(ar-r)d \implies d|a^2 ## , but it's really the same thing.
Note however that this is not the method suggested in the formulation of the problem : you didn't make use of ## ax+by=1 ##. If you want to try that as well, do you know where that equation comes from ?
 
Last edited:
  • Like
Likes   Reactions: PsychonautQQ
Oh wow, didn't even notice that I didn't use the relatively prime information, haha. Yeah, I know about the equation. Thanks for the post yo!
 
PsychonautQQ said:
Oh wow, didn't even notice that I didn't use the relatively prime information, haha. Yeah, I know about the equation. Thanks for the post yo!
No problem. I can see you don't like going by the book, you tackle the problem your own way, which is cool : )
 
  • Like
Likes   Reactions: PsychonautQQ
Thanks ^_^ I appreciate it. I'm pretty new to this math thing but I want to learn it's mysteries so I appreciate the complement :D
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
Replies
12
Views
2K
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
5K
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K