Can ax + by + cz = d have an integer solution?

  • Thread starter Thread starter ACardAttack
  • Start date Start date
Click For Summary
The discussion centers on proving that the Diophantine equation ax + by + cz = d has an integer solution if and only if the greatest common divisor (gcd) of a, b, and c divides d. Participants suggest starting with simpler equations to build understanding, specifically beginning with ax + d before adding more terms. Clarification is made that the correct equation is ax + by + cz = d, emphasizing the importance of proper notation in mathematical expressions. The Linear Equation Theorem is referenced, indicating that ax + by = gcd(a, b) always has integer solutions, which can be derived using the Euclidean algorithm. The conversation highlights the significance of accurately framing equations in mathematical proofs.
ACardAttack
Messages
3
Reaction score
0
Prove that the Diophantine equation ax+by+cz+d has an integer solution if and only if the gcd(a,b,c) divides d.

Got this on my homework for my proofs class. Help would be greatly appreciated.

Thanks
 
Physics news on Phys.org
Start with a simpler equation, ax+d, and then try to add the other terms one by one.
 
Dodo said:
Start with a simpler equation, ax+d, and then try to add the other terms one by one.

I goofed...it is actually ax+by+cz=d...does that make a difference?
 
the Linear Equation Theorem says that the equation ax + by = gcd(a, b) always has a solution(s, u) in integers, and this solution can be found by the Euclidean algorithm, which we use to compute the gcd of a and b.
 
I figured it out...thanks for the help
 
ACardAttack said:
I goofed...it is actually ax+by+cz=d...does that make a difference?
Well, yes! It's an equation! ax+ by+ cz+ d isn't an equation.
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 23 ·
Replies
23
Views
933
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 24 ·
Replies
24
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 12 ·
Replies
12
Views
598
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
17
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K