Prove the area of a regular $2n$-gon is the geometric mean of the areas of its inscribed and circumscribed regular $n$-gons.