We even have record of someone reasoning this out of simple observations nearly 2000 years prior. This suggests to me it was known (at least by intellectuals) for a very very long time.