De acordo com o World of Mathematics de Weisstein, foi provado pela primeira vez por Gauss em 1823. A referência é o volume 4 do Gauss 'Werke, que pode ser lido em https://archive.org/details/werkecarlf04gausrich . As páginas relevantes parecem ter 47-49. Parece que Gauss investigou a questão e apresentou uma prova. Não leio latim, mas há um resumo em alemão no texto. As páginas 103-104 explicam o que ele fez (Edit: adicionei uma tradução aproximada):
Tudo sobre o homem não é diferente, os homens são os homens e as mulheres são os melhores, então o homem mais velho é o homem, o homem é o homem, mas os homens são os homens e as mulheres, os homens são os homens e as mulheres als sie wirklich besitzen. [Mas, como não se tem o direito de tratar os valores mais prováveis como se fossem os valores reais, pode-se facilmente convencer-se de que é preciso sempre descobrir que o erro mais provável e o erro médio são muito pequenos e, portanto, os resultados apresentados possuem uma precisão maior do que realmente possuem.]
a partir do qual parece ser sabido que a variação da amostra é uma estimativa tendenciosa da variação da população. O artigo continua dizendo que a diferença entre os dois é geralmente ignorada porque não é importante se o tamanho da amostra for grande o suficiente. Então diz:
No Verfasser hat daher diesen Gegenstand eine beondere Untersuchung unterworfen, the zu einem sehr Merkwuerdigen hoechst einfachen Resultate gefuehrt hat. Man braucht nemlich den nach dem angezeigten fahlerhaften Verfahren gefundenen mittleren Fehler, um membro do richtigen zu verwandeln, nur mit
π−ρπ−−−−−√
zu multiplicieren, wo die Anzahl der beobachtungen (número de observações) e die Anzahl der unbekannten groessen (número de incógnitas) bedeutet. [O autor, portanto, fez um estudo especial desse objeto que levou a um resultado muito estranho e extremamente simples. Ou seja, é necessário apenas multiplicar o erro médio encontrado pelo processo incorreto acima por (a expressão dada) para alterá-lo para o correto, onde é o número de observações e é o número de quantidades desconhecidas.]πρπρ
Portanto, se esta é realmente a primeira vez que a correção foi encontrada, parece que ela foi encontrada por um cálculo inteligente de Gauss, mas as pessoas já estavam cientes de que alguma correção era necessária, então talvez alguém pudesse encontrá-la empiricamente antes disso. . Ou, possivelmente, autores anteriores não se importaram em obter a resposta exata, porque eles estavam trabalhando com conjuntos de dados razoavelmente grandes.
Resumo: manual, mas as pessoas já sabiam que no denominador não estava certo.n