In this paper, we are concerned with the analysis of two-transistor circuits. Applying technique for the numerical verification, we prove rigorously the existence of five solutions in a two-transistor circuit. The system of equations for a transistor circuit is obtained as nonlinear equations, therefore Krawczyk’s method is applied for proving the existence of a solution.

中文翻译：

---

某二晶体管电路方程五解的数值存在性证明

在本文中，我们关注的是两个晶体管电路的分析。应用数值验证技术，我们严格证明了双晶体管电路中五个解的存在。晶体管电路的方程组是作为非线性方程获得的，因此应用 Krawczyk 方法来证明解的存在性。