एक इलेक्ट्रॉनिक सर्किट पर विचार करें जिसमें रैखिक घटक और कई आदर्श डायोड शामिल हैं। 'आदर्श' से मेरा मतलब है कि वे या तो आगे पक्षपाती हो सकता है (यानी और मैं घ ≥ 0 ) या रिवर्स-बायस्ड (यानी वी डी ≤ 0 और मैं डी = 0 )।
ये सर्किट मनमाने ढंग से प्रत्येक डायोड या तो आगे पक्षपाती या रिवर्स पक्षपाती घोषित करने, और स्थापना द्वारा गणना की जा सकती हर आगे पक्षपाती डायोड के लिए और मैं डी = 0 हर रिवर्स पक्षपाती डायोड के लिए। बाद जिसके परिणामस्वरूप रेखीय सर्किट गणना की गई है, हम जांच करने के लिए है कि क्या हर आगे पक्षपाती डायोड पर है मैं डी ≥ 0 और हर रिवर्स पक्षपाती डायोड पर वी डी ≤ 0 संतुष्ट हो जाता है। यदि हाँ, तो हमारा समाधान है। यदि नहीं, तो हमें डायोड के लिए विकल्पों का एक और सेट आज़माना होगा। तो, एन डायोड के लिए, हम सर्किट की गणना अधिकतम 2 एन पर गणना करके कर सकते हैं रैखिक सर्किट (आमतौर पर बहुत कम)।
यह काम क्यों करता है? दूसरे शब्दों में, हमेशा एक विकल्प क्यों होता है जो एक वैध समाधान की ओर जाता है और (अधिक दिलचस्प बात यह है कि) कभी भी दो विकल्प क्यों नहीं होते हैं कि दोनों वैध समाधान की ओर ले जाते हैं?
यह साबित करना संभव होना चाहिए कि उसी स्तर पर कठोरता के साथ, जैसे कि पाठ्यपुस्तकों में सिद्धान्त का सिद्धांत सिद्ध होता है।
साहित्य में एक प्रमाण के लिए एक लिंक भी एक स्वीकार्य जवाब होगा।