Arşimet'ten matematiksel bir kanıt
Arşimet'in matematiksel kanıtlarından biri, bir dairenin alanının p.r2'ye eşit olduğunu göstermesidir.

Şekildeki altıgen bir dairenin içine çizilmiştir. Altıgenin alanı, COM üçgenine benzer 12 dik üçgenin alanlarının toplamına eşittir. Bunu
Aynı şekilde çizilen n kenarlı bir poligonun (çokgenin) alanı için de buna benzer bir ifade yazabiliriz: Poligonun alanı, bir kenarı poligonun çevresine, diğer kenarı da kiriş orta dikmesinin uzunluğuna eşit bir dik üçgenin alanı kadardır.
n büyürken, |OC| uzunluğu dairenin yarıçapına, poligonun çevresi de dairenin çevresine yaklaşır. n sonsuza giderken limit durumunda poligonun alanı dairenin alanına eşit olur. Böylece,
olacağından, dairenin alanı,
olur. Bu da,
demektir. Arşimet bu kanıtla cebirin limit alma işleminin de öncüsü olma şerefini hak ediyor.
Arşimet poligonları sadece dairenin içine değil, dışına da çizmişti. 96 kenarlı poligonlara kadar hesaplamalar yaparak
olduğunu, yani p sayısının 3.1408 ile 3.1429 arasında olduğunu göstermeyi de başarmıştı.