En los comentarios de preguntar acerca de la fuente de la siguiente estándar de la prueba de el paso inductivo $$5\mid 6^k-1\ \Rightarrow\ \color{#c00}5\cdot 6^k +(6^k\!-1)\,=\, \color{#0a0}{6^{k+1}-1}$$
Esta es una pregunta muy natural, ya que tales pruebas a menudo parecen estar sacados de un sombrero, como por arte de magia. Hay, de hecho, una buena explicación general de su origen. Es decir, tales pruebas son simplemente casos especiales de la prueba de la Congruencia de los Productos de la Regla, como se muestra a continuación.
${\bf Claim}\rm\qquad\ 6\equiv 1,\, 6^{k}\!\equiv 1 \Rightarrow\ 6^{k+1}\!\equiv 1\ \ \ \pmod{\!5},\ $ un caso especial de los siguientes
${\bf Lemma}\rm\quad\ \, A\!\equiv a,\, B\!\equiv b\ \Rightarrow\ AB\equiv ab\ \pmod{\!n}\ \ \ $ [Congruencia Producto De La Regla]
${\bf Proof}\ \ \ \rm n\mid A\!-\!a,\,\ B-b\,\Rightarrow\, n\mid ( A\!-\!a) B +a\ (B\!-\!b) =A B\,-\,ab$
$\rm\ \ \ \ e.g.\ \ \ 5\mid\ 6\!-\!1,\,\ 6^{k}\!-\!1\ \Rightarrow\ 5\mid(\color{#c00}{6\!-\!1})\,6^{k}+ 1\,(6^{k}\!\!-\!1) = \color{#0a0}{6^{k+1}\!-1}$
Observe que el estado de la inferencia es precisamente el mismo que dijo el estándar de la prueba de el paso inductivo. Así vemos que esta inferencia es simplemente un caso especial de la prueba de la Congruencia de los Productos de la Regla. Una vez que sabemos de esta regla, no hay necesidad de repetir toda la prueba cada vez que tenemos que utilizar. Más bien, simplemente podemos invocar la regla como un Lexema (en forma de divisibilidad si congruencias aún no son conocidas). A continuación, el paso inductivo ha vivos aritmética de la estructura, siendo el cómputo de un producto $\, 6\cdot 6^{k}\equiv 6^{(k+1)}.\,$ ya No es la innata aritmética estructura ofuscado por los detalles de la prueba ya que la prueba ha sido encapsulada en un Lema para la conveniente reutilizar.
De la misma manera, congruencias a menudo permiten impartir intuitiva aritmética estructura en complicado inductivo pruebas - lo que nos permite reutilizar nuestro perfeccionado grado de la escuela las habilidades de manipulación aritmética de las ecuaciones (vs más complejo de la divisibilidad de las relaciones). A menudo la introducción de congruencia lenguaje servirá para simplificar en gran medida de la inducción, por ejemplo, la reducción de la misma a un trivial de inducción como $\, 1^n\equiv 1,\,$ o $\,(-1)^{2n}\equiv 1.\,$ El primero es la esencia de la cuestión anterior.