Bog'liq Aylana va doira haqida tushuncha Reja Kirish
deb yozish mumkin. Radiusi R bo`lgan aylananing uzunligi C, radiusi r bo`lgan aylana uzunligi bo`lsin. Endi muntazam ichki ko`pburchaklarning tomonlari sonini cheksiz orttirsak, ta’rifga ko`ra, = C va = bo`ladi. U holda hosil bo`ladi. Bundan, proporsiyaning xossasiga ko`ra deb yozish mumkin. Teorema isbotlandi.