¿Qué es?
Una función continua en toma todos los valores entre y . Basta aplicar Bolzano a .
Enunciado
e entre y .
Aplicaciones en informática
Los argumentos de existencia del tipo «algún ángulo de la articulación alcanza esta posición» son argumentos de valor intermedio.
¿Dónde se utiliza?
Temas de informática a los que se llega desde aquí, con la cadena de ideas que lleva a ellos: