Number theory GCD relatively prime question

Click For Summary
SUMMARY

The discussion revolves around proving that if \( m|d \), \( n|d \), and \( \text{gcd}(m,n) = 1 \), then \( mn|d \). The key equations involved are \( d = mx + ny \) for integers \( x \) and \( y \). Participants emphasize the importance of prime factorization in understanding the relationship between \( m \), \( n \), and \( d \). The proof is simplified by recognizing that since \( \text{gcd}(m,n) = 1 \), \( m \) and \( n \) share no common prime factors, leading to the conclusion that \( mn \) divides \( d \).

PREREQUISITES
  • Understanding of number theory concepts, particularly divisibility and greatest common divisor (gcd).
  • Familiarity with prime factorization and its implications in divisibility.
  • Basic algebraic manipulation skills, especially with integer equations.
  • Knowledge of the properties of gcd and their applications in proofs.
NEXT STEPS
  • Study the properties of gcd and their implications in number theory.
  • Learn about prime factorization and its role in divisibility proofs.
  • Explore examples of divisibility in number theory to reinforce understanding.
  • Practice solving similar problems involving gcd and divisibility to enhance problem-solving skills.
USEFUL FOR

Students studying number theory, mathematicians interested in divisibility proofs, and educators teaching concepts related to gcd and prime factorization.

PsychonautQQ
Messages
781
Reaction score
10

Homework Statement


let m|d, n|d and gcd(m,n) = 1. show mn|d

Homework Equations


gcd(m,n) = d = mx + ny for x and y in integers

The Attempt at a Solution


d = mr
d = ns
1 = mx + ny
1 = (d/r)x + (d/s)y
I don't know, a bit lost, just moving stuff around and not making any real progress. Any tips?
 
Physics news on Phys.org
PsychonautQQ said:

Homework Statement


let m|d, n|d and gcd(m,n) = 1. show mn|d

Homework Equations


gcd(m,n) = d = mx + ny for x and y in integers

The Attempt at a Solution


d = mr
d = ns
1 = mx + ny
1 = (d/r)x + (d/s)y
I don't know, a bit lost, just moving stuff around and not making any real progress. Any tips?

Have you tried thinking about some of these problems in terms of the prime factorizations of m, n and d?
 
  • Like
Likes   Reactions: PsychonautQQ
PsychonautQQ said:
d = mr
d = ns
1 = mx + ny
So far so good. These three equations are all you need. Hint for the next step: try multiplying the last equation by ##d##.
 
  • Like
Likes   Reactions: PsychonautQQ
Dick said:
Have you tried thinking about some of these problems in terms of the prime factorizations of m, n and d?
I have not tried thinking about this way. If n|d and m|d, we know that m and n each contain at least one prime that is also in the prime factorization of d. However, this does not mean we can conclude that mn|d does it? What if the only common prime in the factorization of m, n, and d is p, that would mean mn contains p^2 which wouldn't divide d's lone p.

Am I missing something?
 
PsychonautQQ said:
I have not tried thinking about this way. If n|d and m|d, we know that m and n each contain at least one prime that is also in the prime factorization of d. However, this does not mean we can conclude that mn|d does it? What if the only common prime in the factorization of m, n, and d is p, that would mean mn contains p^2 which wouldn't divide d's lone p.

Am I missing something?

The idea is that if gcd(m,n)=1 then m and n have no prime factor in common. Do you see how the proof would go from there? Proving it with jbunniii's hint is actually easier to write down. I just find it easier to think in terms of prime factors.
 
  • Like
Likes   Reactions: PsychonautQQ
Yeah, I solved it with regards to jbunnii's hint, wish I would have seen it myself >.<. Right, gcd(m,n) = 1 so they each have a unique prime that divides d, so nm|d. Thanks man, I I appreciate ya'll being so patient with me.
 

Similar threads

Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K