Difference between revisions of "Linear congruence"
(→Example 1: How to solve) |
|||
| Line 1: | Line 1: | ||
| + | A '''Linear Congruence''' is a [[congruence]] mod p of the form | ||
| − | + | <math>ax+b\equiv c\pmod{p}</math> | |
| − | <math> | + | where <math>a, b, c</math>, and <math>p</math> are [[constant]]s and <math>x</math> is the [[variable]] to be solved for. |
| − | |||
==Example I: How to solve== | ==Example I: How to solve== | ||
| Line 10: | Line 10: | ||
Say <math>5x\equiv 7\pmod{8}</math>. Find <math>x</math>. | Say <math>5x\equiv 7\pmod{8}</math>. Find <math>x</math>. | ||
| − | Solution | + | ===Solution=== |
<math>5x\equiv 7\equiv 15\pmod{8}</math>, so | <math>5x\equiv 7\equiv 15\pmod{8}</math>, so | ||
| − | <math>x\equiv 3\pmod | + | <math>5\cdot5x\equiv 5\cdot7\pmod{8}</math> and thus |
| + | |||
| + | <math>x \equiv 3 \pmod 8</math>. | ||
| + | |||
| + | |||
| + | Note that not every linear congruence has a solution. For instance, the congruence equation | ||
| + | <math>2x \equiv 3 \pmod 8</math> has no solutions. A solution is guaranteed if and only if <math>a</math> is [[relatively prime]] to <math>p</math>. If <math>a</math> and <math>p</math> are not relatively prime, say with [[greatest common divisor]] <math>d</math>, then we have two options: | ||
| + | * 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. | ||
Revision as of 10:48, 15 August 2006
A Linear Congruence is a congruence mod p of the form
where
, and
are constants and
is the variable to be solved for.
Example I: How to solve
Say
. Find
.
Solution
, so
and thus
.
Note that not every linear congruence has a solution. For instance, the congruence equation
has no solutions. A solution is guaranteed if and only if
is relatively prime to
. If
and
are not relatively prime, say with greatest common divisor
, then we have two options:
- if
divides
, there will be a solution 
- if
does not divide
, there will be no solution.