Find $3$ different naturals that are relatively prime pairs, such that the sum of any two is divisible by third.

Question

(a) Find $3$ different natural numbers, relatively prime in pairs, such that the sum of any two is divisible by the third.
(b) Find $3$ different natural numbers such that the product of any two leaves a remainder of $1$ upon division by the third.

(a) If try to do by algebraic reasoning, then unable to find the representation of the different naturals that are relatively prime in pairs. Any way to represent $3$ relatively prime pairs seems impossible. Then what is left is a finding of all such pairs for naturals in increasing order.

(b) Again need a proper approach that is not guess-work.

---

Note In face of answers and other sources, have edited my answer as below:

(a) First, need to represent using the Bezout's lemma the pairwise relatively prime pairs. Say,
$\exists l,m,n,o,p,q,r,s,t, \in \mathbb{Z}$ s.t.
(i)$la+mb=1,$
(ii) $ob+pc=1,$
(iii)$ ra+sb=1$.

To show divisibility for the sum of any two by the third natural, requires following algebraic reasoning:
$\exists x,y,z \in \mathbb{N}$, s.t.
(iv)$a+b = xc \implies c = \frac{(a+b)}{x}$,
(v)$ b+c = ya\implies a = \frac{(c+b)}{y}$,
(vi)$a+c=zb\implies b = \frac{(a+c)}{z}$.

It seems that it is not easy to combine such two different algebraic representations.

Answer 1

Question (a): Hint: the following triples $(a,b,c)$ are solutions: $$ a=1, \qquad b=1, \qquad c=1; $$ $$ a=1, \qquad b=1, \qquad c=2; $$ $$ a=1, \qquad b=2, \qquad c=3. $$ (Every permutation of each of the above is a solution as well. The requirement that $a,b,c$ should be different leaves only the latter triple, i.e. any permutation of $1,2,3$.)

Now let us prove that there are no other solutions. (See also the last page of this problem set.)

Proof. Let $a<b<c$. Then $a+b<2c$. But $c$ must divide $a+b$, therefore $c=a+b$.

So we have $b\ | \ (a+c)$; that is $b\ | \ (2a+b)$. Therefore $b\ | \ (2a)$. But $2b>2a$, so in order for $b\ | \ (2a)$ we must have $b=2a$. We have thus found that $$ b=2a, \qquad c=a+b=3a. $$ Therefore any triple $(a,2a,3a), \ a\in{\mathbb N},$ is a solution (not necessarily coprime!) -- and no other triple would work. The positive integers $(a,2a,3a)$ have a common divisor $a$; these integers are coprime if and only if $a=1$. We have thus proved that the only coprime solution is $(a,2a,3a)$ with $a=1$, that is, $(1,2,3)$.

Answer 2

For part (b), suppose $a < b < c$. Then for some integers $l, m$, $ab = lc + 1$ and $ac = mb + 1$. Actually

$$ lm = \frac{ab-1}{c}\frac{ac-1}{b} = a^2 - \frac ac - \frac ab + \frac{1}{bc} $$

So $lm \equiv -1\pmod a$. Observer that $lmbc \equiv 1 \pmod a$, and this implies $a = 2$. The only solution is $a = 2$, $b = 3$, $c = 5$.