Given a,b∈T, a^2−ab+b^2 divides a^2b^2, Prove that T is finite

  • Context: MHB 
  • Thread starter Thread starter lfdahl
  • Start date Start date
  • Tags Tags
    Finite
Click For Summary
SUMMARY

The discussion centers on the mathematical proof that the set of natural numbers \( T \) is finite, given the condition that for any \( a, b \in T \), the expression \( a^2 - ab + b^2 \) divides \( a^2b^2 \). It is established that \( a \) and \( b \) must be coprime or one of them must equal 1 for the divisibility condition to hold. Additionally, if \( (a, b) \) is a solution, then \( (na, nb) \) is also a solution for any integer \( n \), indicating that the set cannot be infinite.

PREREQUISITES
  • Understanding of divisibility in number theory
  • Familiarity with coprime numbers
  • Basic knowledge of mathematical proofs
  • Concept of finite sets in mathematics
NEXT STEPS
  • Study the properties of coprime numbers in number theory
  • Learn about divisibility rules and their applications
  • Explore finite sets and their characteristics in mathematics
  • Investigate mathematical proof techniques, particularly in number theory
USEFUL FOR

Mathematicians, students studying number theory, and anyone interested in understanding the properties of finite sets and divisibility in natural numbers.

lfdahl
Gold Member
MHB
Messages
747
Reaction score
0
Let $T$ be a set of natural numbers such that for any $a, b \in T$, $a^2 − ab + b^2$ divides $a^2b^2$.

Prove, that $T$ is finite.
 
Mathematics news on Phys.org
lfdahl said:
Let $T$ be a set of natural numbers such that for any $a, b \in T$, $a^2 − ab + b^2$ divides $a^2b^2$.

Prove, that $T$ is finite.

For the above to be valid a and b should be co-prime or one of them 1 else if (a,b) is a solution then (na,nb) is also a sloution for integer N
 
Hi, kaliprasad!
In order to answer your comment, I´ll suppose, that $a,b \in T$ and $a$ and $b$ are not coprimes.

Let $d = gcd(a,b)$. Then we have:

$a = da_1$ and $b = db_1$, where $a_1$ and $b_1$ are coprimes.

Then: $a_1^2-a_1b_1+b_1^2$ divides $d^2a_1^2b_1^2$, but $gcd(a_1^2-a_1b_1+b_1^2,a_1b_1) = 1$. Hence, $a_1^2-a_1b_1+b_1^2$ divides $d^2$, i.e. $a^2-ab+b^2$ divides $d^4$.

Since $d \leq a$, we have $a^2-ab+b^2 \leq a^4$. If you fix any $a \in T$, $b$ can only take on a finite number of distinct values.
 

Similar threads

Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 1 ·
Replies
1
Views
935
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K