圆

File:Disambig gray.svg关于其他意义，请见“圆 (消歧义)”。

File:Disambig gray.svg“匝”重定向至此。关于注音符号，请见“ㄭ”。

File:Confusion grey.svg提示：此条目的主题不是零边形或无限边形。

圆
File:Circle-withsegments.svg   圆周<math>c</math>   直径<math>d</math>   半径<math>r</math>   原点<math>o</math>
类型	圆锥曲线
施莱夫利符号
对称群	o(2)
面积	<math>\pi r^2</math>
周长	<math>2\pi r</math>, <math>\pi d</math>

圆 （英语：circler，rounder，circle，round）的第一个定义是：根据欧几里得的《几何原本》，在同一平面内到定点 <math>o</math> 的距离等于定长 <math>r</math> 的点的集合。此定点 <math>o</math> 称为圆心（center of a circle），此定长 <math>r</math> 称为半径（radius）。

圆的第二个定义是：平面内一动点到两定点的距离的比，等于一个不为1的常数，则此动点的轨迹是圆；此圆属于一种阿波罗尼奥斯圆（circles of Apollonius）。

历史

更多信息：几何原本和墨子

古代人最早是从太阳、阴历十五的月亮得到圆的概念的。在一万八千年前的山顶洞人曾经在兽牙、砾石和石珠上钻孔，那些孔有的就很像圆。到了陶器时代，许多陶器都是圆的。圆的陶器是将泥土放在一个转盘上制成的。当人们开始纺线，又制出了圆形的石纺锤或陶纺锤。古代人还发现搬运圆的木头时滚着走比较省劲。后来他们在搬运重物的时候，就把几段圆木垫在大树、大石头下面滚着走。

约在6000年前，美索不达米亚人，做出了世界上第一个轮子——圆型的木盘。大约在4000多年前，人们将圆的木盘固定在木架下，这就成了最初的车子。 古代埃及人认为：圆，是神赐给人的神圣图形。一直到两千多年前中国的墨子给圆下了一个定义：圆，一中同长也。意思是说：圆有一个圆心，圆心到圆周上各点的距离（即半径）都相等。

性质

解析几何

• 直角坐标系中的定义：<math>(x-x_m)^2 + (y-y_m)^2 = r^2</math>，其中r是半径，<math>(x_m,y_m)</math>是圆心坐标。
• 参数方程的定义：<math>x = x_m + a \cos \theta</math>，<math>y = y_m + a \sin \theta</math>。
• 极坐标方程的定义（圆心在原点）：<math>r = a</math>。

圆心

圆是在同一平面内到定点的距离等于定长的点的集合，这个定点叫做圆的圆心（通常用<math>o</math>表示）。

弦

圆周上任何两点相连的线段称为圆的弦（英语：chord）。如图2，<math>A</math>、<math>B</math>分别为圆上任意两点，那么<math>\overline{AB}</math>就是圆的弦。

弧

圆周上任意两点间的部分叫做弧（英语：arc），通常用符号<math>\frown</math>表示。弧分为半圆、优弧、劣弧三种。

直径、半径

• 直径（英语：diameter）：经过圆心的弦称作直径（用<math>d</math>表示）。
• 半径（英语：radius）：在圆中，连接圆心和圆上任意一点的线段叫做圆的半径，半径用字母<math>r</math>表示。

<math>k = \{X\in E\mid{}\overline{MX} <= r\}</math>

切线

主条目：切线

假如一条直线与圆相交仅有一个交点，那么称这条直线是这个圆的切线，与圆相交的点叫做切点。如下图，直线<math>\overline{QP}</math>与圆只有一个交点<math>P</math>，那么<math>\overline{QP}</math>就是圆的切线。过圆上一点的切线：设该点为<math>P(x_o,y_o)</math>，圆的方程为<math>(x-a)^2+(y-b)^2=r^2</math>，则圆在该点的切线方程为：<math>(x_o-a)(x-a)+(y_o-b)(y-b)=r^2</math>

• 性质定理：圆的切线垂直于经过切点的半径。
• 推论1：经过圆心且垂直于切线的直线必经过切点。
• 推论2：经过切点且垂直于切线的直线必经过圆心。

割线

一条直线与一条弧线有两个公共点，这条直线是这条曲线的割线（英语：Secant Theorem）。如图，直线<math>\overline{QO}</math>与圆有两个公共点，那么直线<math>\overline{QO}</math>就是圆的割线。

File:Secant-unit-circle.svg

<math>\theta</math>的正割是从<math>O</math>到<math>Q</math>的距离。

周长

圆的一周的长度称为圆的周长（记作<math>c</math>）。圆的周长与半径的关系是：

<math>c= \pi d</math> 或 <math>c= 2 \pi r </math>，

其中<math>\pi</math>是圆周率。

面积

圆的面积与半径的关系是：<math>A= \pi r^2</math>。

对称性

圆既是轴对称图形又是中心对称图形，圆的对称轴为经过圆心<math>o</math>的任意直线，圆的对称中心为圆心<math>o</math>。

圆心角、圆周角

更多信息：扇形

File:Sehnentangentenwinkel.png

图2：弦、圆周角、圆心角

• 圆心角：顶点在圆心的角叫圆心角，圆心角的度数等于它所对的弧的度数，公式表示为<math>\theta = \frac{L}{2\pi r}\cdot 2\pi=\frac{L}{r} </math>。如右图，<math>M</math>为圆的圆心，那么<math>\angle AMB</math>为圆心角。
• 圆周角：顶点在圆周上，角两边和圆相交的角叫圆周角。如右图，<math>\angle ACB</math>的顶点<math>C</math>在圆周上，<math>\angle ACB</math>的两边<math>\overline{AC}</math>、<math>\overline{BC}</math>分别交在圆周上，那么<math>\angle ACB</math>就是圆周角。

圆心角定理

同圆或等圆中，相等的圆心角所对的弦相等，所对的弧相等，弦心距相等，此定理也称“一推三定理”。

圆周角定理

圆周角定理：同弧所对的圆周角等于它所对的圆心的角的一半。
如上图，<math>M</math>为圆心，<math>A,B,C</math>分别为圆周上的点，那么：<math>\angle AMB=2\; \angle ACB</math>

证明：<math>\because BM=CM,AM=CM</math>

<math>\because \angle BCM=\angle CBM,\angle ACM=\angle CAM</math>

<math>\therefore \angle BMS=\angle BCM+\angle CBM</math>

<math>\because \angle AMS=\angle ACM+\angle CAM</math>

<math>\therefore \angle BMS+\angle AMS=2(\angle BCM+\angle ACM)</math>

即：<math>\angle AMB=2\; \angle ACB</math>

圆周角定理的推论：

1. 同弧或等弧所对的圆周角相等；同圆或等圆中，相等的圆周角所对的弧是等弧。
2. 半圆或直径所对的圆周角是直角；圆周角是直角所对的弧的半圆，所对的弦是直径。
3. 若三角形一边上的中线等于这边的一半，那么这个三角形是直角三角形。

垂径定理

主条目：垂径定理

File:垂径定理.jpg

垂径定理示意图

垂径定理是一种常用的几何学的定理。

定理定义：垂直于弦的直径平分这条弦，并且平分弦所对的两条弧。

知二推三

一条直线，在下列5条中只要具备其中任意两条作为条件，就可以推出其他三条结论。称为“知二推三”。

• 平分弦所对的优弧
• 平分弦所对的劣弧（前两条合起来就是平分弦所对的两条弧）
• 平分弦（不是直径）
• 垂直于弦
• 经过圆心

推论

1. <math>BE</math>过圆心<math>O</math>，<math>AD=DC</math>，则<math>BE</math>垂直<math>AC</math>并平分<math>AC</math>、<math>AEC</math>两条弧。即“平分非直径的弦的直径垂直于弦并平分弦所对的两弧。”
2. <math>AD=DC</math>且<math>BE</math>垂直<math>AC</math>，则<math>BE</math>过圆心<math>O</math>且平分<math>AC</math>、<math>AEC</math>两条弧。即“弦的垂直平分线过圆心且平分弦所对的两弧。”
3. <math>BE</math>是直径，<math>\overset{\frown} {AB}</math>（<math>\overset{\frown} {AE}</math>）＝<math>\overset{\frown} {BC}</math>（<math>\overset{\frown} {CE}</math>），则BE过圆心O，<math>\overset{\frown} {AE}</math>（<math>\overset{\frown} {AB}</math>）＝<math>\overset{\frown} {CE}</math>（<math>\overset{\frown} {BC}</math>）。即“平分弦所对的一条弧的直径垂直平分弦且平分弦所对的另一条弧。”

两圆位置关系

File:Two circles.png

两个不同大小的圆（半径分别为<math>r</math>及<math>R</math>，圆心距为<math>d</math>，其中<math>r < R</math>）之间的关系如下：

1. <math>d = 0</math>：两圆不相交（内含），互为同心圆。
2. <math>0 < d < R - r</math>：两圆不相交（内含，亦称“内离”）。
3. <math>d = R - r</math>：两圆相交于一点（内切），有1条共同切线。
4. <math>d = R + r</math>：两圆相交于一点（外切），有3条共同切线。
5. <math>R - r < d < R + r</math>：两圆相交于两点，有2条共同切线。
6. <math>d > R + r</math>：两圆不相交（外离），有4条共同切线。

圆系方程

在解析几何中，符合特定条件的某些圆构成一个圆系，一个圆系所具有的共同形式的方程称为圆系方程。例如求半径到直线距离的方程就可以叫圆系方程。
在方程<math>(x-a)^2+(y-b)^2=r^2</math>中，若圆心<math>(a,b)</math>为定点，<math>r</math>为参变数，则它表示同心圆的圆系方程。若<math>r</math>是常量，<math>a</math>（或<math>b</math>）为参变数，则它表示半径相同，圆心在同一直线上（平行于<math>x</math>轴或<math>y</math>轴）的圆系方程。

• 过两圆<math>x_1^{2}+y_1^{2}+D_1x+E_1y+F_1=0</math>与<math>x_2^{2}+y_2^{2}+D_2x+E_2y+F_2=0</math>交点的圆系方程为：

  <math>x_1^{2}+y_1^{2}+D_1x+E_1y+F_1+\lambda(x_2^{2}+y_2^{2}+D_2x+E_2y+F_2)=0\quad (\lambda\ne -1).</math>

• 过直线<math>Ax+By+C=0</math>与圆<math>x_1^{2}+y_1^{2}+D_1x+E_1y+F_1=0</math>交点的圆系方程为：

  <math>x_1^{2}+y_1^{2}+D_1x+E_1y+F_1+\lambda (Ax+By+C)=0.</math>

• 过两圆<math>x_1^{2}+y_1^{2}+D_1x+E_1y+F_1=0</math>与<math>x_2^{2}+y_2^{2}+D_2x+E_2y+F_2=0</math>交点的直线方程为：

  <math>x_1^{2}+y_1^{2}+D_1x+E_1y+F_1-(x_2^{2}+y_2^{2}+D_2x+E_2y+F_2)=0.</math>

其他定义

更多信息：椭圆和离心率

• 椭圆是平面上到两个固定点的距离之和为常数的点之轨迹，椭圆的形状可以用离心率来表示；圆可以看作是一种特殊的椭圆，即当椭圆的两个焦点重合，离心率<math>\varepsilon =0</math>的情况。

主条目：球面

更多信息：立体几何和欧几里得

• 在三维空间，球面被设定为是在<math>r^3</math>空间中与一个定点距离为<math>r</math>的所有点的集合，此处<math>r</math>是一个正的实数，称为半径，固定的点称为球心或中心，并且不属于球面的范围。<math>r=1</math>是球的特例，称为单位球。
• 在测度空间中，圆的定义仍旧指距离一定点等距（在该测度下）的点的集合。

其它

相关的立体图形

截面为圆的三维形状有：

• 球体
• 扁球体
• 圆锥体
• 圆柱体
• 圆台

圆和其他平面形状

• 外接圆
• 内切圆
• 旁切圆

主条目：等周定理

• 当多边形的每条边固定，以有外接圆的图形面积最大。

圆的问题

• 化圆为方是指用尺规作图的方法画出一个和已知圆面积相同的正方形。已经证明这是不可能的。
• 塔斯基分割圆问题要求用分割的方法来使已知圆变成正方形。
• 高斯圆问题。

参见

• 圆锥曲线
• 球 (数学)

扩展阅读

• Pedoe, Dan. Geometry: a comprehensive course. Dover. 1988. 
• "Circle" in The MacTutor History of Mathematics archive（页面存档备份，存于互联网档案馆）

外部链接

• Circle, 数学百科全书, EMS Press, 2001 （English） 
• Circle (PlanetMath.org website)
• 埃里克·韦斯坦因. Circle. MathWorld. 
• Interactive Java applets（页面存档备份，存于互联网档案馆） for the properties of and elementary constructions involving circles.
• Interactive Standard Form Equation of Circle（页面存档备份，存于互联网档案馆） Click and drag points to see standard form equation in action
• Munching on Circles（页面存档备份，存于互联网档案馆） at cut-the-knot