Let us determine all pairs of positive integers (a,b) such that:
a+b+(gcd(a,b))2=lcm(a,b)=2⋅lcm(a−1,b)
where lcm(a,b) is the least common multiple and gcd(a,b) is the greatest common divisor of a and b.
### Step 1: Understanding the Equations
The given equations are:
1. a+b+(gcd(a,b))2=lcm(a,b)
2. lcm(a,b)=2⋅lcm(a−1,b)
Let d=gcd(a,b). Then we can express a and b as a=d⋅a1 and b=d⋅b1 where gcd(a1,b1)=1.
From the properties of lcm and gcd, we have:
lcm(a,b)=gcd(a,b)a⋅b=dd⋅a1⋅d⋅b1=d⋅a1⋅b1
### Step 2: Analyzing the First Equation
Substituting the expressions for a, b, and lcm(a,b) into the first equation:
d⋅a1+d⋅b1+d2=d⋅a1⋅b1
Dividing the entire equation by d (assuming d=0):
a1+b1+d=a1⋅b1
This simplifies to:
a1⋅b1−a1−b1=d
### Step 3: Analyzing the Second Equation
Substitute lcm(a−1,b) in the second equation:
lcm(a−1,b)=lcm(d⋅a1−1,d⋅b1)
For integers x and y, lcm(x,y)=gcd(x,y)∣x⋅y∣. Thus, the equation becomes:
d⋅a1⋅b1=2⋅lcm(d⋅a1−1,d⋅b1)
### Step 4: Testing Possible Values
Testing small values for a and b that satisfy both equations:
#### Pair (2, 3):
1. gcd(2,3)=1, lcm(2,3)=6.
2. Check: 2+3+12=6 and 6=2⋅lcm(1,3)=6.
This pair is valid.
#### Pair (6, 15):
1. gcd(6,15)=3, lcm(6,15)=30.
2. Check: 6+15+32=30 and 30=2⋅lcm(5,15)=30.
This pair is valid.
Thus, the solutions are:
(2,3) and (6,15)