I have the feeling that ancient mathematicians (like Greek or Chinese), trying to find good approximations of $\pi$ used two definitions:
- If $A$ is the area of a disk and $r$ is its radius, $\pi=A/r^2$
- If $\ell$ is the length of a circle and $d$ is its diameter, $\pi=\ell/d$
Had they a proof that these definitions are of the same number?