There are 3 positive integers a, b, c such that 1/c=1/a+1/b. If the greatest common divisor of a, b, c is 1, then what type of number must a+b be(e.g square number, cube number, triangular number...)?
If 1/c=1/a+1/b, then c(a+b)=ab, and c divides a, or c divides b, or the factors of c are divided among a and b.
Say the factors of c are xy. Then there are 2 cases:
Case 1
Say a=k*c, then
xy(kxy+b)=kxy*b, when kxy = b(k  1)
i.e. a= b(k1)
so b= k*c/(k1)
but if so then (k1) divides c.
wlog, we can replace y accordingly in the above:
a= k(x(k1))
b= kx
c=x(k1)
Then a+b= k^2x
Since x is a factor of a,b, and c, the required condition can only be met if x=1, making k^2x a square.
Case 2
xy(kx+ly)=kx*ly,
so a= x*y(k*x+l*y)/(l*y) = (kx^2)/l+xy
ac = kx^2/l, and l divides k or x
and bc = ly^2/k, and k divides l or y.
k and l can be 1, but then xy(x+y)=xy, with x=1y, and c is not positive, a contradiction.
Say k is smaller than l. If so, then l divides x, and so b = ly also divides c. This would make 1/b larger than 1/c, a contradiction.
k and l can be the same, then ac = x^2, bc=y^2, c=xy, so a+b=(xy)^2
wlog let y=kx
Then x(kx)(xy)^2=k^2xy, but this is true only for x = {0,k}
The first case is a contradiction, since xy would be 0.
In the second case, a,b, and c all have k as a factor, failing the required condition.
So a+b can be square, if a,b, and c all have a common factor, but can only be square with a GCD of 1 if c=(k1), b=k, and a=k(k1)), a solution equivalent to xdog's.
Edited on March 7, 2020, 11:30 pm

Posted by broll
on 20200307 22:46:27 