La demostración por reducción al absurdo es un tipo de argumento muy empleado en demostraciones matemáticas.