Considere un circuito electrónico que consta de componentes lineales más una serie de diodos ideales. Por "ideal" quiero decir que pueden ser sesgados hacia adelante (es decir, \ $ v_D = 0 \ $ y \ $ i_D \ geq 0 \ $) o sesgados hacia atrás (es decir, \ $ v_D \ leq 0 \ $ y \ $ i_D = 0 \ $).
Estos circuitos se pueden calcular declarando arbitrariamente cada diodo con polarización directa o inversa, y configurando \ $ v_D = 0 \ $ para cada diodo con polarización directa y \ $ i_D = 0 \ $ para cada polaridad inversa diodo. Después de que se haya calculado el circuito lineal resultante, debemos verificar si en cada diodo con polarización directa \ $ i_D \ geq 0 \ $ y en cada diodo con polarización inversa \ $ v_D \ leq 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 los diodos \ $ N \ $, podemos calcular el circuito calculando en la mayoría de los circuitos lineales \ $ 2 ^ N \ $ (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, lo que es más interesante, por qué nunca hay dos opciones que conducen a soluciones válidas? / p>
Debería ser posible demostrarlo en el mismo nivel de rigor con el que, por ejemplo, El teorema de Thevenin está probado en los libros de texto.
Un enlace a una prueba en la literatura también sería una respuesta aceptable.