Diophantine and coprime solutions x,y

  • Context: Undergrad 
  • Thread starter Thread starter thomas430
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the linear Diophantine equation d=ax+by, where d=(a,b), and the necessity for x and y to be coprime. Thomas inquires about the properties of coprime numbers that lead to this requirement. HallsofIvy clarifies that if x and y are not coprime, the equation can be simplified to a form that contradicts the definition of d, thus proving that d cannot divide c. This establishes that for the equation to hold true, x and y must indeed be coprime.

PREREQUISITES
  • Understanding of linear Diophantine equations
  • Knowledge of coprime numbers and their properties
  • Familiarity with integer factorization
  • Basic algebraic manipulation skills
NEXT STEPS
  • Study the properties of coprime integers in number theory
  • Explore advanced topics in linear Diophantine equations
  • Learn about the Euclidean algorithm for finding gcd
  • Investigate applications of Diophantine equations in cryptography
USEFUL FOR

Mathematicians, students studying number theory, educators teaching algebra, and anyone interested in the properties of Diophantine equations and coprimality.

thomas430
Messages
16
Reaction score
0
Hi everyone,

I saw that for the linear diophantine equation [tex]d=ax+by[/tex], where d=(a,b), that x and y must be coprime.

Why is this? I feel like there are properties of coprime numbers that I am not aware of, because there are a few things like this that I have encountered.

Any help appreciated :-)


Thomas.
 
Physics news on Phys.org
If x and y are NOT coprime, that is, if x= mu and y= mv for some integers m, u, and v, then the Diophantine equation becomes d= amu+ bmv= m(au+bv). Since the right hand side is divisible by m, the left side, d, must be also, say, d= mc. Then we could divide the entire equation by m to get the simpler equation c= au+ bv. But since d= (a,b) that is impossible.
 
Oh! So d /should/ divide c, because d=(a,b)... but this contradicts d=mc, which suggests d cannot divide c, as d > c. (as m>1 because m=(x,y) and we said that (x,y) != 1)

Thanks, HallsofIvy :-)
 

Similar threads

  • · Replies 23 ·
Replies
23
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 21 ·
Replies
21
Views
9K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
7K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 12 ·
Replies
12
Views
8K