Let be the voltage with , , and harmonic values at every other vertex. For any other admissible , write , where . Its discrete Dirichlet energy expands as
Discrete summation by parts turns the cross term into
because is harmonic in the interior and vanishes at the boundary. Thus minimizes the energy. Under a unit voltage drop, its energy equals the total current from to , namely the effective conductance . Therefore the Dirichlet principle gives