Al-Biruni described a method for determining Earth's radius from a mountain's height and the angle down to the horizon. Surveying and trigonometry could combine several quantities measurable from one region to infer a much larger one, an inventive approach to the problem of planetary scale.