Considere un circuito electrónico que consta de componentes lineales, además de un número ideal de diodos. Por "ideal", me refiero a que puede ser polarizada (es decir,\$v_D=0\$\$i_D\geq 0\$ ) o inversa sesgada (es decir,\$v_D\leq 0\$\$i_D=0\$).
Estos circuitos pueden ser calculados de forma arbitraria declarar cada diodo hacia adelante-parcial o inversa sesgada, y el establecimiento de \$v_D=0\$ por cada polarizada diodo y \$i_D=0\$ por cada inversa sesgada de diodo. Después de la resultante circuito lineal se ha calculado, tenemos que comprobar si en cada polarizada diodo \$i_D\geq 0\$, y en cada inversa sesgada diodo \$v_D\leq 0\$ está satisfecho. Si sí, esa es nuestra solución. Si no, vamos a intentar otro conjunto de opciones para los diodos. Así, por \$N\$ diodos, podemos calcular el circuito mediante el cálculo, en la mayoría de los \$2^N\$ circuitos lineales (generalmente mucho menos).
¿Por qué funciona esto? En otras palabras, ¿por qué hay siempre una elección que lleva a una solución válida y (lo más interesante) ¿por qué hay nunca dos opciones que ambos conducen a soluciones válidas?
Debería ser posible demostrar que en el mismo nivel de rigor con el que, por ejemplo, del teorema de Thevenin se ha comprobado en los libros de texto.
Un enlace a una prueba en la literatura también sería una respuesta aceptable.