How do we know that the area of circle is pi times the radius squared? You can't measure a circle with rulers and stuff, we just gotta trust the ancient greeks' (or whoever's) word on this one?
we said it has to be that. now step 2 is to figure out what it equals in more detail