En un comentario, observación de que usted no tiene idea de cómo Andre pensamiento de la prueba inductiva. A continuación vamos a mostrar que no es un truco de magia, sino que es un caso especial de un simple método general que trabaja para las inducciones de este tipo. A continuación se muestran muy explícitamente cómo el inductivo pasos en las pruebas por Andre y oujdid ambos son , precisamente, los casos especiales de las pruebas de la Congruencia de los Productos de la Regla. Usted no necesita estar familiarizado con congruencias para entender esto, ya que también escribe en equivalente de divisibilidad forma. Recordemos que $\rm\ n\mid k\,$ $\rm\,n\,$ divide $\rm\,k.\,$
${\bf Claim}\rm\qquad 10^2\!\equiv 1, \, 10^{2k}\!\equiv 1\ \, \Rightarrow\,\ 10^{2(k+1)}\!\equiv 1\ \, \pmod{\!11} $
${\bf Lemma}\rm\qquad\! A\equiv a,\ \, B\equiv b\quad \Rightarrow\quad\,\ AB\equiv ab\ \ \pmod{\!n}\ \ $ [$\rm\color{#c00}C$ongruence $\rm\color{#c00}P$roducto $\rm\color{#c00}R$ule]
$\rm\quad\ \ i.e.\quad\! n\mid\ A-a,\ \ B\,-\,b\ \Rightarrow\,\ n\mid \,AB\,-\,ab\qquad\qquad\ \ \ $ [$\rm\color{#c00}{CPR}\,$ en la divisibilidad de formulario]
${\bf Proof}\quad \rm n\mid\ A-a,\ \ B\,-\,b\,\Rightarrow\,\ n\mid \ A\ (\ B\,-\,b)+\,(\ A-a)b\, =\ \,A\, B\,-\,a\,b$
$\rm\quad\ e.g.\,\ 11\mid 10^2\!-\!1,10^{2k}\!-\!1\,\Rightarrow 11\mid\! 10^2(10^{2k}\!-\!1)+(10^2\!-\!1)1\,= 10^{2(k+1)}\!-1\ \ $ [André]
${\bf Proof}\quad \rm n\mid\ A-a,\ \ B\,-\,b\,\Rightarrow\,\ n\mid (\, A-a)\,\ B\ \ +a\ (\ B-b)\, =\ \,A\, B\,-\,a\,b$
$\rm\quad\ e.g.\,\ 11\mid 10^2\!-\!1,10^{2k}\!-\!1\,\Rightarrow 11\mid(10^2\!-\!1)10^{2k}\!+\! 1(10^{2k}\!\!-\!1) = 10^{2(k+1)}\!-1\ \ $ [oujdid]
Así que el inductivo pasos de André y oujdid - que parecen haber sido sacados de un sombrero como por arte de magia, en realidad tienen nada pero los casos especiales de las pruebas 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 se emplean. 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 simplemente el cálculo de un producto $\, 10^2\!\cdot 10^{2k}\equiv 10^{2(k+1)}.\,$ ya No es la innata aritmética de la estructura de la inducción ofuscado por los detalles de la prueba pf el Producto de la Regla 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 inductiva pruebas - lo que nos permite reutilizar nuestro perfeccionado grado de la escuela las habilidades de manipulación aritmética de las ecuaciones (frente a los más complejos 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 último es la esencia de la cuestión anterior, el cobre.sombrero de respuesta.