Gauss 1840: harmonic function u satisfies u(x_0) = (1/|B|) integral_{B} u; equivalent to harmonicity; basis of maximum-principle and regularity theory.
Gauss 1840: harmonic function u satisfies u(x_0) = (1/|B|) integral_{B} u; equivalent to harmonicity; basis of maximum-principle and regularity theory.