Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

How to find all $(a,b)$ in $\mathbb{N}$ which $( 2a - 1 , 2b + 1 ) = 1 $ and $ a+b \mid 4ab + 1$

share|cite|improve this question
Note that if $a+b$ divides $4ab+1$ then it also divides $4ab+2(a+b)+1$ which is $(2a+1)(2b+1)$. – Gerry Myerson Oct 25 '12 at 12:26
up vote 0 down vote accepted

If $4ab+1=k(a+b)$, then $(2a+1)(2b+1)=4ab+2(a+b)+1=(k+2)(a+b)$. This allows us to write $a+b=d_1d_2$ with $d_{1,2}\in\mathbb N$, $d_1|2a+1$ and $d_2|2b+1$. Similarly $(2a-1)(2b-1)=4ab-2(a+b)+1=(k-2)(a+b)$, hence $a+b=e_1e_2$ with $e_{1,2}\in\mathbb N$, $e_1|2a-1$ and $e_2|2b-1$.

As consecutive odd numbers are relatively prime, we have $(2a-1,2a+1)=(2b-1,2b+1)=1$. Therefore $(d_1,e_1)=(d_2,e_2)=1$. This implies $d_1=e_2$ and $d_2=e_1$. But then $(2a-1,2b+1)=1$, $e_1|2a-1$, $d_2|2b+1$ imply $d_2=e_1=1$, $d_1=e_2=a+b$. Thus $a+b|2a+1$ and $a+b|2b-1$, especially $a+b\le 2a+1\Rightarrow b\le a+1$ and $a+b\le 2b-1\Rightarrow a\le b-1$. Both together imply $b=a+1$. Therefore we are looking for $a\in\mathbb N$ such that

  • $(2a-1,2a+3)=1$
  • $2a+1|4a(a+1)+1=4a^2+4a+1=(2a+1)^2$

The first condition is always true because both numbers are odd and their difference is 4. The second condition is of course also always true. Therefore the general solution to the original problem is

$$b=a+1, a\in\mathbb N.$$

share|cite|improve this answer
$2a+1|4a^2+4a+1$ instead of $2a+1|4a^2+a+1$ – Frank Oct 25 '12 at 15:08
Also observe that $2a+1|4a^2+4a+1$ implies $2a+1|2(2a+1)$ – Frank Oct 25 '12 at 16:51
@MohammedAl-mubark oops. That slip kille dinfinitely many solutions. Thanks for the hint. – Hagen von Eitzen Oct 25 '12 at 18:31

$ \begin{eqnarray} {\bf Hint}\ \ \ \rm\color{#C00}{a\!+\!b} &|&\rm \color{#0A0}{4ab\!+\!1} \\ \rm\Rightarrow\ \color{#C00}{a\!+\!b} &|&\rm (2a\!+\!1)(2b\!+\!1) =\ \ 2(\color{#C00}{a\!+\!b}) + \color{#0A0}{4ab\!+\!1} \\ \Rightarrow\ \rm\color{#C00}{a\!+\!b} &|&\rm (2a\!+\!1)(2a\!-\!1) = 4a(\color{#C00}{a\!+\!b})\!-\!(\color{#0A0}{4ab\!+\!1}) \\ \Rightarrow\ \rm a\!+\!b &|&\rm (2a\!+\!1)(2a\!-\!1,2b\!+\!1) = 2a\!+\!1 \\ \Rightarrow\ \rm a\!+\!b &|&\rm (2b\!-\!1)(2a\!-\!1,2b\!+\!1) = 2b\!-\!1\ \ (analogous\ to\ above) \end{eqnarray}$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.