Según el Mundo de las Matemáticas de Weisstein, fue demostrado por primera vez por Gauss en 1823. La referencia es el volumen 4 de los Werke de Gauss, que puede leerse en https://archive.org/details/werkecarlf04gausrich . Las páginas relevantes parecen ser las 47-49. Parece que Gauss investigó la cuestión y llegó a una prueba. No leo latín, pero hay un resumen en alemán en el texto. Las páginas 103-104 explican lo que hizo (Edición: he añadido una traducción aproximada):
Sin embargo, como no se puede juzgar los valores más seguros para el los verdaderos valores en sí mismos, es fácil convencerse de que por esta que por este procedimiento siempre se puede encontrar el más probable y y el error medio son demasiado pequeños, y por lo tanto se atribuye una mayor precisión a la resultados una mayor precisión de la que realmente poseen. poseer. [Pero como uno no tiene derecho a tratar los valores más probables como si fueran los valores reales, puede convencerse fácilmente de que siempre hay que encontrar que el error más probable y el error medio son demasiado pequeños, y que por lo tanto los resultados dados poseen una mayor precisión de la que realmente tienen].
de lo que se desprende que es bien sabido que la varianza de la muestra es una estimación sesgada de la varianza de la población. El artículo continúa diciendo que la diferencia entre ambas suele ignorarse porque no es importante si el tamaño de la muestra es lo suficientemente grande. Luego dice:
Por ello, el autor ha sometido este tema a una especial que ha llevado a un resultado muy extraño y muy simple. resultado. Se necesita el error medio encontrado según el indicado el método indicado, para transformarlo en el correcto, sólo hay que en la correcta, sólo con
$$\sqrt{\frac{\pi-\rho}{\pi}}$$
zu multiplicieren, wo $\pi$ el número de observaciones (número de observaciones) y $\rho$ significa el número de cantidades desconocidas (número de incógnitas). [Por lo tanto, el autor ha hecho un estudio especial de este objeto que ha llevado a un resultado muy extraño y extremadamente simple. A saber, basta con multiplicar el error medio encontrado por el proceso erróneo anterior por (la expresión dada) para cambiarlo por el correcto, donde $\pi$ es el número de observaciones y $\rho$ es el número de incógnitas].
Así que si ésta es realmente la primera vez que se encuentra la corrección, parece que se encontró mediante un cálculo inteligente de Gauss, pero la gente ya era consciente de que se necesitaba alguna corrección, así que quizás alguien más podría haberla encontrado empíricamente antes de esto. O, posiblemente, los autores anteriores no se preocuparon de deducir la respuesta precisa porque, de todos modos, trabajaban con conjuntos de datos bastante grandes.
Resumen: manual, pero la gente ya lo sabía $n$ en el denominador no era del todo correcto.