En primer lugar, reformulemos esto de una manera más comprensible. Le pide que pruebe el algoritmo de división, es decir, que para un número no negativo [matemática] n [/ matemática], números [matemática] q, r [/ matemática] para los cuales [matemática] n = aq + r, \; 0 \ le r <a [/ math] son únicos para un valor fijo de [math] a [/ math].
Haremos la inducción en [math] n [/ math].
[matemática] n = 1 [/ matemática] (el caso n = 0 es trivial, así que elegí 1 como el caso base).
[matemáticas] 1 = qa + r [/ matemáticas]
Como [math] r \ lt a [/ math], [math] qa [/ math] tiene que ser no negativo (¿por qué?) Y dado que [math] r \ ge0 [/ math] y [math] a \ ge2 [/ matemática] tiene que ser cero, es decir, [matemática] q = 0 [/ matemática] y [matemática] r = 1 [/ matemática]. Eso es único
- Cómo resolver la relación de recurrencia [matemáticas] T (n) = n ^ {1/2} T (n ^ {1/2}) + n ^ {1/2} [/ matemáticas] usando el método de sustitución
- ¿El trabajo realizado en el algoritmo AKS es muy complejo?
- Necesito un algoritmo que me proporcione un conjunto [matemático] T [/ matemático] de cardinalidad mínima ([matemático] T \ subseteq U [/ matemático]), tal que [matemático] T \ cap S_i \ ne \ phi, \ forall i [/ math], donde [math] 1 \ le i \ le n [/ math]?
- Para los analfabetos matemáticos: ¿qué problema resolvió Grigori Perelman?
- ¿Por qué no se incluye la factorización prima en los problemas del Premio del Milenio?
Según la hipótesis de inducción, existen un cociente único y el resto para el número [matemático] n [/ matemático] dividido por [matemático] a [/ matemático], es decir
[matemáticas] n = qa + r [/ matemáticas]
Ahora, suma 1 a ambos lados para obtener
[matemáticas] n + 1 = qa + r + 1 [/ matemáticas]
Hay dos opciones posibles: [matemática] r + 1 = a [/ matemática] y [matemática] r + 1 \ lt a [/ matemática] porque [matemática] r \ lt a [/ matemática]. Si el último es verdadero, [matemática] n + 1 [/ matemática] tiene un cociente único y el resto en forma [matemática] q, r + 1 [/ matemática]. Si lo primero es cierto, entonces podemos escribir [matemática] qa + r + 1 = qa + a = (q + 1) a + 0 [/ matemática] nuevamente dándonos un par único de cociente y resto en forma [matemática] q + 1,0 [/ math] que prueba el paso de inducción.