{"id":"arxiv/2609.22320","url":"https://arxiv.org/abs/2609.22320","tags":["math.HO"],"score":0,"title":"Discovering Heron's Triangle Area Formula in a Morning in the Rain","domain":"math.HO","source":"arxiv","authors":["Eric L. Grinberg"],"reviews":0,"subject":"math.HO","summary":"Motivations and derivations for Heron's triangle area formula abound. But how would one \\emph{discover} the formula? We recount the challenge of designing a laboratory experiment to discover Heron's formula, and of doing so in the morning, in time for a noon class---a snapshot of collaboration with AI in fall 2025. We then reflect on extensions and generalizations.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-15","reactions":{}}