Saltar al contenido principal

# 7.3.2: Inducción y Factores

$$\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}$$

## Inducción y Factores

La prueba por inducción es común en las matemáticas. En esta lección la utilizaremos para probar diferentes tipos de hipótesis y para practicar el uso del proceso en diferentes situaciones. Específicamente, estaremos aplicando los principios de inducción para acreditar diversas afirmaciones respecto a factores y factoriabilidad.

## Inducción y Factores

Hay dos propiedades de los enteros y sus factores que serán útiles para las pruebas en esta lección.

Propiedad 1: Si a es un factor de b, y a es un factor de c, entonces a es un factor de la suma

b + c.

Por ejemplo, el conjunto de números a = 3, b = 6 y c = 9 satisface la hipótesis porque 3 es un factor de 6 y 3 es un factor de 9. La propiedad 1 establece que por lo tanto 3 es un factor de 9 + 6 = 15, lo que sabemos es cierto porque 3 × 5 = 15. Podemos probar que esta propiedad es cierta para todos los enteros si pensamos en lo que significa el término factor. Si a es un factor de b, entonces existe algún número entero M tal que aM = b. Del mismo modo si a es un factor de c, entonces existe algún número entero N tal que aN = c. Así podemos escribir la suma b + c como aM + aN. Sabemos

b + c = aM + aN = a (M + N).

Debido a que podemos escribir la suma como producto de a y otro número, a es un factor de la suma b + c.

Propiedad 2: Si a es un factor de b y b es un factor de c, entonces a es un factor de c.

Podemos probar esta propiedad de manera similar. Si a es un factor de b, entonces existe algún número entero M tal que aM = b. Si b es un factor de c, entonces existe algún número entero N tal que bN = c. Podemos escribir c de la siguiente manera:

c = bN = (aM) N = a (MN)

Por lo tanto a es un factor de c porque podemos escribir c como el producto de a y otro entero, MN.

Como se señaló anteriormente, estas propiedades de los enteros son útiles para probar declaraciones sobre números enteros y factores a través de la inducción.

## Ejemplos

###### Ejemplo 1

Demostrar que 3 es un factor de 4 n - 1 para todos los enteros positivos n.

Solución

Prueba por inducción:

1. El caso base: si n = 1, entonces 4 n - 1 = 4 - 1 = 3. 3 es un factor de sí mismo porque 3 × 1 = 3. Si el caso base no te convence, siempre puedes probar valores adicionales de n. Por ejemplo, si n = 2, 4 2 - 1 = 16 - 1 = 15 = 5 × 3.
2. La hipótesis inductiva: asumir que 3 es un factor de 4 k - 1.
3. El paso inductivo: mostrar que 3 es un factor de 4 k+1 - 1.

Si 3 es un factor de 4 k - 1, entonces existe algún número entero M tal que 3 M = 4 k - 1. Podemos escribir 4 k+1 - 1 de una manera que nos permita utilizar la hipótesis inductiva:

4 k+1 - 1
4 (4 k -1) + 3 Factorizar 4, pero sumar 3 para mantener el valor de 4 k+1 -1
4 (3 M) + 3 Sustituto: 3 M = 4 k - 1

Tenga en cuenta que la sustitución es lo mismo que usar la propiedad 2 anterior: si 3 es un factor de 4 k - 1, entonces 3 es un factor de 4 (4 k - 1). El uso de la sustitución simplemente hace que el hecho sea un poco más obvio. Este último paso demuestra que 3 es un factor de 4 k+1 - 1, por propiedad 1 anterior.

La técnica de reescritura del término k + 1 también puede ser utilizada para probar afirmaciones sobre polinomios y factores.

###### Ejemplo 2

Demostrar que x - y es un factor de x n - y n para todos los enteros positivos n.

Solución

Nota: Ya que estamos hablando de polinomios que ahora son factorizables, no enteros, entonces decimos que si x - y es un factor de x n - y n , entonces existe un polinomio P tal que P (x - y) = x n - y n.

Prueba por inducción:

1. El caso base: Si n = 1, tenemos x n - y n = x - y, y x - y es un factor de sí mismo, como x - y = 1 (x - y).

Como hicimos anteriormente, también podemos verificar n = 2 para convencernos a nosotros mismos. Si n = 2, tenemos x 2 - y 2 = (x - y) (x + y), entonces x - y es claramente un factor.

2. La hipótesis inductiva: asumir que x - y es un factor de x k - y k.
3. Mostrar que x - y es un factor de x k+1 - y k+1.

A partir del paso inductivo, sabemos que hay algún polinomio P tal que P (x - y) = x k - y k. Podemos reescribir x k+1 - y k+1 de una manera que nos permita utilizar la hipótesis inductiva:

x k+1 - y k+1
= x k+1 - xy k + xy k - y k+1
= x (x k - y k) + y k (x - y)
= x (P (x - y)) + y k (x - y)
= Px (x - y) + y' k-1 (x - y )

Nuevamente, por la propiedad 1 anterior, esto demuestra que x - y es un factor de x k+1 - y k+1. Por lo tanto hemos demostrado que x - y es un factor de x n - y n para todos los enteros positivos n.

###### Ejemplo 3
1. Sin sumar, determinar si 7 un factor de 49 + 70.
2. Considera la suma 23 + 54 = 77. ¿7 es un factor de 77? ¿Qué le dice esto sobre la propiedad del primer factor en la lección?

Solución

1. Use la Propiedad 1 de la lección: Si a es un factor de b, y a es un factor de c, entonces a es un factor de la suma b + c.

7 es un factor de 70, ya que 7×10=70

Por lo tanto, 7 es un factor de 119, ya que 49+70=119

2. Esta es una prueba de lo contrario de la Propiedad 1, que sería “Si un número es un factor de la suma, entonces es un factor de los factores de la suma”

7 es un factor de la suma: 77

7 no es un factor de 23 o 54

Esto nos dice que lo contrario de la propiedad no es necesariamente cierto.

###### Ejemplo 4

Demostrar que x n - 1 es divisible por x - 1 para todos los enteros positivos n.

Solución

1. Caso base: Si n = 1, x k - 1 = x - 1 = (x - 1) (1)
2. Hipótesis inductiva: Supongamos que x k - 1 es divisible por x - 1
3. Paso inductivo: Mostrar que x k+1 - 1 es divisible por x - 1.

x k - 1 divisible por x - 1 ⇒ P (x - 1) = (x k - 1) para algún polinomio P x k + 1 - 1 = x (x k - 1) + (x - 1) = Px (x - 1) + (x - 1), que es divisible por x - 1

###### Ejemplo 5

Demostrar que n 2 - n es par para todos los enteros positivos n.

Solución

1. Caso base: Si n = 1, 1 2 - 1 = 1 - 1 = 0 = 2 × 0
2. Hipótesis inductiva: Supongamos que k 2 - k es par
3. Paso inductivo: Demostrar que (k + 1) 2 - (k + 1) es par.

Si k 2 - k es par, entonces k 2 - k = 2 M para algún número entero M (k + 1) 2 - ( k + 1) = k 2 + 2 k + 1 - k - 1 = k 2 - k + 2 k = 2 M + 2 k = 2 (M + k) que es par porque M + K es un entero.

###### Ejemplo 6

Demostrar que 5 2n-1 + 1 es divisible por 6 para todos los enteros positivos n.

Solución

1. Caso base: Si n = 1, 5 1 + 1 = 5 + 1 = 6 = 6 (1)
2. Hipótesis inductiva: Supongamos que 5 2k-1 + 1 es divisible por 6.
3. Paso inductivo: Mostrar que 5 2 (k + 1) - 1 + 1 es divisible por 6.

Si 5 2k - 1 + 1 es divisible por 6, entonces 5 2k - 1 + 1 = 6M para algún entero M. 5 2 (k + 1) - 1 + 1 = 5 2k + 1 + 1 = 5 2 (5 2k - 1 + 1) - 24 = 5 2 (6M) - 24 que es divisible por 6.

## Revisar

1. Sin sumar, determinar si 7 es un factor de 49 + 70.
2. Considera la suma 23+54=77 ¿Es 7 un factor de 77? ¿Qué le dice esto sobre la propiedad del primer factor en la lección?
3. Demostrar que cualquier entero positivo n > 1 a) es primo o, b) puede representarse como un producto de factores primos.
4. Dentro del conjunto “J” se encuentran todos los enteros positivos, desde el número 1 hasta 2n. Demostrar que hay dos números, uno que es factor de otro, de cualquiera (n = 1) números elegidos del conjunto “J”
5. Demostrar que también$$\ \left(x^{n}+\frac{1}{x^{n}}\right)$$ es un número entero para cualquier entero positivo n si lo siguiente es un número entero:$$\ \left(x+\frac{1}{x}\right)$$
6. Demostrar la fórmula$$\ n_{k+m}=n_{k-1} u_{m}+n_{k} n_{m+1}$$ para la secuencia de números de Fibonacci:$$\ n_{1}=1, n_{2}=1, u_{k+1}=n_{k}+n_{k-1}, k=2,3 \ldots$$

1. $$\ 1^{2}+2^{2}+3^{2}+\ldots+n^{2}=\frac{n(n+1)(2 n+1)}{6}$$
2. $$\ 1^{3}+2^{3}+3^{3}+\ldots+n^{3}=\frac{n^{2}(n+1)^{2}}{4}$$
3. $$\ 1 \cdot 2 \cdot 3+2 \cdot 3 \cdot 4+\ldots+n(n+1)(n+2)=\frac{n(n+1)(n+2)(n+3)}{4}$$
4. $$\ 1 x \cdot 1 !+2 x \cdot 2 !+\ldots+n \cdot n !=(n+1) !-1$$
5. $$\ n^{2} \frac{(n+1)^{2}}{4}=1^{3}+2^{3}+3^{3}+\ldots+n^{3}$$
6. $$\ n(n+1) \frac{(2 n+1)}{6}=1^{2}+2^{2}+3^{2}+\ldots+n^{2}$$

1. Demostrar que$$\ n \frac{(n+1)}{2}$$ es un factor de$$\ 1+2+3+\ldots+n$$ para todos los enteros positivos$$\ n$$
2. Demostrar que 3 es un factor de$$\ n^{3}+2 n$$ para todos los enteros positivos$$\ n$$.
3. Demostrar que$$\ n^{2} \frac{(n+1)^{2}}{4}$$ es un factor de$$\ 1^{3}+2^{3}+3^{3}+\ldots+n^{3}$$

## Reseña (Respuestas)

Para ver las respuestas de Revisar, abra este archivo PDF y busque la sección 7.7.

## El vocabulario

Término Definición
factor Los factores son los números que se multiplican para igualar un producto. Factorizar significa reescribir una expresión matemática como producto de factores.
inducción La inducción es un método de prueba matemática que se usa típicamente para establecer que una declaración dada es verdadera para todos los enteros positivos.
Entera Los enteros constan de todos los números naturales, sus opuestos y cero. Los enteros son números en la lista..., -3, -2, -1, 0, 1, 2, 3...
prueba Una prueba es una serie de afirmaciones verdaderas que conducen a la aceptación de la verdad de una afirmación más compleja.

This page titled 7.3.2: Inducción y Factores is shared under a CK-12 license and was authored, remixed, and/or curated by CK-12 Foundation via source content that was edited to the style and standards of the LibreTexts platform.