Shabbos Shuva Drasha - Hamelech Hakadosh

Repeating Shemoneh Esrei if you forgot to say Hamelech Hakadosh during the days between Rosh Hashana and Yom Kippur. We all know the Halacha... but how did it come about?