If lcm(a,b) = ab, why is gcd(a,b) = 1?

  • Thread starter Thread starter Scootertaj
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on the relationship between the least common multiple (lcm) and the greatest common divisor (gcd) of two integers, specifically when lcm(a,b) = ab. It is established that if lcm(a,b) = ab, then gcd(a,b) must equal 1. The participants utilize the prime factorization of integers and properties of divisibility to demonstrate this relationship, confirming that if a common divisor greater than 1 exists, it contradicts the initial condition of lcm(a,b) equating to ab.

PREREQUISITES
  • Understanding of prime factorization
  • Familiarity with the concepts of least common multiple (lcm) and greatest common divisor (gcd)
  • Knowledge of divisibility rules
  • Basic algebraic manipulation skills
NEXT STEPS
  • Study the properties of prime factorization in number theory
  • Learn about the relationship between lcm and gcd in detail
  • Explore proofs involving contrapositive reasoning in mathematics
  • Investigate applications of gcd and lcm in solving Diophantine equations
USEFUL FOR

Students studying number theory, mathematicians interested in divisibility properties, and educators teaching concepts related to lcm and gcd.

Scootertaj
Messages
97
Reaction score
0
1. If lcm(a,b)=ab, show that gcd(a,b) = 1



Homework Equations



We can't use the fact that lcm(a,b) = ab / gcd(a,b)

The Attempt at a Solution


I've already shown that gcd(a,b) = 1 → lcm(a,b) = ab but I can't figure out the other direction!

Any hints?
 
Physics news on Phys.org
lcm[a,b]=\prod p_i^{\max{\alpha_i,\beta_i}}

Where a=\prod p_i^{\alpha_i}

and b=\prod p_i^{\beta_i}

And the gcd is the min.

Use that fact.
 
We haven't really used that notation. I imagine it deals with divisibility rules just like the other direction.
 
I think one way to approach it is to prove the contrapositive. If c is an integer not equal to 1 that divides a and divides b, then a = mc and b = nc for positive integers m and n. Then see if you can show that lcm (a,b) is not ab.
 
Awesome, got it, thanks!
 

Similar threads

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