Apéndice B: Inducción matemática

Última actualización

30 oct 2022
Guardar como PDF
- Apéndice A: Relaciones
- Apéndice C: Funciones de generación exponencial

$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$

$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$

$\newcommand{\id}{\mathrm{id}}$ $\newcommand{\Span}{\mathrm{span}}$

( \newcommand{\kernel}{\mathrm{null}\,}\) $\newcommand{\range}{\mathrm{range}\,}$

$\newcommand{\RealPart}{\mathrm{Re}}$ $\newcommand{\ImaginaryPart}{\mathrm{Im}}$

$\newcommand{\Argument}{\mathrm{Arg}}$ $\newcommand{\norm}[1]{\| #1 \|}$

$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$

$\newcommand{\Span}{\mathrm{span}}$

$\newcommand{\id}{\mathrm{id}}$

$\newcommand{\Span}{\mathrm{span}}$

$\newcommand{\kernel}{\mathrm{null}\,}$

$\newcommand{\range}{\mathrm{range}\,}$

$\newcommand{\RealPart}{\mathrm{Re}}$

$\newcommand{\ImaginaryPart}{\mathrm{Im}}$

$\newcommand{\Argument}{\mathrm{Arg}}$

$\newcommand{\norm}[1]{\| #1 \|}$

$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$

$\newcommand{\Span}{\mathrm{span}}$ $\newcommand{\AA}{\unicode[.8,0]{x212B}}$

$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$

$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$

$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$

$\newcommand{\vectorC}[1]{\textbf{#1}}$

$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$

$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$

$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$

$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$

$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$

$\newcommand{\avec}{\mathbf a}$

$\newcommand{\bvec}{\mathbf b}$

$\newcommand{\cvec}{\mathbf c}$

$\newcommand{\dvec}{\mathbf d}$

$\newcommand{\dtil}{\widetilde{\mathbf d}}$

$\newcommand{\evec}{\mathbf e}$

$\newcommand{\fvec}{\mathbf f}$

$\newcommand{\nvec}{\mathbf n}$

$\newcommand{\pvec}{\mathbf p}$

$\newcommand{\qvec}{\mathbf q}$

$\newcommand{\svec}{\mathbf s}$

$\newcommand{\tvec}{\mathbf t}$

$\newcommand{\uvec}{\mathbf u}$

$\newcommand{\vvec}{\mathbf v}$

$\newcommand{\wvec}{\mathbf w}$

$\newcommand{\xvec}{\mathbf x}$

$\newcommand{\yvec}{\mathbf y}$

$\newcommand{\zvec}{\mathbf z}$

$\newcommand{\rvec}{\mathbf r}$

$\newcommand{\mvec}{\mathbf m}$

$\newcommand{\zerovec}{\mathbf 0}$

$\newcommand{\onevec}{\mathbf 1}$

$\newcommand{\real}{\mathbb R}$

$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$

$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$

$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$

$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$

$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$

$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$

$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$

$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$

$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$

$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$

$\newcommand{\bcal}{\cal B}$

$\newcommand{\ccal}{\cal C}$

$\newcommand{\scal}{\cal S}$

$\newcommand{\wcal}{\cal W}$

$\newcommand{\ecal}{\cal E}$

$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$

$\newcommand{\gray}[1]{\color{gray}{#1}}$

$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$

$\newcommand{\rank}{\operatorname{rank}}$

$\newcommand{\row}{\text{Row}}$

$\newcommand{\col}{\text{Col}}$

$\renewcommand{\row}{\text{Row}}$

$\newcommand{\nul}{\text{Nul}}$

$\newcommand{\var}{\text{Var}}$

$\newcommand{\corr}{\text{corr}}$

$\newcommand{\len}[1]{\left|#1\right|}$

$\newcommand{\bbar}{\overline{\bvec}}$

$\newcommand{\bhat}{\widehat{\bvec}}$

$\newcommand{\bperp}{\bvec^\perp}$

$\newcommand{\xhat}{\widehat{\xvec}}$

$\newcommand{\vhat}{\widehat{\vvec}}$

$\newcommand{\uhat}{\widehat{\uvec}}$

$\newcommand{\what}{\widehat{\wvec}}$

$\newcommand{\Sighat}{\widehat{\Sigma}}$

$\newcommand{\lt}{<}$

$\newcommand{\gt}{>}$

$\newcommand{\amp}{&}$

$\definecolor{fillinmathshade}{gray}{0.9}$

B.1: El principio de inducción matemática

B.1.1: Las ideas detrás de la inducción matemática

Hay una variante de una de las becciones que usamos para probar la Ecuación Pascal que surge al contar los subconjuntos de un conjunto. En el siguiente problema, nos ayudará a calcular el número total de subconjuntos de un conjunto, independientemente de su tamaño. Nuestro principal objetivo en este problema, sin embargo, es introducir algunas ideas que nos conduzcan a una de las técnicas de prueba más poderosas en combinatoria (y muchas otras ramas de las matemáticas), el principio de inducción matemática.

Ejercicio $360$

a. Anote una lista de los subconjuntos de $\{1, 2\}$ . ¡No olvides el set vacío! Agrupar los conjuntos que contienen $2$ por separado de los demás.

b. Anote una lista de los subconjuntos de $\{1, 2, 3\}$ . Agrupar los conjuntos que contienen $3$ por separado de los demás.

c. Busque una forma natural de hacer coincidir los subconjuntos que contienen $2$ en la Parte a. con los que no los contienen $2$ . Busque una manera de hacer coincidir los subconjuntos que contienen $3$ en la Parte b. que contienen $3$ con los que no contienen $3$ .

d. sobre la base de la parte anterior, se debe poder encontrar una bection entre la colección de subconjuntos de $\{1, 2,..., n\}$ contención $n$ y los que no contienen $n$ . (Si estás teniendo dificultades para averiguar la bection, intenta repensar las Partes a y b, tal vez haciendo un ejercicio similar con el set $\{1, 2, 3, 4\}$ .) Describe la bection (a menos que estés muy familiarizado con la notación de conjuntos, probablemente sea más fácil describir para describir la función en palabras que en símbolos) y explicar por qué es una bection. Explicar por qué el número de subconjuntos de $\{1, 2,..., n\}$ contener n es igual al número de subconjuntos de $\{1, 2,..., n − 1\}$ .

(e) Las partes a. y b. sugieren fuertemente que el número de subconjuntos de un conjunto $n$ de elementos es $2n$ . En particular, el conjunto vacío tiene $20$ subconjuntos, un conjunto de un elemento tiene $21$ subconjuntos, sí mismo y el conjunto vacío, y en Partes a. y b. vimos que los conjuntos de dos elementos y tres elementos tienen $22$ y $23$ subconjuntos respectivamente. Entonces ciertamente hay algunos valores $n$ para los cuales un conjunto de $n$ elementos -tiene $2n$ subconjuntos. Una manera de probar que un conjunto $n$ de elementos tiene $2n$ subconjuntos para todos los valores de $n$ es argumentar por contradicción. Para ello, supongamos que hay un entero no negativo $n$ tal que un conjunto $n$ -element no tiene exactamente $2n$ subconjuntos. En ese caso, puede haber más de uno de esos $n$ . Elige $k$ ser el más pequeño de este tipo $n$ . Observe que $k − 1$ sigue siendo un entero positivo, porque no $k$ puede ser $0$ , $1$ , $2$ , o $3$ . Como $k$ era el valor más pequeño de $n$ podríamos elegir hacer falsa la declaración “Un conjunto $n$ -elemento tiene $2n$ subconjuntos”, ¿qué sabes del número de subconjuntos de un conjunto $(k − 1)$ -element? ¿Qué sabes del número de subconjuntos del conjunto $k$ -element $\{1, 2,..., k\}$ que no contienen $k$ ? ¿Qué sabes del número de subconjuntos de los $\{1, 2,..., k\}$ que sí contienen $k$ ? ¿Qué le dice el principio de suma sobre el número de subconjuntos de $\{1, 2,..., k\}$ ? Observe que esto contradice la forma en que elegimos $k$ , y la única suposición que entró en nuestra elección de $k$ fue que “hay un entero no negativo $n$ tal que un conjunto de $n$ elementos -no tiene exactamente $2n$ subconjuntos”. Ya que esta suposición nos ha llevado a una contradicción, debe ser falsa. ¿Qué puede concluir ahora sobre la declaración “por cada entero no negativo $n$ , un conjunto de $n$ elementos -tiene exactamente $2n$ subconjuntos?”

Ejercicio $361$

La expresión

$1+3+5+ ··· + 2n − 1$

es la suma de los primeros n enteros impares. Experimenta un poco con la suma de los primeros enteros positivos y adivina su valor en términos de $n$ . Ahora aplica la técnica del Problema 360 para demostrar que tienes razón. (Pista).

En los Problemas 360 y 361, nuestras pruebas tenían varios elementos distintos. Teníamos una declaración que involucraba a un entero $n$ . Sabíamos que la afirmación era cierta para los primeros enteros no negativos en el Problema 360 y para los primeros enteros positivos en el Problema 361. Queríamos probar que la afirmación era cierta para todos los enteros no negativos en el Problema 360 y para todos los enteros positivos en el Problema 361. En ambos casos utilizamos el método de prueba por contradicción; para ello asumimos que había un valor $n$ para el que nuestra fórmula no era cierta. Entonces elegimos $k$ ser el valor más pequeño $n$ para el cual nuestra fórmula no era cierta. Esto significaba que cuando $n$ era $k − 1$ , nuestra fórmula era verdadera, (o de lo contrario eso no $k − 1$ era un entero no negativo en el Problema 360 o que no $k − 1$ era un entero positivo en el Problema 361). Lo que hicimos a continuación fue el quid de la prueba. Demostramos que la verdad de nuestra declaración para $n = k −1$ implicaba la verdad de nuestra declaración para $n = k$ . Esto nos dio una contradicción con el supuesto de que había una $n$ que hacía falsa la declaración. De hecho, veremos que podemos eludir por completo el uso de la prueba por contradicción. Lo usamos para ayudarte a descubrir las ideas centrales de la técnica de la prueba por inducción matemática.

El núcleo central de la inducción matemática es la prueba de que la verdad de una afirmación sobre el entero $n$ para $n = k − 1$ implica la verdad de la afirmación para $n = k$ . Por ejemplo, una vez que sabemos que un conjunto de tamaño $0$ tiene $2^0$ subconjuntos, si hemos demostrado nuestra implicación, entonces podemos concluir que un conjunto de tamaño $1$ tiene $2^1$ subconjuntos, de los cuales podemos concluir que un conjunto de tamaño $2$ tiene $2^2$ subconjuntos, de los cuales podemos concluir que un conjunto de tamaño $3$ tiene $2^3$ subconjuntos, y así sucesivamente hasta un conjunto de tamaño $n$ que tiene $2^n$ subconjuntos para cualquier entero no negativo $n$ que elijamos. Es decir, aunque fue la idea de prueba por contradicción lo que nos llevó a pensar en tal implicación, ahora podemos prescindir de la contradicción en absoluto. Lo que necesitamos para probar una afirmación $n$ por este método es un lugar para comenzar, ese es un valor $b$ $n$ para el que sabemos que la afirmación es cierta, y luego una prueba de que la verdad de nuestra declaración para $n = k − 1$ implica la verdad de la declaración para $n = k$ siempre que $k > b$ .

B.1.2: Inducción Matemática

El principio de inducción matemática establece que:

Para probar una declaración sobre un entero $n$ , si podemos

Demostrar la sentencia cuando $n = b$ , para algún entero fijo $b$
Demostrar que la verdad de la declaración para $n = k −1$ implica la verdad de la declaración para $n = k$ cuando $k > b$ ,

entonces podemos concluir que la sentencia es verdadera para todos los enteros $n ≥ b$ . Como ejemplo, volvamos al Problema 360. El enunciado que deseamos probar es el enunciado de que “Un conjunto de tamaños $n$ tiene $2n$ subconjuntos”.

Nuestra declaración es verdadera cuando $n = 0$ , porque un conjunto de tamaño $0$ es el conjunto vacío y el conjunto vacío tiene $1=2^0$ subconjuntos. (Este paso de nuestra prueba se llama paso base.) Ahora supongamos que $k > 0$ y cada conjunto con $k − 1$ elementos tiene $2^{k−1}$ subconjuntos. Supongamos que $S = \{a_1, a_2,... a_k \}$ es un conjunto con $k$ elementos. Partituramos los subconjuntos de $S$ en dos bloques. Bloque $B_1$ consiste en los subconjuntos que no contienen un y bloque $B_2$ consiste en los subconjuntos que sí contienen $a_n$ . Cada conjunto en $B_1$ es un subconjunto de $\{a_1, a_2,... a_{k−1}\}$ , y cada subconjunto de $\{a_1, a_2,... a_{k−1}\}$ está en $B_1$ . Así $B_1$ es el conjunto de todos los subconjuntos de $\{a_1, a_2,... a_{k−1}\}$ . Por lo tanto por nuestra suposición en la primera frase de este párrafo, el tamaño de $B_1$ es $2^{k−1}$ . Considere la función de $B_2$ a la $B_1$ que toma un subconjunto de $S$ incluir un y elimina $a_n$ de ella. Esta función se define en $B_2$ , porque cada conjunto en $B_2$ contiene $a_n$ . Esta función es on, porque si $T$ es un set in $B_1$ , entonces $T ∪ \{a_k \}$ es un conjunto en el $B_2$ que la función envía a $T$ . Esta función es uno a uno porque si $V$ y $W$ son dos conjuntos diferentes en $B_2$ , luego quitarlos $a_k$ de ellos da dos conjuntos diferentes en $B_1$ . Así tenemos una bection entre $B_1$ y $B_2$ , así $B_1$ y $B_2$ tenemos el mismo tamaño. Por lo tanto por el principio de suma el tamaño de $B_1 ∪ B_2$ es $2^{k−1} + 2^{k−1} = 2k$ . Por lo tanto $S$ tiene $2^k$ subconjuntos. Esto muestra que si un conjunto de tamaño $k − 1$ tiene $2^{k−1}$ subconjuntos, entonces un conjunto de tamaño $k$ tiene $2^k$ subconjuntos. Por lo tanto, por el principio de inducción matemática, un conjunto de tamaños $n$ tiene $2^n$ subconjuntos para cada entero no negativo $n$ .

A la primera frase del último párrafo se le llama hipótesis inductiva. En una prueba inductiva, siempre hacemos una hipótesis inductiva como parte de probar que la verdad de nuestra afirmación cuando $n = k − 1$ implica la verdad de nuestra afirmación cuando $n = k$ . Al último párrafo mismo se le llama el paso inductivo de nuestra prueba. En un paso inductivo, derivamos la afirmación para $n = k$ de la declaración para $n = k − 1$ , demostrando así que la verdad de nuestra afirmación cuando $n = k − 1$ implica la verdad de nuestra afirmación cuando $n = k$ . A la última frase del último párrafo se le llama conclusión inductiva. Todas las pruebas inductivas deben tener un paso base, una hipótesis inductiva, un paso inductivo y una conclusión inductiva.

Hay un par de detalles que vale la pena notar. Primero, en este problema, nuestro paso base fue el caso $n = 0$ , o en otras palabras, tuvimos $b = 0$ . Sin embargo, en otras pruebas, $b$ podría ser cualquier entero, positivo, negativo, o $0$ . En segundo lugar, nuestra prueba de que la verdad de nuestra declaración para $n = k − 1$ implica la verdad de nuestra afirmación para que $k$ se $n = k$ requiera que sea al menos $1$ , para que hubiera un elemento que $a_k$ pudiéramos quitar para describir nuestra bección. Sin embargo, la condición (2) del principio de inducción matemática solo requiere que podamos probar la implicación para $k > 0$ , por lo que se nos permitió asumir $k > 0$ .

Ejercicio $362$

Usa la inducción matemática para probar tu fórmula a partir del Problema 361.

B.1.3: Demostrar declaraciones algebraicas por inducción

Ejercicio $363$

Utilice la inducción matemática para probar la conocida fórmula de que para todos los enteros positivos $n$ ,

$1+2+ ··· + n = \dfrac{n(n + 1)}{2}$ .

Ejercicio $364$

Experimentar con diversos valores de $n$ en la suma

$\dfrac{1}{1 · 2} + \dfrac{1}{2 · 3} + \dfrac{1}{3 · 4} + ··· + \dfrac{1}{n · (n + 1)} = \sum_{i=1}^{n} \dfrac{1}{i · (i + 1)}$ .

Adivina una fórmula para esta suma y demuestra que tu suposición es correcta por inducción.

Ejercicio $365$

Para grandes valores de $n$ , que es mayor, $n^2$ o $2^n$ ? Usa la inducción matemática para demostrar que estás en lo correcto. (Pista).

Ejercicio $366$

¿Qué hay de malo con el siguiente intento de una prueba inductiva de que todos los enteros en cualquier conjunto consecutivo de $n$ enteros son iguales para cada entero positivo $n$ ? Para un entero arbitrario $i$ , todos los enteros de $i$ a $i$ son iguales, así que nuestra declaración es verdadera cuando $n = 1$ . Ahora supongamos $k > 1$ y todos los enteros en cualquier conjunto consecutivo de $k −1$ enteros son iguales. Let $S$ Ser un conjunto de enteros $k$ consecutivos. Por la hipótesis inductiva, los primeros $k − 1$ elementos de $S$ son iguales y los últimos $k − 1$ elementos de $S$ son iguales. Por lo tanto, todos los elementos del conjunto $S$ son iguales. Así, por el principio de inducción matemática, por cada positivo $n$ , cada entero $n$ consecutivo es igual. (Pista).

B.1.4: Inducción Fuerte

Una forma de ver el principio de inducción matemática es que nos dice que si conocemos el “primer” caso de un teorema y podemos derivar el caso del teorema a partir de un caso menor, entonces el teorema es cierto en todos los casos. No obstante, la forma particular en que afirmamos el teorema es bastante restrictiva en cuanto nos obliga a derivar cada caso del caso inmediatamente anterior. Esta restricción no es necesaria, y eliminarla nos lleva a una afirmación más general del principio de inducción matemática que la gente suele llamar el fuerte principio de inducción matemática. Afirma:

Para probar una declaración sobre un entero $n$ si podemos

Demostrar nuestra declaración cuando $n = b$ y
Demostrar que las declaraciones que obtenemos con $n = b$ , $n = b+1,... n = k−1$ implican la declaración con $n = k$ ,

entonces nuestra afirmación es verdadera para todos los enteros $n ≥ b$ .

Ejercicio $367$

¿Qué franqueo crees que podemos hacer con sellos de cinco y seis centavos? ¿Hay un número $N$ tal que si $n ≥ N$ , entonces podemos hacer $n$ centavos por valor de franqueo?

Probablemente veas que podemos hacer n centavos en franqueo siempre y cuando $n$ sea por lo menos $20$ . Sin embargo, no intentaste hacer $26$ centavos en franqueo trabajando con $25$ centavos; más bien viste que podías conseguir $20$ centavos y luego sumar seis centavos a eso para obtener $26$ centavos. Así, si queremos demostrar por inducción que tenemos razón en que si $n ≥ 20$ , entonces podemos hacer $n$ centavos de franqueo, vamos a tener que usar la versión fuerte del principio de inducción matemática.

Sabemos que podemos hacer $20$ centavos con cuatro sellos de cinco centavos. Ahora dejamos $k$ ser un número mayor que $20$ , y supongamos que es posible hacer cualquier cantidad entre $20$ y $k − 1$ centavos en franqueo con sellos de cinco y seis centavos. Ahora si $k$ es menor que $25$ , es $21$ , $22$ , $23$ , o $24$ . Podemos hacer $21$ con tres cincos y uno seis. Podemos hacer $22$ con dos cincos y dos seis, $23$ con uno cinco y tres seis, y $24$ con cuatro seis. De lo contrario, $k − 5$ es entre $20$ y $k − 1$ (inclusivo) y así por nuestra hipótesis inductiva, sabemos que los $k − 5$ centavos se pueden hacer con sellos de cinco y seis centavos, así con un sello más de cinco centavos, también los $k$ centavos. Así, por el (fuerte) principio de inducción matemática, podemos hacer $n$ centavos en sellos con sellos de cinco y seis centavos para cada uno $n ≥ 20$ .

Algunas personas podrían decir que realmente teníamos cinco casos base, $n = 20$ , $21$ , $22$ , $23$ , y $24$ , en la prueba anterior y una vez que hubiéramos probado esos cinco casos base consecutivos, entonces podríamos reducir cualquier otro caso a uno de estos casos base restando sucesivamente $5$ . Esa es una forma apropiada de ver la prueba. Un lógico diría que también es el caso que, por ejemplo, al probar que podríamos hacer $22$ centavos, también probamos que si podemos hacer $20$ centavos y $21$ centavos en sellos, entonces también podríamos hacer $22$ centavos. ¡Simplemente no nos molestamos en usar la suposición de que podíamos ganar $20$ centavos y $21$ centavos! En tanto que un punto de vista u otro te satisfaga, estás listo para usar este tipo de argumentos en pruebas.

Ejercicio $368$

Un número mayor que uno se llama primo si no tiene otros factores que él mismo y uno. Demuestre que cada número positivo es un primo o una potencia de un primo o un producto de potencias de números primos.

Ejercicio $369$

Mostrar que el número de factores primos de un número positivo $n ≥ 2$ es menor o igual a $\log_2 n$ . (Si se produce un primo a la potencia $k$ th en una factorización de $n$ , puede considerar ese poder como factores $k$ primos.) (Hay una manera de hacerlo por inducción y una manera de hacerlo sin inducción. Sería ideal encontrar ambos caminos.)

Ejercicio $370$

Una de las afirmaciones más poderosas en la teoría elemental de números es el Teorema de la División de Euclides. ^a Esto establece que si $m$ y $n$ son enteros positivos, entonces hay enteros no negativos únicos $q$ y $r$ con $0 ≤ r < n$ , tal que $m = nq + r$ . El número $q$ se llama cociente y el número $r$ se llama el resto. En informática, es común denotar $r$ por $m \text{ mod } n$ . En la escuela primaria, aprendiste a usar la división larga para encontrar $q$ y $r$ . Sin embargo, es poco probable que alguien alguna vez haya probado para usted que para cualquier par de enteros positivos $n$ , $m$ y, hay tal par de números no negativos $q$ y $r$ . Ahora tienes las herramientas necesarias para demostrarlo. Hazlo. (Pista).

Notas

a. en un curioso giro del lenguaje, los matemáticos han llamado desde hace mucho tiempo El algoritmo de división o Algoritmo de división de Euclides. Sin embargo a medida que la informática ha crecido en importancia, la palabra algoritmo ha conseguido una definición más precisa: un algoritmo es ahora un método para hacer algo. Existe un método (de hecho hay más de uno) para obtener la q y r que nos da el Teorema de la División de Euclides, y los informáticos llamarían algoritmos a estos métodos. Su autor ha optado por romper con la tradición matemática y restringir su uso de la palabra algoritmo a la interpretación más precisa como probablemente lo haría un informático. Aquí no estamos dando un método, así que es por eso que el nombre que se usa aquí es “Teorema de la División de Euclides”.

Search

Text Color

Text Size

Margin Size

Font Type