圆面积公式是已知圆的半径时，求圆的面积所使用的公式。圆的面积=圆周率×半径的平方。用字母可以表示为S=πR2，其中π为圆周率，是一个常数，约等于3.141592654；r为所求面积的圆的半径。公式也可改写为S=1/4*πd2，其中d为该圆的直径。
- 中文名
- 圆面积公式
- 外文名
- Circular area formula
- 别 名
- 圆形面积
- 表达式
- S=πR2 ；S=1/4*πd2
- 提出者
- 阿基米德
- 提出时间
- 161年
- 突出贡献者
- 欧多克斯，欧几里得，刘徽，开普勒，牛顿和莱布尼兹等
- 成熟时间
- 公元十七世纪
- 研究著作
- 《圆的测量》，《葡萄酒桶的新立体几何》，《自然哲学的数学原理》等
- 应用学科
- 数学，物理学，工程学，建筑学等
- 发表时间
- 公元前三世纪
公式形式
播报编辑
对于一个半径为r，直径为的圆d=2r，其面积可以表达为
或者
通过圆面积公式，我们可以计算已知半径或者直径的圆的面积。除此之外，通过测量圆的面积和半径，可以计算出圆周率的近似值。
发展简史
播报编辑
约公元危海前四世纪，古希腊数学家欧多克斯发现，圆的面积与直径的平方成正比，但是并没有给出比例系数。同时，他也发明了“穷竭法”，即构造内接多边形序列，并使这些多边形的面积收敛于所求图形的面积的方法。 [2]
公元前三世纪，阿基米德发展了穷竭法，并证明了圆面积等于以圆周长为底、半径为高的直角三角形的面积，同时给出了圆面积公式。不仅如此，阿基米燥微德还使用“穷竭法”算出了算出球面积、球体积、项辨堡抛物线、椭圆面积等。 [3]
公元三世纪，魏晋时期数学家刘徽也提出了正确的圆面积公式“半周半径相乘，得积步”。他还采用“割圆术”，通过切割圆并外接正多边形的方法，求出圆面积的近似值，并以此将圆周率计算到小数点后四位，即3.1416。
寻趋充 公元五世纪，南北朝时期数学家祖冲之在《周髀算经》中使用了刘徽巩篮浆禁的割圆术，并做了进一步的改进，计算得圆周率的值在3.1415926到3.1415927之间。祖冲之计算圆周率的时间比西柜格驼方数学家得到相同精度结果的时间早了近一千年。
公式推导
播报编辑
切割重排法
将圆分割成很多个（偶数个）小扇形，并按照图1的方式进行切割重排。
图1 切割与重排示意图当切割的份数越多，每个小扇形越接近于一个三角形，形成的图形就越接近于一个长方形。
图2 近似长方形示意图长方形的长近似于周长的一半，宽近似于半径，而长方形面积=长×宽。又因为周长C=2πr，长方形的长为πr。长方形与原来的圆形面积想等，所以S圆=S长方形
半圆积分法
上半圆的函数为
作代换
极坐标法
令
其中D为直角坐标系下的积分区域
相关公式
播报编辑
半圆面积：
半圆的面积=二分之一×圆的面积=二分之一×圆周率×半径的平方
圆环面积：
环形面积=外圆面积-内圆面积=圆周率×（外圆半径的平方-内圆半径的平方）
扇形面积：
扇形半径与半径和圆心角（顶角）有关。若圆心角为n°，
球面积
球的面积=4×圆周率×半径的二次方、
球体积
球的体积=4/3×圆周率×半径的三次方
公式拓展
播报编辑
k维球
圆可以看作二维空间中的“球”，圆周是它的“球面”，现在把维度拓展到k维进行讨论。k维球的球面方程可以写作
首先，找到
对于二维的球（也就是圆），从圆心出发可以分解成一系列底边为无穷短圆弧的三角形（看作二维椎体），三角形面积为
对于三维球，类似地将球分解为无数个小锥体，小椎体体积为
以此类推，对于k维球体，取一个顶点在球心，底面在k维球面上的小锥体。小椎体的高为R，底面是(k-1)维体，底面积记为
并且 
即得
把k维球分解为无穷个小(k-1)维锥体，即得
然后，找到
对于三维球，可以将其分割成一系列厚度为
类似地，将k维球，将其分割为厚度dz的薄板，并且有：
k球的面积和体积分别与
代入(2)、(3)式，可得
结合上面两个式子，可以得到
结合(1)式，得到、
取k=2N+1，由(6)得到
也就是
同理，可以写得
对于
特别地，当k=2时
研究进展
播报编辑
随着数学的不断发展，数学工具的不断进步，人们并不再通过内接或者外接正多边形进行近似计算圆周率了，而出现了新的方法。
无穷级数法
通过一些快速收敛到π的无穷级数进行计算，比如：
1, Ramanujan圆周率公式 [4]
2, Chudnovsky圆周率公式 [5]
蒙特卡洛法
边长为1的正方形内有内切圆，则内切圆面积为
近似计算圆周率。
图3 蒙特卡洛法示意图
