7.3.3: Inducción y Desigualdades
- Page ID
- 108882
\( \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 Desigualdades
Esta es la tercera de una serie de lecciones sobre pruebas matemáticas. En esta lección seguimos enfocándose principalmente en la prueba por inducción, esta vez de desigualdades, y otros tipos de pruebas como la prueba por geometría.
Inducción y Desigualdades
La propiedad transitiva de la desigualdad
A continuación, probaremos varias afirmaciones sobre las desigualdades que se basan en la propiedad transitiva de la desigualdad:
Si a < b y b < c, entonces a < c.
Tenga en cuenta que también podríamos hacer tal declaración dando la vuelta a las relaciones (es decir, usando declaraciones “mayores que”) o haciendo declaraciones inclusivas, como a ≥ b.
También es importante señalar que esta propiedad de los enteros es un postulado, o una afirmación que suponemos que es cierta. Esto significa que no necesitamos probar la propiedad transitiva de la desigualdad.
Ha encontrado otras propiedades útiles de las desigualdades en cursos anteriores de álgebra:
Propiedad de adición: si a > b, entonces a + c > b + c.
Propiedad de multiplicación: si a > b, y c > 0 entonces ac > bc.
Ejemplos
Demostrar que\(\ n ! \geq 2^{n}\) para\(\ n \geq 4\)
Solución
Paso 1) ¡El caso base es n = 4:4! = 24, 2 4 = 16. 24 ≥ 16 por lo que el caso base es verdadero.
Paso 2) Supongamos que k! ≥ 2 k para algún valor de k tal que k ≥ 4
Paso 3) ¡Demuéstralo (k +1)! ≥ 2 k+1
| (k +1)! = ¡k! (k +1) | ¡Reescribe (k +1)! en términos de k! |
|---|---|
| ≥ 2 k (k +1) | Utilice el paso 2 y la propiedad de multiplicación. |
| ≥ 2 k (2) | k +1 ≥ 5 >2, para que podamos volver a usar la propiedad de multiplicación. |
| = 2 k+1 |
Por lo tanto n! ≥ 2 n para n ≥ 4.
¿Para qué valores de x es verdadera la desigualdad x > x 2?
Solución
La desigualdad es verdadera si x es un número entre -1 y 1 pero no 0.
Demostrar que 9 n - 1 es divisible por 8 para todos los enteros positivos n.
Solución
| 1. Caso base: | Si n = 1, 9 n - 1 = 9-1 = 8 = 8 (1) |
|---|---|
| 2. Hipótesis inductiva: | Supongamos que 9 k - 1 es divisible por 8. |
| 3. Paso inductivo: | Mostrar que 9 k+1 - 1 es divisible por 8. |
| 9 k - 1 divisible por 8 ⇒ 8 W = (9 k -1) para algún entero W |
|---|
| 9 k+1 - 1 = 9 (9 k - 1) + 8 = 9 (8W) + 8, que es divisible por 8 |
Demostrar que\(\ 2^{n}<n !\) para todos los enteros positivos\(\ n\) donde\(\ n \geq 4\).
Solución
Utilice los tres pasos de prueba por inducción:
Paso 1) Caso Base:\(\ 2^{4}<4 !\)
\(\ 2 \cdot 2 \cdot 2 \cdot 2<1 \cdot 2 \cdot 3 \cdot 4\)
\(\ 16<24\)... Esto echa un cheque
Paso 2) Suposición:\(\ 2^{k}<k !\)
Paso 3) Paso de inducción: comenzando con\(\ 2^{k}<k !\) probar\(\ 2^{k}(k+1)<k !(k+1)\)
\(\ 2^{k}(k+1)<(k+1) !\)
\(\ 2<k+1 \ldots \ldots\)Si\(\ k \geq 4\) entonces esto es cierto
\(\ 2^{k} \cdot 2<2^{k}(k+1) \ldots\)Multiplicar ambos lados por\(\ 2^{k}\)
\(\ 2^{k+1}<2^{k}(k+1)\)
\(\ 2^{k+1}<(k+1) !\)
\(\ \therefore 2^{n}<n !\)para todos los enteros positivos\(\ n\) donde\(\ n \geq 4\)
Demuéstralo\(\ n^{2}<3^{n}\) para todos los enteros\(\ n>2\).
Solución
Utilice los tres pasos de prueba por inducción:
Paso 1) Caso Base:\(\ (n=1) 1^{2}<3^{1}\) o, si lo prefieres,\(\ (n=2) 2^{2}<3^{2}\)
Paso 2) Suposición:\(\ k^{2}<3^{k}\)
Paso 3) Paso de inducción: comenzando con\(\ k^{2}<3^{k}\) probar\(\ (k+1)^{2}<3^{k+1}\)
\(\ k^{2} \cdot 3<3^{k} \cdot 3\)
\(\ 2 k<k^{2} \text { and } 1<k^{2}\)... asumiendo\(\ 2<k\) como se especifica en la pregunta
\(\ 2 k+1<2 k^{2}\)... combinar las dos declaraciones anteriores
\(\ k^{2}+2 k+1<3 k^{2}\)... agregar\(\ k^{2}\) a ambos lados
\(\ (k+1)^{2}<3 k^{2}\)
\(\ (k+1)^{2}<3 \cdot 3^{k}\)... desde arriba
\(\ (k+1)^{2}<3^{k+1}\)
\(\ \therefore n^{2}<3^{n}\)para todos los enteros\(\ n>2\)
Demostrar que\(\ 2 n+1<2^{n}\) para todos los enteros\(\ n>3\)
Solución
Utilice los tres pasos de prueba por inducción:
Paso 1) Caso base: Si\(\ n=3,2(3)+1=7,2^{3}=8: 7<8\), entonces el caso base es verdadero.
Paso 2) Hipótesis inductiva: Supongamos que\(\ 2 k+1<2^{k}\) para\(\ k>3\)
Paso 3) Paso inductivo: Demuestre que\(\ 2(k+1)+1<2^{k+1}\)
\(\ 2(k+1)+1=2 k+2+1=(2 k+1)+2<2^{k}+2<2^{k}+2^{k}=2\left(2^{k}\right)=2^{k+1}\)
Revisar
Demostrar las siguientes desigualdades.
- \(\ 5^{k}<(k+5) !\)
- \(\ 1^{k}<(k+1) !\)
- \(\ 4^{k}<(k+4) !\)
- \(\ 2^{k}<(k+2) !\)
- ¿Para qué valores de\(\ x\) es\(\ x>x^{2}\) verdad la desigualdad?
- Demuéstralo\(\ 3^{n}>n^{2}\) para todos los enteros positivos\(\ n\).
Demostrar las siguientes desigualdades.
- \(\ \frac{1}{n+1}+\frac{1}{n+2}+\frac{1}{n+3}+\ldots+\frac{1}{2 n}>\frac{13}{24}(n>1)\)
- \(\ 2^{n} \geq n^{2}\)para\(\ n=4,5,6, \ldots\)
- \(\ \frac{1}{1^{2}}+\frac{1}{2^{2}}+\frac{1}{3^{2}}+\ldots+\frac{1}{n^{2}}\)
- Dado:\(\ x_{1}, \ldots, x_{n}\) son números positivos, probar lo siguiente:\(\ \frac{\left(x_{1}+\ldots+x_{n}\right)}{n} \geq\left(x_{1} \cdot \ldots \cdot x_{n}\right)^{\frac{1}{n}}\)
- \(\ n ! \geq 3^{n}\)para\(\ n=7,8,9, \ldots\)
Complete las siguientes pruebas de inducción geométrica.
- Demostrar que la longitud lateral de un cuadrilátero es menor que la suma de todas sus otras longitudes laterales.
- Demostrar que la longitud lateral de un pentágono es menor que la suma de todas sus otras longitudes laterales.
- Demostrar que es posible colorear todas las regiones de un plano divididas por varias líneas con dos colores diferentes, de modo que cualquiera de las dos regiones vecinas contengan un color diferente.
Reseña (Respuestas)
Para ver las respuestas de Revisar, abra este archivo PDF y busque la sección 7.8.
El vocabulario
| Término | Definición |
|---|---|
| ! | El factorial de un número entero n es el producto de los enteros positivos de 1 a n. El símbolo “!” denota factorial. n! =1234... ⋅ (n−1) n. |
| factorial | El factorial de un número entero n es el producto de los enteros positivos de 1 a n. El símbolo “!” denota factorial. n! =1234... ⋅ (n−1) n. |
| 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. |
| desigualdad | Una desigualdad es una declaración matemática que relaciona expresiones que no son necesariamente iguales mediante el uso de un símbolo de desigualdad. Los símbolos de desigualdad son <, >, ≤, ≥ y ≠. |
| 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... |
| postular | Un postulado es una afirmación que se acepta como verdadera sin pruebas. |
| 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. |