I'm confused about how to do the extended algorithm. For example, here's the gcd part
gcd(8000,7001)
$$\begin{align}8000 &= 7001\cdot1 + 999\\
7001&=999\cdot 7+8\\
999&=8\cdot 124+7\\
8&=7\cdot 1+1\\
7&=1\cdot 7+0\\
\gcd(8000,7001)&=1\end{align}$$
Now, the extended algorithm
$$\begin{align}1 &= 8 - 1\cdot7\\
&= 8 - 1\cdot(999 - 8\cdot124)\\
&= -1\cdot999 + 8\cdot125\end{align}$$
How do you get this 8*125 from the previous line?
Answer
$\begin{eqnarray}\!\text{By the distributive law}\ \ && \,8\:\!\ \overbrace{ -\, 1\cdot(999\,-\,8\cdot 124)}^{\textstyle -1\,(a\!-\!b) = -a\! +\! b\ }\\
&=&\ 8\cdot\color{#c00}1\, -\, 999\, +\, 8\cdot\color{#c00}{124}\\ &=&\ 8\cdot\color{#0a0}{ 125} - 999\ \ \,{\rm by}\ \ \color{#c00}{124 + 1} = \color{#0a0}{125}\end{eqnarray}$
This "back-substitution method" for the extended gcd is notoriously error-prone. Simpler to compute and easier to remember is the method described here., where we keep track of each remainder's expression as a linear combination of the gcd arguments. Executing that algorithm yields
$$\begin{array}{rrr}
8000 & 1 & 0\\
7001 & 0 & 1\\
999 & 1 & -1\\
8 & -7& 8\\
-1 & \!\!\color{#c00}{876} & \!\!\!\color{#0a0}{-1001}\end{array}$$
where each line $\,\ a\ \ b\ \ c\ \,$ means that $\ a = 8000\, b + 7001\, c.\ $ Therefore
$$ 1 = -\color{#c00}{876}\cdot 8000 + \color{#0a0}{1001}\cdot 7001$$
The linked post described the algorithm in great detail, in a way that is easy to remember.
Here is another example computing $\rm\ gcd(141,19),\,$ with the equations written explicitly
$$\rm\begin{eqnarray}
[\![1]\!]\ \ \ \, \color{#C00}{141}\!\ &=&\,\ \ 1&\cdot& 141\, +\ 0&\cdot& 19 \\
[\![2]\!]\quad\ \color{#C00}{19}\ &=&\,\ \ 0&\cdot& 141\, +\ 1&\cdot& 19 \\
\color{#940}{[\![1]\!]-7\,[\![2]\!]}\, \rightarrow\, [\![3]\!]\quad\ \ \ \color{#C00}{ 8}\ &=&\,\ \ 1&\cdot& 141\, -\ 7&\cdot& 19 \\
\color{#940}{[\![2]\!]-2\,[\![3]\!]}\,\rightarrow\,[\![4]\!]\quad\ \ \ \color{#C00}{3}\ &=& {-}2&\cdot& 141\, + 15&\cdot& 19 \\
\color{#940}{[\![3]\!]-3\,[\![4]\!]}\,\rightarrow\,[\![5]\!]\quad \color{#C00}{{-}1}\ &=&\,\ \ 7&\cdot& 141\, -\color{#0A0}{ 52}&\cdot& \color{#0A0}{19} \end{eqnarray}\qquad\qquad\qquad\quad$$
No comments:
Post a Comment