# Integers

• Apr 26th 2009, 09:54 PM
smithhall
Integers
Let a, b be relatively prime positive integers and consider the equation ax+by = ab.
(a) Show that the equation has no solution (x, y) belongs to N × N.
(b) Does it have a solution with (x, y) belongs to Z × Z? Why/why not?
• Apr 26th 2009, 11:25 PM
chisigma
Let's consider the equation...

$a\cdot x + b\cdot y = a\cdot b$ (1)

where $a>0$ and $b> 0$ are relatively prime integers. Deviding both terms of (1) by b [the same is if we devide by a...] we obtain the equation...

$\frac{a}{b}\cdot x + y = a$ (2)

Since $\frac{a}{b}\ni \mathbb{Z}$ and $a \in \mathbb{Z}$, no solution $(x,y) \in \mathbb{Z}^{2}$ of (2) exist. Because $\mathbb{N} \in \mathbb{Z}$, the same holds for $(x,y) \in \mathbb{N}^{2}$...

Kind regards

$\chi$ $\sigma$
• Apr 27th 2009, 03:12 AM
Plato
$\chi \sigma$,
I am not sure what part of the question you thought you proved.
However, consider $2x+3y=6$ has many solutions in $
\mathbb{Z} \times \mathbb{Z}$
but no solution in $
\mathbb{N}^+ \times \mathbb{N}^+$
.
• Apr 27th 2009, 04:20 AM
chisigma
The obervation of Plato is correct, so that i have first to apologize (Headbang)... and after to give the right solution...

Let's consider the equation...

$a\cdot x + b\cdot y = a\cdot b$

... where $a>0$ and $b>0$ are relatively prime integers. Deviding both terms of (1) by b [the same is if we devide by a...] we obtain the equation...

$\frac{a}{b}\cdot x + y = a \rightarrow y= a - \frac {a}{b}\cdot x$ (2)

Now if a and b are relatively prime in order to have $y \in \mathbb{Z}$ in necessary that $x=k\cdot b$ with k integer, i.e. x devides b. In order to have also $x\in \mathbb {N}$ and $y\in \mathbb {N}$ however, must be $k<1$ and that is a contadiction. The conclusion is that no solution $(x,y) \in \mathbb{N}^{2}$ exist and that infinite solutions $(x,y) \in \mathbb{Z}^{2}$ exist under the condition $x= k\cdot b$ with $k\in \mathbb{Z}$...

Kind regards

$\chi$ $\sigma$
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 30, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}