Circuit Topology, KCL & KVL

Kirchhoff's laws say what any lumped network must obey before the element equations are considered. KCL is charge conservation at nodes; KVL follows from expressing branch voltages as differences of node potentials. Together they expose which equations are independent and why writing every visible loop or node equation over-constrains nothing but wastes work.

Nodes, branches, paths, and loops #

A node is a set of ideal connections at one potential. A branch is one two-terminal path between two nodes and carries one branch current. A loop is a closed path; a mesh is a loop containing no other loop and exists only in a planar drawing.

For a connected graph with $n$ nodes and $b$ branches:

• there are $n-1$ independent KCL equations;
• there are $b-n+1$ independent loop equations;
• the total $b$ matches the number of branch-current unknowns in direct analysis.

Kirchhoff's current law #

With every branch current given a signed reference direction, the algebraic sum at any node is zero:

$$\sum_{k\in\text{incident branches}} i_k(t)=0.$$

Equivalently, for an oriented incidence matrix $A$ and branch-current vector $i$:

$$Ai=0.$$

One row of $A$ is redundant for each connected component because summing every node equation cancels every branch current once entering and once leaving.

Kirchhoff's voltage law #

Around any closed loop:

$$\sum_{k\in\text{loop}} v_k(t)=0.$$

The sign of each term follows the traversal direction relative to the branch polarity. If branch voltage is defined as $v_{ab}=\phi_a-\phi_b$, the loop sum telescopes automatically back to the starting potential.

A reliable equation audit #

Before solving a circuit:

1. merge all ideal-wire connections into nodes;
2. assign one current arrow and one voltage polarity per branch;
3. select $n-1$ node equations or a tree-based independent set;
4. select $b-n+1$ independent loops if using branch currents;
5. add exactly one constitutive equation per branch.

If the resulting matrix is singular, inspect topology first: floating subcircuits, redundant equations, unconstrained ideal-source loops, and missing reference nodes are more common than algebra failures.

KCL and KVL are not competing solution methods. Nodal analysis uses node potentials so KVL is built into voltage differences; mesh analysis uses loop currents so KCL is built into shared-branch differences.