Difference between revisions of "Linear congruence"

Latest revision as of 14:52, 3 August 2022

A Linear Congruence is a congruence mod p of the form $ax+b\equiv c\pmod{p}$ where $a$ , $b$ , $c$ , and $p$ are constants and $x$ is the variable to be solved for.

Solving

Note that not every linear congruence has a solution. For instance, the congruence equation $2x\equiv3\pmod8$ has no solutions. A solution is guaranteed iff $a$ is relatively prime to $p$ . If $a$ and $p$ are not relatively prime, let their greatest common divisor be $d$ ; then:

if $d$ divides $b$ , there will be a solution $\pmod{\frac{p}{d}}$
if $d$ does not divide $b$ , there will be no solution

Example

Problem

Given $5x\equiv7\pmod8$ , find $x$ .

Solution 1

$7\equiv15\pmod8$ , so $5x\equiv15\pmod8$ . Thus, $x\equiv3\pmod 8$ . Note that we can divide by $5$ because $5$ and $8$ are relatively prime.

Solution 2

Multiply both sides of the congruence by $5$ to get $25x\equiv35\pmod8$ . Since $25\equiv1\pmod8$ and $35\equiv3\pmod8$ , $x\equiv3\pmod8$ .

@@ Line 1: / Line 1: @@
+A '''Linear Congruence''' is a [[congruence]] [[modular arithmetic|mod]] p of the form
+<cmath>ax+b\equiv c\pmod{p}</cmath>
+where <math>a</math>, <math>b</math>, <math>c</math>, and <math>p</math> are [[constant]]s and <math>x</math> is the [[variable]] to be solved for.
-== Linear Congruences ==
+==Solving==
-A '''Linear Congruence''' is a congruence mod p of the form
+Note that not every linear congruence has a solution. For instance, the congruence equation <math>2x\equiv3\pmod8</math> has no solutions. A solution is guaranteed [[iff]] <math>a</math> is [[relatively prime]] to <math>p</math>. If <math>a</math> and <math>p</math> are not relatively prime, let their [[greatest common divisor]] be <math>d</math>; then:
+* if <math>d</math> [[divide]]s <math>b</math>, there will be a solution <math>\pmod{\frac{p}{d}}</math>
+* if <math>d</math> does not divide <math>b</math>, there will be no solution
-<math>ax+b\equiv c\pmod{p}$</math>
+==Example==
+===Problem===
+Given <math>5x\equiv7\pmod8</math>, find <math>x</math>.
-, where a, b, c, and p are constants, and x is the variable.
+===Solution 1===
+<math>7\equiv15\pmod8</math>, so <math>5x\equiv15\pmod8</math>. Thus, <math>x\equiv3\pmod 8</math>. Note that we can divide by <math>5</math> because <math>5</math> and <math>8</math> are relatively prime.
+===Solution 2===
+Multiply both sides of the congruence by <math>5</math> to get <math>25x\equiv35\pmod8</math>. Since <math>25\equiv1\pmod8</math> and <math>35\equiv3\pmod8</math>, <math>x\equiv3\pmod8</math>.
+[[Category:Number theory]]

Page

Toolbox

Search