Demostración por casos

Una demostración por casos consta de dos etapas: 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.Entonces los siguientes casos son exhaustivos: No hay un tope al número de casos permitidos en una demostración exhaustiva.A veces puede haber miles o incluso millones.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.