Does any extant Greek text prove that the area of an inscribed regular polygon increases with the number of sides?

Question

Does any extant Greek text prove that the area of a regular polygon inscribed in a fixed circle increases with the number of sides in the polygon?

I can't find such a proposition in Euclid, but the Greeks must surely have known of it, and had a proof, especially as a proof needn't even use Eudoxus's theory of proportion.

(I think this is valid, for example. It's something the Greeks could easily have come up with. I may even have overcomplicated it.)

---

Note on the edited title, Did Greeks know that the area of inscribed regular polygons increases with the number of sides?:

^{As stated in the body of the question, I personally don't doubt that the Greeks "knew" the result, both in the weak sense of finding it intuitively obvious, and in the strong sense of having at least one proof (which, in the absence of evidence, can only be guessed at). Of course, this is only a personal opinion, not even an educated one. I can't prove it; but on the other hand, I don't want to ask a question about it! Also, the edited title raises an epistemological question (what does it mean to "know" a result?), which I would rather avoid. Not only that, but it could lead to a complex historical debate, with no clear conclusion. I prefer my original concrete and narrowly-focussed wording. If it is still necessary to reword the question, please say why.}

---

As a similar proposition about perimeters is being discussed in an answer and its comments, it seems worth reproducing here a comment in which I derive that result as a corollary:

Let $a_n$ be the area and $p_n$ the perimeter of a regular $n$-gon inscribed in a circle of radius $r$. If the vertices of the $(2n)$-gon are $P_0P_1P_2\cdots$, then $P_0P_2 \perp OP_1$, therefore the area of $\triangle OP_1P_2$ is $\frac{r}{2}\cdot\frac{p_n}{2n}$; but the same area is also equal to $\frac{a_{2n}}{2n}$; therefore $p_n = \frac{2a_{2n}}{r}$; and $a_{2n}$ increases with $n$, therefore so does $p_n$.

Answer 1

It is obvious geometrically when one duplicates the number of sides, but not in general. Archimedes considered up to 96-gons for his approximation of the ratio of the circumference to diameter, but he gets to 96 by successively duplicating sides of the regular triangle.

A similar (and somewhat stronger) proposition, "for regular polygons with the same perimeter, more sides imply greater area", is (presumably) proved by Zenodorus in On Isoperimetric Figures, the earliest known treatise on the isoperimetric problem. Unfortunately, it is not extant, and we only know about it from Theon’s commentary on Ptolemy’s Almagest, and Book V of Pappus’s Collection where some ideas of the proof are given. See Blasjo's Isoperimetric Problem for a reconstruction. Knorr in The Ancient Tradition of Geometric Problems, p.273 speculates that the proposition was already known to Archimedes, ingredients of a possible proof do occur in the Sand Reckoner.

To get the OP proposition about the inscribed regular polygons one would need to show that their perimeters increase with the number of sides in addition to the Zenodorus's lemma. This can also be proved, in principle, using the inequalities alluded to in the Sand Reckoner.