Considere um circuito eletrônico que consiste em componentes lineares mais um número de diodos ideais. Por "ideal", quero dizer que eles podem ter polarização direta (ou seja, e ) ou polarizados (ou seja, e ).i D ≥ 0 v D ≤ 0 i D = 0
Esses circuitos podem ser calculados declarando arbitrariamente cada diodo com polarização direta ou polarizada reversa e definindo para cada diodo polarizado para frente e para cada diodo polarizado reversamente. Após o cálculo do circuito linear resultante, temos que verificar se a cada diodo polarizado para a frente e a cada diodo polarizado para a frente é satisfeito. Se sim, essa é a nossa solução. Caso contrário, temos que tentar outro conjunto de opções para os diodos. Portanto, para os diodos , podemos calcular o circuito calculando no máximo circuitos lineares (geralmente muito menos).i D = 0 i D ≥ 0 v D ≤ 0 N 2 N
Por que isso funciona? Em outras palavras, por que sempre há uma opção que leva a uma solução válida e (mais interessante) por que nunca existem duas opções que levam a soluções válidas?
Deveria ser possível provar que, no mesmo nível de rigor com que, por exemplo, o teorema de Thevenin é comprovado nos livros didáticos.
Um link para uma prova na literatura também seria uma resposta aceitável.