Iniciar sesión Empieza a estudiar
La app de estudio todo en uno
4.8 • +11 mil reviews
Más de 3 millones de descargas
Free
|
|

Demostración por casos

Demostración por casos

Imagina que se te pide probar que todos los números \(x=2n\) son pares. Aquí \(n\) es un número entero que crece, primero es \(n=1\), después es \(n=2\) y así sucesivamente. ¿Cómo lo haces? Básicamente podrías probar que \(x=2(1)\) es par que ya que es \(x=2\), y después tendrías que hacerlo con \(n=2\) y así sucesivamente. Esto se llama prueba por casos de agotamiento.

El enunciado diría algo como: “prueba que todos los números \(x=2(n)\) donde \(n\) es un entero, son pares. Este enunciado debe ser demostrado ya que no se sabe si es cierto, es de hecho una conjetura. Y lo que se te pide es hacer una demostración matemática.

Demostraciones matemáticas y demostraciones por casos

Una demostración matemática consiste simplemente en una serie de pasos lógicos que se siguen para decir que algo es cierto o falso. Esto podría parecer sencillo, porque muchas veces parece lógico como el enunciado donde se te pide demostrar que \(x=2n\) es par siempre que \(n\) sea un entero.

La dificultad de una demostración matemática como las demostraciones por casos es que se debe dar un argumento lógico que sea capaz por sí solo de confirmar que algo siempre sea cierto o falso.

Veamos el ejemplo del enunciado inicial, donde usaremos casos e inducción:

Se tiene que \(x=2n\) es par, siempre que \(n\) es entero. Primero probamos con \(n=1\).

\[x=2(1)=2\]

Para comprobar que el resultado es par basta con tomar algo que demuestre que 2 es par, esto es dividir entre 2. Al dividir entre 2 se tiene que el residuo es 0.

\[r=(2/2)=0\]

Ahora vayamos con \(n=2\):

\[x=2(2)=4\]

El resto es:

\[r=(4/2)=0\]

Seguimos con \(n=3\):

\[x=2(3)=6\]

El resto es:

\[r=(6/2)=0\]

Podemos seguir con \(x=4\) pero después de dos casos nos podemos dar cuenta de algo. Podemos descomponer \(n=(2; 4; 6… m)\) como \(n=2(1); 2(2); 2(3)... 2(m)\). Por lo tanto podemos decir que la división de \(2/2(n)\) siempre será par ya que \(2/2\) siempre da un resto de 0.

Es una larga explicación, pero debido a esto podemos decir que lógicamente \(x=2n\) es siempre par.

¿Qué tipos de demostraciones matemáticas hay?

Hay varios tipos de demostraciones matemáticas:

  • Algunas de ellas son directas y se encargan de establecer una relación entre dos elementos matemáticos o lógicos.

  • Otras son demostraciones que se encargan de demostrar que lo contrario no existe, como las demostraciones por contradicción.

  • Otras se encargan de demostrar que algo pasa para un caso \(a\) y después para \(a+1\), \(a+2\) y así sucede lógicamente hasta que se demuestra que se cumple para cualquier caso \(a+n\), estas son parte de la inducción matemática.

  • Otras se encargan de demostrar solo que hay un solo caso que niegue la demostración.

Otro tipo de demostraciones es aquella que se encarga de demostrar todos los casos posibles y crear una fórmula general, esta se llama demostración por agotamiento o casos. Este tipo de demostración será el tema central de este artículo.

Una conjetura es un enunciado matemático que aún no ha sido demostrado rigurosamente. Cuando tenemos un número finito de casos para los que una conjetura puede ser válida, podemos utilizar la prueba por agotamiento. En este método, comprobamos cada caso para ver si lo que afirma el enunciado se cumple.

¿Qué es el método por casos?

La demostración por casos, también conocida como demostración por agotamiento, es un método de demostración directa. Puede llevar mucho tiempo completarlo, ya que puede haber muchos casos que comprobar. Es posible dividir los casos, por ejemplo, si es una demostración que requiere usar números en, demostraciones para números pares y demostraciones para números impares.

La demostración por agotamiento es diferente de otros métodos directos de demostración, ya que no es necesario elaborar argumentos lógicos. Basta con demostrar que "ninguno de los casos considerados refuta la conjetura; por tanto, la conjetura es cierta". La única vez que utilizamos la demostración por agotamiento es cuando hay un número finito de casos.

¿Cómo se demuestra por agotamiento?

Podemos generalizar el método de la demostración por agotamiento mediante dos pasos:

  1. Establecer los casos que se aplican al enunciado.

  2. Demostrar que el enunciado es verdadero para cada caso.

Hay que demostrar cada caso de la afirmación por separado, uno por uno. Hay que agotar todos los casos para verificar la afirmación.

Si se puede refutar alguno de los casos identificados, toda la conjetura puede considerarse refutada. Puedes consultar la sección de demostración por contraejemplo para profundizar en este concepto. Las demostraciones por casos o agotamiento son usadas cuando se requiere comprobar caso por caso hasta que se encuentra que esto debe ser cierto para todos los casos.

Veamos un ejemplo para entender cómo aplicar los pasos anteriores.

Demuestra que \(n²-1\) es múltiplo de 3 si \(n\) no es múltiplo de 3.

Solución

Paso 1: Si \(n\) no es un múltiplo de 3, es 1 ó 2 más que un múltiplo de 3. Así podemos escribir : \(n=3k+1\) o \(n=3k+2\) , siendo \(k\) un número entero cualquiera.

Paso 2: Demuestra ahora que la afirmación es verdadera para cada caso.

Caso 1: Demuestra que si \(n=3k+1\) , entonces es un múltiplo de 3.

\[n^2-1=(3k+1)^2-1\]

\[n^2-1=(3k)^2+6k+1-1\]

\[n^2-1=9k^2+6k\]

\[n^2-1=3((3k)^2+2k)\]

Como \(3((3k)^2+2k)\) es 3 veces \((3k)^2+2k)\), podemos concluir que \(3((3k)^2+2k)\) es un múltiplo de 3.

Por tanto, \(n^2-1\) es un múltiplo de 3 para \(n=3k+1\).

Ahora, vamos a comprobar el segundo caso.

Caso 2: Para comprobar si \(n=3k+2\) , entonces \(n^2-1\) es un múltiplo de 3:

\[n^2-1=(3k+1)^2-1\]

\[n^2-1=(3k+1)^2-1\]

\[n^2-1=9k^2+12k+3\]

\[n^2-1=3(3k^2+4k+1)\]

La expresión resultante \(3(3k^2 +4k+1)\) también es un múltiplo de 3 para cualquier valor de \(k\).

Por tanto, \(n^2-1\) es un múltiplo de 3 para \(n=3k+2\).

Como ambos casos satisfacen el enunciado, hemos demostrado que el enunciado dado es correcto.

Cuándo se debe utilizar la demostración por agotamiento

Solo es posible usar la demostración por agotamiento cuando podemos reducir la conjetura a un número finito de casos: en el ejemplo anterior hemos reducido la conjetura a dos casos posibles. Supongamos que, en cambio, intentamos resolver la demostración por agotamiento para todos los valores posibles de \(n\). Eso sería un proceso interminable, ya que el dominio de \(n\) es ilimitado; es decir, \(n\) puede tomar un número infinito de valores.

Si podemos reducir la conjetura dada a un pequeño número de casos posibles, cada uno de los cuales puede ser probado (o refutado), entonces podría ser bueno utilizar la demostración por agotamiento. Para un número muy grande de casos, la demostración por agotamiento no suele ser eficiente.

Demostraciones matemáticas por agotamiento: algunos ejemplos

Ejemplo 1: Demostrar que \(p=n^2+2\) no es múltiplo de 4; donde \(n\) es un número entero, \(2 \leq n \leq 7 \).

Solución

Paso 1: Dividir el enunciado en un número finito de casos.

Tenemos que \(2 \leq n \leq 7\) y para cada valor de \(n\) tenemos que comprobar si \(p=n^2+2\) es múltiplo de 4 o no.

Entonces, tendremos seis casos, como se muestra a continuación:

\[Caso\hspace{0,2cm}1: n=2\]

\[Caso\hspace{0,2cm}2: n=3\]

\[Caso\hspace{0,2cm}3: n=4\]

\[Caso\hspace{0,2cm}4: n=5\]

\[Caso\hspace{0,2cm}5: n=6\]

\[Caso\hspace{0,2cm}6: n=7\]

Paso 2: Demuestra que la afirmación es cierta para cada caso.

Demostremos cada caso, uno por uno.

Caso 1: \(n=2\)

Sustituye \(n=2\) en \(p=n^2+2\) y comprueba si el valor obtenido es múltiplo de 4 o no: \[p=(2)^2+2=6\]

Como 6 no es divisible por 4, podemos concluir que \(p\) no es múltiplo de 4.

Caso 2: \(n=3\)

Sustituye \(n=3\) en \(p=n^2+2\) y comprueba si el valor obtenido es múltiplo de 4 o no: \[p=(3)^2+2=11\]

Como 11 no es divisible por 4, podemos concluir que \(p\) no es múltiplo de 4.

Caso 3: \(n=4\)

Sustituye \(n=4\) en \(p=n^2+2\) y comprueba si el valor obtenido es un múltiplo de 4 o no: \[p=(4)^2+2=18\]

Como 18 no es divisible por 4, podemos concluir que p no es múltiplo de 4.

Caso 4: \(n=5\)

Sustituye \(n=5\) en \(p=n^2+2\) y comprueba si el valor obtenido es múltiplo de 4 o no: \[p = (5)^2+2=27\]

Como 27 no es divisible por 4, podemos concluir que \(p\) no es múltiplo de 4.

Caso 5: \(n=6\)

Sustituye \(n=6\) en \(p=n^2+2\) y comprueba si el valor obtenido es múltiplo de 4 o no: \[p=(6)^2+2=38\]

Como 38 no es divisible por 4, podemos concluir que \(p\) no es múltiplo de 4.

Caso 6: \(n=7\)

Sustituye \(n=7\) en \(p=n^2+2\) y comprueba si el valor obtenido es múltiplo de 4 o no: \[p=(7)^2+2=51\]

Como 51 no es divisible por 4, podemos concluir que \(p\) no es múltiplo de 4.

Como todos los casos satisfacen el enunciado. El enunciado" \(p=n+2\) no es múltiplo de 4 cuando \(n\) es un número entero y \(2 \leq n \leq 7\)" es correcto.

Ejemplo 2: Si \(p\) es un número primo tal que \(3<p<25\), demuestra por agotamiento que \((p-1)(p+1)\) es múltiplo de \(12\).

Solución

Paso 1: Dividir el enunciado en un número finito de casos.

Ya que \(p\) es un número primo, tal que \(3<p<25\), y para cada \(p\), hay que comprobar si \((p-1)(p+1)\) es múltiplo de \(12\) o no.

Los números primos entre \(3\) y \(25\) son: \(5, 7, 11, 13, 17, 19, 23\).

Tendremos siete casos, como se muestra:

\[Caso\hspace{0.2cm}1: p=5\]

\[Caso\hspace{0.2cm}2: p=7\]

\[Caso\hspace{0.2cm}3: p=11\]

\[Caso\hspace{0.2cm}4: p=13\]

\[Caso\hspace{0.2cm}5: p=17\]

\[Caso\hspace{0.2cm}6: p=19\]

\[Caso\hspace{0.2cm}7: p=23\]

Paso 2: Demostrar que la afirmación es verdadera para cada caso.

Demostremos cada caso, uno por uno.

Caso 1: Comprobar si \((p-1)(p+1)\) es múltiplo de 12 cuando \(p=5\).

\[(p-1)(p+1)=(5-1)(5+1)\]

\[(p-1)(p+1)=(4)(6)\]

\[(p-1)(p+1)=24\]

\[(p-1)(p+1)=2(12)\]

\((p-1)(p+1)\) es un múltiplo de 12 cuando \(p=5\).

Caso 2: Comprobar si \((p-1)(p+1)\) es múltiplo de 12 cuando \(p=7\).

\[(p-1)(p+1)=(7-1)(7+1)\]

\[(p-1)(p+1)=(6)(8)\]

\[(p-1)(p+1)=48\]

\[(p-1)(p+1)=4(12)\]

\((p-1)(p+1)\) es múltiplo de 12 cuando \(p=7\).

Caso 3: Comprobar si \((p-1)(p+1)\) es múltiplo de 12 cuando \(p=11\).

\[(p-1)(p+1)=(11-1)(11+1)\]

\[(p-1)(p+1)=(10)(12)\]

\[(p-1)(p+1)=120\]

\[(p-1)(p+1)=10(12)\]

\((p-1)(p+1)\) es múltiplo de 12 cuando \(p=11\).

Caso 4: Comprobar si \((p-1)(p+1)\) es múltiplo de 12 cuando \(p=13\).

\[(p-1)(p+1)=(13-1)(13+1)\]

\[(p-1)(p+1)=(12)(14)\]

\[(p-1)(p+1)=168\]

\[(p-1)(p+1)=14(12)\]

\((p-1)(p+1)\) es múltiplo de 12 cuando \(p=13\).

Caso 5: Comprobar si \((p-1)(p+1)\) es múltiplo de 12 cuando \(p=17\).

\[(p-1)(p+1)=(17-1)(17+1)\]

\[(p-1)(p+1)=(16)(18)\]

\[(p-1)(p+1)=288\]

\[(p-1)(p+1)=24(12)\]

\((p-1)(p+1)\) es un múltiplo de 12 cuando \(p=17\).

Caso 6: Comprobar si \((p-1)(p+1)\) es múltiplo de 12 cuando \(p=19\).

\[(p-1)(p+1)=(19-1)(19+1)\]

\[(p-1)(p+1)=(18)(20)\]

\[(p-1)(p+1)=360\]

\[(p-1)(p+1)=30(12)\]

\((p-1)(p+1)\) es múltiplo de 12 cuando \(p=19\).

Caso 7: Comprobar si \((p-1)(p+1)\) es múltiplo de 12 cuando \(p=23\).

\[(p-1)(p+1)=(23-1)(23+1)\]

\[(p-1)(p+1)=(22)(24)\]

\[(p-1)(p+1)=528\]

\[(p-1)(p+1)=44(12)\]

\((p-1)(p+1)\) es múltiplo de 12 cuando \(p=23\).

Por tanto, todos los casos satisfacen el enunciado. Entonces, la afirmación "si \(p\) es un número primo, tal que \(3<p<25\), entonces \((p-1)(p+1)\) es un múltiplo de 12" es correcta.

Demostración por casos - Puntos clave

  • La demostración por agotamiento se utiliza cuando hay un número finito de casos.
  • Primero, debemos encontrar los casos y, luego, demostrar cada uno de los casos para verificar que se cumple.
  • La demostración se completa si todos los valores son verdaderos.

Preguntas frecuentes sobre Demostración por casos

  • Algunas de ellas son directas y se encargan de establecer una relación entre dos elementos matemáticos o lógicos.
  • Otras son demostraciones que se encargan de demostrar que lo contrario no existe, como las demostraciones por contradicción.
  • Otras se encargan de demostrar que algo pasa para un caso \(a\) y después para \(a+1\), \(a+2\) y así, sucesivamente, hasta que se demuestra que se cumple para cualquier caso a+n; estas son parte de la inducción matemática.
  • Otras se encargan de demostrar que hay un solo caso que niegue la demostración. 

Son procesos que se encargan de demostrar todos los casos posibles y crear una fórmula general: esta se llama demostración por agotamiento, exhausción o casos.

  1. Establecer los casos que se aplican al enunciado.

  2. Demostrar que el enunciado es verdadero para cada caso. 

Hay que demostrar cada caso de la afirmación por separado: uno por uno. Se deben agotar todos los casos, para verificar la afirmación.

Las demostraciones por casos o agotamiento son usadas cuando se requiere comprobar, caso por caso, hasta que se encuentra que algo debe ser cierto para todos los casos.

Cuestionario final de Demostración por casos

Pregunta

Un argumento lógico sirve para:



Mostrar respuesta

Answer

Demostrar que algo es cierto o falso.


Show question

Pregunta

¿Cuál es un tipo de demostración matemática?

Mostrar respuesta

Answer

Demostración por casos.

Show question

Pregunta

¿Cuál no es un tipo de demostración o parte de ella?

Mostrar respuesta

Answer

Demostración por expansión.

Show question

Pregunta

¿Cuál es la demostración que se encarga de probar todos los casos posibles?

Mostrar respuesta

Answer

Demostración por casos.

Show question

Pregunta


¿Qué es una conjetura?



Mostrar respuesta

Answer

Una conjetura es un enunciado matemático que aún no ha sido demostrado rigurosamente.

Show question

Pregunta

¿Cuál es otro nombre para la demostración por casos?

Mostrar respuesta

Answer

Demostración por agotamiento.

Show question

Pregunta

Cuando quieres demostrar que un teorema es falso, ¿se puede completar la demostración cuando un solo caso es falso?

Mostrar respuesta

Answer

Sí, porque basta con que un caso sea falso para demostrar que el teorema en sí es falso.

Show question

Pregunta

En una demostración por agotamiento, la hipótesis dice que existen los casos \(a, b, c\), pero \(c\) no se cumple. ¿Es, entonces, la conjetura cierta o falsa?


Mostrar respuesta

Answer

La hipótesis es falsa.

Show question

Pregunta

Supongamos que deseas probar que todos los números impares \(n\) tienen un residuo distinto \(q\) a \(0\) al dividirse entre \(2\). ¿Podrías demostrar todos los casos?

Mostrar respuesta

Answer

No, son demasiados; pero, se podría generalizar.

Show question

Pregunta

Cuando el dominio de una hipótesis \(n\) es ilimitado, se dice:

Mostrar respuesta

Answer

Que hay un número infinito de casos.

Show question

Pregunta

Si deseas demostrar que \(p+n\) contiene números pares, donde \(n\) pertenece a \((1,+\infty)\) y \(p=1\), ¿es este un número finito de casos?

Mostrar respuesta

Answer

No, ya que los valores de \(p+n\) son infinitos.

Show question

Pregunta

Si deseas demostrar que \(p+n\) contienen números pares, donde \(n\) está dentro de \((1,+\infty)\) y \(p=10\), ¿es este un número finito de casos?

Mostrar respuesta

Answer

No, ya que los valores de \(p+n\) son infinitos.

Show question

Pregunta

¿Podemos aplicar el método por agotamiento a casos cuyos valores son un conjunto muy grande?

Mostrar respuesta

Answer

Sí, pero no es lógico, ya que tardarás mucho tiempo.

Show question

60%

de los usuarios no aprueban el cuestionario de Demostración por casos... ¿Lo conseguirás tú?

Empezar cuestionario

Scopri i migliori contenuti per le tue materie

No hay necesidad de copiar si tienes todo lo necesario para triunfar. Todo en una sola app.

Plan de estudios

Siempre preparado y a tiempo con planes de estudio individualizados.

Cuestionarios

Pon a prueba tus conocimientos con cuestionarios entretenidos.

Flashcards

Crea y encuentra fichas de repaso en tiempo récord.

Apuntes

Crea apuntes organizados más rápido que nunca.

Sets de estudio

Todos tus materiales de estudio en un solo lugar.

Documentos

Sube todos los documentos que quieras y guárdalos online.

Análisis de estudio

Identifica cuáles son tus puntos fuertes y débiles a la hora de estudiar.

Objetivos semanales

Fíjate objetivos de estudio y gana puntos al alcanzarlos.

Recordatorios

Deja de procrastinar con nuestros recordatorios de estudio.

Premios

Gana puntos, desbloquea insignias y sube de nivel mientras estudias.

Magic Marker

Cree tarjetas didácticas o flashcards de forma automática.

Formato inteligente

Crea apuntes y resúmenes organizados con nuestras plantillas.

Regístrate para poder subrayar y tomar apuntes. Es 100% gratis.