Dans le domaine des statistiques et des probabilités, le théorème de König-Huygens représente une identité remarquable reliant la variance et la moyenne. Il peut aussi s’appliquer pour une décomposition de la formule de la variance empirique, dans certains cas relatifs aux statistiques. L’énoncé de la formule est le suivant :