Discrete proofs involving divisibility

Click For Summary

Homework Help Overview

The discussion revolves around a proof involving divisibility and linear combinations in the context of number theory, specifically focusing on the relationship between a number \( n \), the greatest common divisor (gcd) of two integers \( a \) and \( b \), and linear combinations of \( a \) and \( b \).

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the implications of the statement that \( n \) is a multiple of \( \gcd(a,b) \) and its equivalence to \( n \) being a linear combination of \( a \) and \( b \). There are attempts to apply Bezout's identity and to express \( n \) in terms of \( a \) and \( b \). Questions arise about how to approach the reverse direction of the proof and the significance of the relationship between \( n \), \( a \), and \( b \).

Discussion Status

The discussion is active, with participants sharing their reasoning and attempting to clarify the proof structure. Some have made progress in one direction of the proof but express uncertainty about how to proceed with the reverse implication. Guidance has been offered in the form of hints and questions to consider regarding the properties of \( a \) and \( b \).

Contextual Notes

Participants note that the problem involves concepts that may not have been covered in their coursework, leading to confusion about the definitions and implications of gcd and linear combinations.

mikky05v
Messages
53
Reaction score
0
I'm trying to do some extra course work to prepare for my final next week but I'm having a lot of trouble with the book problems. They talk about a lot of things we weren't taught. Can someone help me out here?

Prove: n[itex]\ni[/itex]Z, n= a multiple of gcd(a,b) ⇔ n is a linear combination of a and b

This question makes no sense to me. How do I prove that and where can I start. What does gcd have to do with linear combinations.
 
Physics news on Phys.org
mikky05v said:
I'm trying to do some extra course work to prepare for my final next week but I'm having a lot of trouble with the book problems. They talk about a lot of things we weren't taught. Can someone help me out here?

Prove: n[itex]\ni[/itex]Z, n= a multiple of gcd(a,b) ⇔ n is a linear combination of a and b

This question makes no sense to me. How do I prove that and where can I start. What does gcd have to do with linear combinations.

##n## is a linear combination of ##a## and ##b## should mean that there exist ##s,t\in\mathbb{Z}## such that ##n=sa+tb##.

Write down the precise mathematical meaning of "##n## is a multiple of ##\gcd (a,b)##" and see if that gets you started.
 
ok this is what i have
Prove: n∈Z n= a multiple pf gcd(a,b) ⇔ n is a linear combination of a and b

let gcd(a,b)=d. We are given that n=xd for some x∈Z
Using Bezout’s identity we can expand d, d= sa+tb for some s,t∈Z
Hence, n=xd=x(sa+tb)=xsa+xtb
We recognise this as a linear combination of a and b

now i don't know where to go to do the reverse direction
 
mikky05v said:
ok this is what i have
Prove: n∈Z n= a multiple pf gcd(a,b) ⇔ n is a linear combination of a and b

let gcd(a,b)=d. We are given that n=xd for some x∈Z
Using Bezout’s identity we can expand d, d= sa+tb for some s,t∈Z
Hence, n=xd=x(sa+tb)=xsa+xtb
We recognise this as a linear combination of a and b

now i don't know where to go to do the reverse direction

Given ##n=sa+tb## and ##d=\gcd (a,b)##, what can you say about ##n-sa##?
 
n-sa=tb where do i go with that?
 
Actually, forget that hint ... at least the part about focusing on ##n-sa##.

What are you trying to show about ##n## again? What do you know about ##a## and ##b##?
 
umm I am given n is a linear combination of a,b and I am trying to show that n is a multiple of gcd (a,b)?
 
Right. And what do you know about ##a## and ##b## in regards to ##\gcd(a,b)## that might help you establish that ##n## is a multiple of ##\gcd(a,b)##? Think about how you might prove that the sum of two even numbers is even.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
1K
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
Replies
8
Views
2K
Replies
1
Views
3K
Replies
2
Views
1K
  • · Replies 8 ·
Replies
8
Views
1K