Considere un circuito electrónico que consta de componentes lineales más una serie de diodos ideales. Por "ideal" quiero decir que pueden estar sesgados hacia adelante (es decir, e i D ≥ 0 ) o estar sesgados hacia atrás (es decir, v D ≤ 0 e i D = 0 ).
Estos circuitos se pueden calcular declarando arbitrariamente cada diodo polarizado hacia adelante o polarizado hacia atrás, y configurando para cada diodo polarizado hacia adelante e i D = 0 para cada diodo polarizado hacia atrás. Después de calcular el circuito lineal resultante, tenemos que verificar si en cada diodo polarizado hacia delante i D ≥ 0 y en cada diodo polarizado hacia atrás v D ≤ 0 se cumple. Si es así, esa es nuestra solución. Si no, tenemos que probar otro conjunto de opciones para los diodos. Entonces, para N diodos, podemos calcular el circuito calculando como máximo 2 N circuitos lineales (generalmente mucho menos).
¿Por qué funciona esto? En otras palabras, ¿por qué siempre hay una opción que conduce a una solución válida y (más interesante) por qué nunca hay dos opciones que conduzcan a soluciones válidas?
Debería ser posible demostrar eso en el mismo nivel de rigor con el que, por ejemplo, el teorema de Thevenin se prueba en los libros de texto.
Un enlace a una prueba en la literatura también sería una respuesta aceptable.