Laut Weissteins Welt der Mathematik wurde es erstmals 1823 von Gauß bewiesen. Die Referenz ist Band 4 der Gaußschen Werke, zu lesen unter https://archive.org/details/werkecarlf04gausrich . Die relevanten Seiten scheinen 47-49 zu sein. Es scheint, dass Gauß der Frage nachgegangen ist und einen Beweis erbracht hat. Ich lese kein Latein, aber es gibt eine deutsche Zusammenfassung im Text. Seiten 103-104 erklären, was er getan hat (Edit: Ich habe eine grobe Übersetzung hinzugefügt):
Allein da man nicht berechtigt ist, den sichersten Wert für das Fahren von Wert zu halten, so dass man sich leicht, dass man durch dieses Verfahren allemal den wahrscheinlichsten und mittleren Fehler findet, und daher bestimmten Resultaten eine groessere Genauigkeit beilegt, als sie wirklich besitzen. [Da man aber nicht berechtigt ist, die wahrscheinlichsten Werte so zu behandeln, als wären sie die tatsächlichen Werte, kann man sich leicht davon überzeugen, dass man immer feststellen muss, dass der wahrscheinlichste Fehler und der durchschnittliche Fehler zu klein sind und daher die gegebenen Ergebnisse eine größere Genauigkeit besitzen, als sie wirklich haben.]
Aus diesem Grund ist bekannt, dass es sich bei der Stichprobenvarianz um eine voreingenommene Schätzung der Populationsvarianz handelt. Der Artikel führt weiter aus, dass der Unterschied zwischen den beiden normalerweise ignoriert wird, da es nicht wichtig ist, ob die Stichprobengröße groß genug ist. Dann heißt es:
The verfasser is also which a particular investigations underworfen, also very merkwuerdigen hoechst simple results gefuehrt hat. Man braucht nemlich den nach dem angezeigten fahlerhaften Verfahren gefundenen mittleren Fehler, um ihn in den richtigen zu verwandeln, nur mit
π−ρπ−−−−−√
zu multiplizieren, wo die Anzahl der Beobachtungen (Anzahl der Beobachtungen) und die Anzahl der unbekannten groessen (Anzahl der Unbekannten) bedeutet. [Der Autor hat daher eine spezielle Untersuchung dieses Objekts durchgeführt, die zu einem sehr merkwürdigen und äußerst einfachen Ergebnis geführt hat. Man muss nämlich nur den durch den obigen fehlerhaften Prozess gefundenen Durchschnittsfehler mit (dem gegebenen Ausdruck) multiplizieren, um ihn in den richtigen zu ändern, wobei die Anzahl der Beobachtungen und die Anzahl der unbekannten Größen ist.]πρπρ
Wenn dies also tatsächlich das erste Mal ist, dass die Korrektur gefunden wurde, dann scheint es, dass sie durch eine geschickte Berechnung von Gauß gefunden wurde, aber den Leuten war bereits bewusst, dass eine Korrektur erforderlich war, so dass vielleicht jemand anderes sie zuvor empirisch hätte finden können . Möglicherweise war es früheren Autoren auch nicht wichtig, die genaue Antwort abzuleiten, da sie ohnehin mit relativ großen Datenmengen arbeiteten.
Zusammenfassung: manuell, aber die Leute wussten bereits, dass im Nenner nicht ganz richtig war.n