La demostración por casos 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. También se la conoce como: prueba exhaustiva prueba por exhaución prueba por exhausción o método de fuerza bruta.Una demostración por casos consta de 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 exhaustivo del matemático griego Eudoxo de Cnidos era una forma geométrica y esencialmente rigurosa de calcular límites matemáticos.
