Prove: a^x|b^y & xt-yz\geq 0 then a^z|b^t

  • Context: Graduate 
  • Thread starter Thread starter AdrianZ
  • Start date Start date
Click For Summary
SUMMARY

The theorem states that if \( a^x \) divides \( b^y \) and \( xt - yz \geq 0 \), then \( a^z \) divides \( b^t \). The proof hinges on the condition that if \( xt \geq yz \), then \( b^{yz} \) divides \( b^{xt} \). This establishes a direct relationship between the powers of \( a \) and \( b \) under the given conditions, confirming the divisibility assertion.

PREREQUISITES
  • Understanding of divisibility in number theory
  • Familiarity with exponentiation and its properties
  • Knowledge of basic algebraic manipulation
  • Concept of inequalities in mathematical proofs
NEXT STEPS
  • Study the properties of divisibility in number theory
  • Explore advanced topics in exponentiation
  • Learn about inequalities and their applications in proofs
  • Investigate related theorems in algebraic structures
USEFUL FOR

Mathematicians, students studying number theory, and anyone interested in algebraic proofs and theorems.

AdrianZ
Messages
318
Reaction score
0
If [tex]a^x|b^y[/tex] & [tex]xt-yz\geq 0[/tex] then [tex]a^z|b^t[/tex]

This is not a homework. I found this theorem in a book without having proved it, so I wondered how it could be proved.
 
Physics news on Phys.org
The trick is to realize that:

if xt >= yz, then b^(yz) | b^(xt)
 

Similar threads

Replies
48
Views
6K
Replies
8
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
5
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K