$23\mid 3x+5y\iff 23\mid 5x-7y,$ for integers $x,y$

Question

Let $x,y$ be some integers such that $23|3x+5y$. Show that $23|5x-7y$ as well.

This was my exam question and I did not solve it. Could anyone give some insight how to do this? Even after the exam I can not solve it...

Answer 1

Hint $\bmod 23\!:\ \overbrace{\color{#c00}5x\color{#0ad}{-7}y \equiv -6\,(\color{#c00}3x+\color{#0af}{5}y)}^{\textstyle [\color{#c00}5,\color{#0af}{-7}]\ = -6\ [\color{#c00}3,\ \color{#0af}5] \ \ \ \ \ \ }\,\ $ by $\,\ \color{#c00}{\dfrac{5}3} \equiv -6\equiv \color{#0af}{\dfrac{\!\!-7}5}$

Key Idea $ $ Scaling by a unit (invertible) $\,u\,$ always preserves equations, i.e. it always yields an equivalent equation, so $\, ax+by\equiv 0\Rightarrow uax+uby\equiv 0,\,$ and conversely (by scaling by $\,u^{-1}).\,$ Thus here we seek $\,u(\color{#c00}3x+\color{#0af}5y)\equiv \color{#c00}5x\color{#0af}{-7}y\,$ hence $\,\color{#c00}3u\equiv \color{#c00}5\iff u\equiv \color{#c00}{5/3}\equiv -18/3\equiv -6,\,$ and this works since it also give the sought coef of $\,y,\,$ viz. $\,\color{#0af}5u\equiv 5(-6)\equiv \color{#0af}{-7}$.

Divisibility Tests like $\, 7\mid10b\!+\!a\!\iff\! 7\mid b\!-\!2a$ are prototypical examples of such equivalence.

---

Or geometrically, the lines are equal since they have the same slope $\,y/x\,$ and same point $\,(0,0).\,$ Note that $x\equiv 0\iff y\equiv0\,$. Else $\ x\not\equiv 0\,$ so $\,7y\equiv 5x\iff y/x\equiv \color{#0af}{5/7},\,$ and $\, 5y\equiv -3x \!\iff\! y/x\equiv \color{#c00}{-3/5}.\,$ The slope fractions $\,\color{#0af}{\frac{5}7},\, \color{#c00}{\frac{-3}5}\,$ are equal (i.e. congruent $\rm mod\ 23)\,$ because cross multiplication yields $\, \color{#0af}5(\color{#c00}5)\equiv 2\equiv \color{#0af}7(\color{#c00}{-3})\:\!\pmod{\!23}.$

Here the geometry and (linear) algebra work as usual since we are working over a coefficient ring that is a field $\,\Bbb Z/23 = $ integers mod $\,23,\,$ so $\,a\not\equiv 0\,\Rightarrow\, a\,$ is a unit (invertible).

Answer 2

Divisibility questions are often simpler when rephrased as modular arithmetic. You want to show

$$ 3x + 5y \equiv 0 \pmod{23} \implies 5x - 7y \equiv 0 \pmod{23} $$

A simplistic thing to do is to look at the known equation, and simplify it by solving for $x$

$$ x \equiv 3^{-1} \cdot (-5) y = 6y \pmod{23} $$

and using this to eliminate $x$ from the thing we're trying to prove:

$$ \begin{align} 5x - 7 \equiv 0 \pmod{23} &\iff 5(6y) - 7y \equiv 0 \pmod{23} \\&\iff 30y - 7y \equiv 0 \pmod{23} \\&\iff 0y \equiv 0 \pmod{23} \end{align}$$

Conveniently, we've accidentally solved the problem in the process of simplifying it!

---

Another thing to do with it is to use your linear algebra. The set of all solutions for $(x,y)$ in the equation $3x + 5y \equiv 0 \pmod{23}$ is a one-dimensional vector space over the field of 23 elements. Similarly, the set of all solutions to $5x - 7y \equiv 0 \pmod{23}$ is a one-dimensional vector space.

If every solution to the former is truly a solution to the latter, then those have to be the same one-dimensional vector space. And for that to happen, the vectors $(3, 5)$ and $(5, -7)$ must be linearly dependent.

We could try to see that one of these vectors is a multiple of the other one, but it is even easier (no modular division involved!) to check the determinant of the matrix

$$ \left[ \begin{matrix} 3 & 5 \\ 5 & -7 \end{matrix} \right]$$

is zero. And indeed,

$$3 \cdot (-7) - 5 \cdot 5 = -21 - 25 = -46 \equiv 0 \pmod{23} $$

It is important that $23$ is prime; linear algebra is a bit more subtle if you try to work in the ring of integers modulo a composite number.

Answer 3

High-level approach. We have the field $\mathbb{F}_{23}$ and the homomorphism $f: \mathbb{F}_{23}^2 \to \mathbb{F}_{23}$ of vector spaces defined by the formula $f(m, n) = mx + ny$, where $x$ and $y$ are fixed scalars. We know that $f(3, 5)=0$ and we want to show that $f(5, -7)=0$.

In other words, we know that $(3, 5) \in \ker f$ and we want to show that $(5,-7) \in \ker f$. To prove this, it is sufficient to show that $(5, -7)$ belongs to the linear span $\langle (3, 5) \rangle$. But this is the same as to say that $5/-7 = 3/5$ in the field $\mathbb{F}_{23}$, which is equivalent to the congruence of integers: $$ 5 \cdot 5 \equiv 3 \cdot (-7) \mod 23. $$ This congruence is true, therefore we are done. Note how we didn't have to lucky-guess anything.

Answer 4

Here's a systematic approach.

Because $\gcd(23,3)=1$, you can get $23\mid x+ay$ like this: $$23\mid3x+5y\Longrightarrow23\mid8(3x+5y)-23x=x+40y\Longrightarrow23\mid x-6y$$

Then just multiply by 5 and you get what you wanted: $$23\mid5(x-6y)=5x-30y\Longrightarrow23\mid5x-7y$$

Answer 5

$23\mid3x+5y $
$\implies 23\mid-6.(3x+5y)$
$\implies 23\mid5x - 7y - 23(x-y)$
$\implies 23\mid5x-7y$

$23\mid5x-7y $
$\implies 23\mid-4.(5x-7y)$
$\implies 23\mid3x+5y - 23(x-y)$
$\implies 23\mid3x+5y$

Answer 6

$$3x+5y\equiv 0\pmod{23}\iff x\equiv3^{-1}(-5)y\pmod{23}$$ So, $$5x-7y\equiv5.3^{-1}(-5)y-7y\equiv3^{-1}(5(-5)-(3)7)y\equiv3^{-1}(-46)y\equiv0\pmod{23}$$

Answer 7

One idea can be eliminating a variable

$$5(3x+5y)-3(5x-7y)=46y\iff5(3x+5y)=46y+3(5x-7y)$$ or $$7(3x+5y)+5(5x-7y)=46x\iff7(3x+5y)=46x-5(5x-7y)$$

Observe that if $23|(3x+5y), 23$ must divide $(5x-7y)$ as $(3,23)=1=(5,23)$ and vice versa