Choć wzór na pole powierzchni koła znany był już w Starożytnej Grecji. Jego uzasadnienie jest rzadko przytaczane. Artykuł prezentuje różne formy uzasadnień, od najprostszej animacji, po faktyczne wyprowadzenie równania.