Let 
 and 
 be the perimeters of the circumscribed
 and inscribed 
-gon and 
 and 
 the perimeters of the circumscribed and inscribed 
-gon.
 Then
| 
 
(1)
 
 | |||
| 
 
(2)
 
 | 
The first follows from the fact that side lengths of the polygons on a circle of radius 
 are
| 
 
(3)
 
 | |||
| 
 
(4)
 
 | 
so
| 
 
(5)
 
 | |||
| 
 
(6)
 
 | 
But
| 
 
(7)
 
 | |||
| 
 
(8)
 
 | 
Using the identity
| 
 
(9)
 
 | 
then gives
| 
 
(10)
 
 | 
The second follows from
| 
 
(11)
 
 | 
Using the identity
| 
 
(12)
 
 | 
gives
| 
 
(13)
 
 | |||
| 
 
(14)
 
 | |||
| 
 
(15)
 
 | |||
| 
 
(16)
 
 | 
Successive application gives the Archimedes algorithm, which can be used to provide successive approximations to pi
 ().