Prueba por exhaución

Prueba por exhaución

Prueba por exhaución

Prueba por exhaución, también conocida como el método de fuerza bruta, es un método de demostración matemática en el cual la proposición a ser probada se divide en un número finito de casos, y cada caso es demostrado por separado. Una prueba por exhaución consta dos etapas:

  • Una prueba de que los casos son exhaustivos; es decir, que cada instancia de la proposición a ser probada coincide con las condiciones de (al menos) uno de los casos.
  • Una demostración de cada uno de los casos.

Por el contrario, el método de exhaución de Eudoxo de Cnidos era una forma geométrica y esencialmente rigurosa de calcular límites matemáticos.

Ejemplo

Probar que todo número que es un cubo perfecto tiene que ser un múltiplo de 9, un múltiplo de 9 más 1 o un múltiplo de 9 menos 1.

Demostración

Todo cubo perfecto es el cubo de algún natural n. Este natural es o un múltiplo de 3, o uno más o uno menos que un múltiplo de 3. Entonces los siguientes casos son exhaustivos:

  • Caso 1: Si n es un múltiplo de 3 entonces el cubo de n es un múltiplo de 27, y entonces ciertamente un múltiplo de 9.
  • Caso 2: Si n es 1 más que un múltiplo de 3 entonces el cubo de n es uno más que un múltiplo de 9.
  • Caso 3: Si n es 1 menos que un múltiplo de 3 entonces el cubo de n es uno menos que un múltiplo de 9.

[Para completar la demostración, los enunciados de los casos 2 y 3 pueden ser probados mediante simple álgebra.]

¿Cuántos casos?

No hay un tope al número de casos permitidos en una prueba por exhaución. A veces solamente hay 2 o 3 casos. A veces puede haber miles o incluso millones. Por ejemplo, resolver rigurosamente un problema de final de juego en ajedrez puede involucrar la consideración de un número muy elevado de posibles posiciones en el árbol de juego de ese problema.

La primera demostración del teorema de los cuatro colores fue una prueba por exhaución con 1.936 casos. Esta prueba fue controvertida porque la mayoría de los casos fueron examinados por un programa de computadora, no a mano. La prueba más breve conocida de este teorema aún tiene más de 600 casos.

Los matemáticos prefieren evitar demostraciones con grandes números de casos porque sienten que son poco elegantes —dejan una impresión de que el teorema es solamente cierto por coincidencia, y no por algún principio o conexión subyacente. No obstante, hay algunos teoremas importantes para los cuales ningún otro método de demostración ha sido hallado.

Además del teorema de los cuatro colores, otros ejemplos de grandes pruebas por exhaución son:

Véase también

  • Análisis de casos
  • Demostración asistida por computadora
Obtenido de "Prueba por exhauci%C3%B3n"

Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • Empaquetamiento de esferas — Saltar a navegación, búsqueda El empaquetamiento de esferas tiene aplicación practica en el almacenamiento de naranjas En matemáticas los problemas de empaquetamiento de esferas conciernen en la disposición de esferas de idéntico tamaño… …   Wikipedia Español

  • Anexo:Episodios de Numb3rs — La siguiente es una lista de episodios de la serie norteamericana NUMB3RS. Contenido 1 Estrenos y Lanzamientos en DVD 2 Primera temporada (2005) 3 Segunda temporada (2005 2006) …   Wikipedia Español

  • Episodios de Numb3rs — Anexo:Episodios de Numb3rs Saltar a navegación, búsqueda La siguiente es una lista de episodios de la serie norteamericana NUMB3RS. Contenido 1 Estrenos y Lanzamientos en DVD 2 Primera temporada (2005) 3 Segunda temporada ( …   Wikipedia Español

  • Cálculo — Saltar a navegación, búsqueda Para otros usos de este término, véase Cálculo (desambiguación). Para cálculo infinitesimal (diferencial o integral) véase Cálculo infinitesimal Para el estudio de los números reales, los complejos, los vectores y… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”