How to Prove the Divisibility Property Theorem?

Click For Summary

Homework Help Overview

The discussion revolves around proving the Divisibility Property Theorem, specifically the statement that if \( a \) divides \( b \) and \( b \) divides \( a \), then \( a \) is equal to \( \pm b \).

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants discuss the existence of integers \( p \) and \( q \) such that \( ap = b \) and \( bq = a \). There are attempts to relate these equations to the conclusion \( a = \pm b \). Some participants express uncertainty about how to proceed from their current reasoning.

Discussion Status

There is ongoing exploration of the relationships between \( p \) and \( q \), with some participants suggesting that \( pq = 1 \) could lead to conclusions about the values of \( p \) and \( q \). Multiple interpretations and lines of reasoning are being explored, but no consensus has been reached yet.

Contextual Notes

Participants note that \( p \) and \( q \) are nonzero integers, which is a critical assumption in their reasoning. There is also a recognition that proving the theorem is distinct from merely verifying it.

annoymage
Messages
360
Reaction score
0

Homework Statement



proof the theorem

if a l b and b l a then a=+-b

Homework Equations





The Attempt at a Solution



there exist integer p,q such that ap=b and bq=a, then I've no idea how i can relate it to a=+-b.. clue please T_T
 
Physics news on Phys.org
annoymage said:
there exist integer p,q such that ap=b and bq=a, then I've no idea how i can relate it to a=+-b.. clue please T_T

[tex]ap = b = (\frac{a}{q})[/tex]

Multiply by q and divide be a (since b|a <--> a is not 0), giving us:

[tex]pq = 1[/tex]

Do you follow?
 
yea yah, i thought that too, but don't know to continue from there too, owhoho, more clue please, ;P
 
wait, let me think first
 
annoymage said:

Homework Statement



proof the theorem

if a l b and b l a then a=+-b

Homework Equations





The Attempt at a Solution



there exist integer p,q such that ap=b and bq=a, then I've no idea how i can relate it to a=+-b.. clue please T_T

So b = pa and a = qb, for some integers p and q.
Then b = pa = p(qb) = (pq)b.

What can you say about pq?
 
Remember, p and q are both nonzero integers.
 
hmm, so pq=1 , hence, p=1 and q=1, hence a=b and b=a, still cannot get +-b, T_T
 
WAIIITTTT (-1)(-1) also equal 1, wait wait let me think again
 
so i get

a=b or (a=-b and b=-a)

=> (a=b or a=-b) and (a=b or b=-a)

(a=b or a=-b) is enough to verify it right?
 
  • #10
Yep, though technically you're proving, not verifying. "Proving" is a stronger word...makes you sound "smarter/cooler" :P!
 
  • #11
owho, thankyou very much
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
5K
Replies
4
Views
2K
Replies
20
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
2
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K