Saltar al contenido principal

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

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.

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 ab.

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.

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

###### Ejemplo 1

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.

###### Ejemplo 2

¿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.

###### Ejemplo 3

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
###### Ejemplo 4

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

###### Ejemplo 5

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

###### Ejemplo 6

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

1. $$\ 5^{k}<(k+5) !$$
2. $$\ 1^{k}<(k+1) !$$
3. $$\ 4^{k}<(k+4) !$$
4. $$\ 2^{k}<(k+2) !$$
5. ¿Para qué valores de$$\ x$$ es$$\ x>x^{2}$$ verdad la desigualdad?
6. Demuéstralo$$\ 3^{n}>n^{2}$$ para todos los enteros positivos$$\ n$$.

1. $$\ \frac{1}{n+1}+\frac{1}{n+2}+\frac{1}{n+3}+\ldots+\frac{1}{2 n}>\frac{13}{24}(n>1)$$
2. $$\ 2^{n} \geq n^{2}$$para$$\ n=4,5,6, \ldots$$
3. $$\ \frac{1}{1^{2}}+\frac{1}{2^{2}}+\frac{1}{3^{2}}+\ldots+\frac{1}{n^{2}}$$
4. 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}}$$
5. $$\ n ! \geq 3^{n}$$para$$\ n=7,8,9, \ldots$$

Complete las siguientes pruebas de inducción geométrica.

1. Demostrar que la longitud lateral de un cuadrilátero es menor que la suma de todas sus otras longitudes laterales.
2. Demostrar que la longitud lateral de un pentágono es menor que la suma de todas sus otras longitudes laterales.
3. 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.

This page titled 7.3.3: Inducción y Desigualdades 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.