Sympy-exact witness of the Shockley-diode zero-bias identity. Setup: I = I_s·(exp(q·V/(T·k_B)) - 1) as a four-symbol function. Identity: at V = 0, exp(0) = 1, so I = I_s·(1 - 1) = 0 — the canonical equilibrium-detailed-balance statement…
Sympy-exact witness of the Shockley-diode zero-bias identity. Setup: I = I_s·(exp(q·V/(T·k_B)) - 1) as a four-symbol function. Identity: at V = 0, exp(0) = 1, so I = I_s·(1 - 1) = 0 — the canonical equilibrium-detailed-balance statement…