[Physics] simple proof that Kirchhoff’s circuit laws always provide an exactly complete set of equations

electric-circuitselectric-currentelectrical-resistancelinear algebravoltage

Suppose I have a complicated electric circuit which is composed exclusively of resistors and voltage and current sources, wired up together in a complicated way. The standard way to solve the circuit (by which I mean finding the voltage across, and current through, each circuit element) is to formulate Kirchhoff's laws for both current and voltage, and these will yield linear equations which enable one to solve for all the relevant quantities.

However, there are two problems with these laws:

  • There are too many of them. For example, in the simple circuit below, there are three different possible loops one can draw, but only two independent voltages. Similarly,

  • The equations are not all independent. In the circuit below, the current conservation equations for the two different nodes turn out to be exactly the same equation.

Fortunately, in real life, these problems happen to exactly cancel out, and one gets exactly the correct number of equations to solve the circuit. There are never too many contradicting constraints (the linear system is never overdetermined) and there are always enough equations to pin everything down (the linear system is never underdetermined).

Why is this? Is there a simple proof of this fact? What are the fundamental reasons for it?

Best Answer

The answer is not quite simple, to show this we need some graph theory and matrices. There is a beautiful document explaining this relation in detail:

Graphs, matrices, and circuit theory. Takis Konstantopoulus, February 2000.

Available at Semantic Scholar; original link at Uppsala University (now dead; archived version).

I think the "fundamental reason" of this is related with the fact that every loop have different variables, if we can generate a loop using another loop the equations will not be independent, of course this is my opinion, all the math is in the document.