# 円 (数学)

| 円 |
| --- |
| 円   円周 *C*
  直径 *D*
  半径 *R*
  中心または原点 *O* |
| 種類 | 円錐曲線 |
| 対称性群 |  WIKINIUM\_MATH\_PH\_0  |
| 面積 |  WIKINIUM\_MATH\_PH\_1  |

数学において、**円**（えん、英: circle）とは、平面（2次元ユークリッド空間）上の、定点O（オー） からの距離が等しい点の集合でできる曲線のことをいう。

その「定点O」を円の**中心**という。円の中心と円周上の1点を結ぶ線分や、その線分の長さは**半径**という。

円は定幅図形の一つ。

なお円が囲む部分すなわち「円の内部」を含めて「円」ということもある。この場合、厳密さを必要とする時は、境界となる曲線のほうは「円周」（英: circumference） という。これに対して、内部を含めていることを強調するときには「円板」（英: disk）という。また、三角形、四角形などと呼称を統一して「円形」ということもある。

習慣的に、とりあえず円をひとつ挙げその中心に名称をつける時は「O」（オー）と呼ぶことが多い。これは原点を英語で「オリジン」（英: Origin）というのでその頭文字をとったものである。中心が点Oである円は「円O」（えんオー）と呼ぶ。なお中心は英語では「センター」（英: Center）というので、円の中心が「C」（シー）になっている文献もある。

なお、数学以外の分野ではこの曲線のことを（あるいはそれに近い卵形の総称として）「**丸**」（まる）という俗称で呼称することがある。

円: 中心、半径・直径、円周
## 円の性質

### 弦と弧

円周と2点で交わる直線を**割線**という。このときの交点を2点 A, B とするとき、円周によって、割線から切り取られる線分 AB のことを**弦**といい、弦 AB と呼ぶ。特に円の中心を通る割線を**中心線**という。中心線は円の対称軸であり、円の面積を2等分する。円周が中心線から切り取る弦やその長さを、円の**直径**という。直径は半径の2倍に等しい。円周の長さは、円の大きさによってさまざまであるが、円周の長さの直径に対する比の値は、円に依らず一定であり、これを**円周率**という。特に断りのない限り、普通、円周率は WIKINIUM\_MATH\_PH\_2 で表す。円の半径を *r*(半径の英語 radiusの頭文字が由来) とすると、円周の長さは 2 WIKINIUM\_MATH\_PH\_3 *r* で表される。また、円の面積は、 WIKINIUM\_MATH\_PH\_4 *r* 2 で表すことができる。同じ長さの周を持つ閉曲線の中で、面積が最大のものである。（**等周問題**）

中心角と円周角
一方、円周は割線によって 2 つの部分に分けられる。このそれぞれの部分を **円弧**（英: arc）または単に**弧**という。

2つの弧の長さが等しくないとき、長い方の弧を **優弧**（英: major arc）、短い方の弧を**劣弧**（英: minor arc）という。
2つの弧の長さが等しいとき、これらの弧を **半円周** という。このとき、割線は円の中心を通る中心線である。
円周上の2点 A, B を両端とする弧を弧 AB と呼ぶ。記号では、A͡B と表記する（記号 ⌒ は AB の上にかぶせて書くのが正しい）。これでは優弧・劣弧のどちらであるかを指定できていないデメリットがあり、一方を特定したい場合は、その弧上の点 P を用いて 弧APB のように表記する。

円 O の周上に2点 A, B があるとき、半径 OA, OB と弧 AB とで囲まれた図形を**扇形**（英: sector） O-A͡B という。また、扇形に含まれる側の ∠BOA を弧 AB を見込む**中心角**という。一つの円で考えるとき、中心角とその角が見込む弧の長さは比例する。同様に、中心角とその角が切り取る扇形の面積も比例する。

弦 AB と弧 AB で囲まれた図形を**弓形**（英: segment）という。

### 中心角と円周角

弧 AB に対して、弧 AB 上にない円 O の周上の点 P を取るとき、∠APB を弧 AB に対する**円周角**という。弧 AB に対する円周角は点 P の位置に依らず一定であり、中心角 AOB の半分に等しい（**円周角の定理**）。特に弧 AB が半円周のときは、弧 AB に対する円周角は直角である（**直径を見込む円周角**:ターレスの定理）。

円と内接四角形
円 O の周上に4点 A, B, C, D があるとき、四角形 ABCD は円 O に**内接する**という（**内接四角形**）。このとき、円 O を四角形 ABCD の**外接円**という。四角形が円に内接するならば、四角形の対角の和は平角に等しい（**内接四角形の定理**）。円に内接する四角形の外角の大きさは、その**内対角**の大きさに等しい。また、これらの逆も成立する（四点共円定理、内接四角形の定理）。

接弦定理
円周と直線が1つの共有点を持つとき、その直線を円の**接線**（英: tangent）といい、共有点を**接点**という。円の中心と接点を結ぶ半径（**接点半径**）は、接線と接点で直交する。

円の外部の点 A から円 O に2つの接線が描ける。この接点を S, T とすると、線分 AS, AT の長さを**接線の長さ**という。接線の長さは等しい。円の接線とその接点を通る弦が作る角は、その角の中にある弧に対する円周角に等しい（**接弦定理**）。すなわち、下図で AT が接線ならば、∠BAT = ∠APB である。接弦定理は逆も成立する。

円の接吻数は6である。このことの完全な証明は1910年までできなかった。

## 2円の位置関係

半径が異なる2円の位置関係
### 位置関係

2つの円（円 A, 円 B とする）の位置関係は次の場合に分けられる。

1. 円 A が円 B の内部にある場合 : 円 B は円 A を**内包する**という。特に、中心の位置が一致するとき、この2円を**同心円**と呼ぶ。
2. 円 A が円 B の周または内部にあり、1点のみを共有する場合 : 円 A は円 B に**内接する**という。
3. 2円が異なる2点を共有する場合 : 2円は2点で**交わる**という。この2点を結ぶ弦を**共通弦**という。
4. 2円が互いの周または外部にあり、1点のみを共有する場合 : 円 A は円 B に**外接する**という。
5. 2円が互いの外部にあり、共有点がない場合 : 2円は**離れている**という。

### 共通弦の性質

直線ＸＹを共通弦とする正円をＡ・Ｂ、Ｘを包みＹを外にする正円をＣ、Ｙを包みＸを外にする正円をＤ、ＡＣの共通弦とＢＣの共通弦の交点をＥ、ＡＤの共通弦とＢＤの共通弦の交点をＦ、とした時、ＥとＦはＸＹの線上にある。
三角形の三辺の位置と長さそのものを直径とする三つの円によって生じる３本の共通弦は、その三角形の３本の頂垂線となる。
1. 既定の共通弦を持つ2円(A・B)と、その共通弦の一端のみを包む任意の別の円Cとの間にできる2本の共通弦(ACとBCの共通弦)の交点は、ABの共通弦上に存在する。
2. 三角形の三辺の位置と長さそのものを直径とする三つの円によって生じる３本の共通弦は、その三角形の３本の頂垂線となる。

### 共通接線

2つの円に共通する接線を**共通接線**という。

特に、2円が共通接線に関して、同じ側にあるとき**共通外接線**、異なる側にあるとき**共通内接線**という。

上記の場合分けにおいて、描ける共通接線の個数は、

1. なし
2. 共通外接線1本
3. 共通外接線2本
4. 共通内接線1本、共通外接線2本の計3本
5. 共通内接線2本、共通外接線2本の計4本

のいずれか。

## 円の方程式

半径 WIKINIUM\_MATH\_PH\_5 , 中心 WIKINIUM\_MATH\_PH\_6 の円
解析幾何学において、 WIKINIUM\_MATH\_PH\_7 を中心とする半径 WIKINIUM\_MATH\_PH\_8 の円は WIKINIUM\_MATH\_PH\_9 を満たす点 WIKINIUM\_MATH\_PH\_11 全体の軌跡である。この方程式を、**円の方程式**と言う。これは、中心 WIKINIUM\_MATH\_PH\_12 と円上の任意の点 WIKINIUM\_MATH\_PH\_13 との二点間の距離が WIKINIUM\_MATH\_PH\_14 であるということを述べたものに他ならず、半径を斜辺とする直角三角形にピタゴラスの定理を適用しすることで導出できる（直角を挟む二辺は、各座標の絶対差 WIKINIUM\_MATH\_PH\_15 を長さとする）。

* 中心を原点に取れば、方程式は WIKINIUM\_MATH\_PH\_16 と簡単になる。

 WIKINIUM\_MATH\_PH\_18 は実数で WIKINIUM\_MATH\_PH\_19 なるものとし、 WIKINIUM\_MATH\_PH\_20 と書けば、上記の方程式は WIKINIUM\_MATH\_PH\_22 の形になる。この形（ WIKINIUM\_MATH\_PH\_24 の係数が等しく、 WIKINIUM\_MATH\_PH\_25 の項を持たない）の方程式が与えられたとき、以下の何れか一つのみが成り立つ:

* WIKINIUM\_MATH\_PH\_26 のときは、この方程式に解となる実点は存在しない。この場合を**虚円** (*imaginary circle*) の方程式と呼ぶ。
* WIKINIUM\_MATH\_PH\_27 のとき、方程式 WIKINIUM\_MATH\_PH\_28 は中心となる一点 WIKINIUM\_MATH\_PH\_29 のみを解とし、**点円** (*point circle*) の方程式と言う。
* WIKINIUM\_MATH\_PH\_30 のときには、 WIKINIUM\_MATH\_PH\_31 は WIKINIUM\_MATH\_PH\_32 を中心とする半径 WIKINIUM\_MATH\_PH\_33 の円（あるいは**実円** (*real circle*)）の方程式になる。

 WIKINIUM\_MATH\_PH\_34 のとき WIKINIUM\_MATH\_PH\_35 は直線の方程式であり、 WIKINIUM\_MATH\_PH\_36 は（射影平面上で、あるいは見かけ上）無限大になる。実は、直線を「無限遠点を中心とする半径無限大の円」と考えることができる（一般化された円 の項を参照）。

### 別の表示法

ベクトル表示中心の位置ベクトルを WIKINIUM\_MATH\_PH\_37 とし、円上の任意の点の位置ベクトルを WIKINIUM\_MATH\_PH\_38 とすると、これら二点間の距離は、ベクトルのユークリッドノルム WIKINIUM\_MATH\_PH\_39 : (*x*, *y*) ↦ √*x*2 + *y*2 を用いて、 WIKINIUM\_MATH\_PH\_40 と書けるから、半径 WIKINIUM\_MATH\_PH\_41 の円の方程式は WIKINIUM\_MATH\_PH\_42 となる。各点の成分表示が WIKINIUM\_MATH\_PH\_44 と与えられれば、 WIKINIUM\_MATH\_PH\_45 は上記の円の方程式である。
媒介変数表示
 WIKINIUM\_MATH\_PH\_47 を中心とする半径 WIKINIUM\_MATH\_PH\_48 の円の方程式を正弦函数および余弦函数を用いて WIKINIUM\_MATH\_PH\_49 と媒介表示できる。幾何学的には、媒介変数 WIKINIUM\_MATH\_PH\_51 を WIKINIUM\_MATH\_PH\_52 から出る WIKINIUM\_MATH\_PH\_53 を通る半直線が、始線（ WIKINIUM\_MATH\_PH\_54 -軸の正の部分）に対してなす角の角度と解釈できる。
円の別の媒介表示が半角正接置換により、 WIKINIUM\_MATH\_PH\_55 と与えられる。幾何学的には、この媒介変数 WIKINIUM\_MATH\_PH\_57 の WIKINIUM\_MATH\_PH\_58 に対する比を、中心を通り WIKINIUM\_MATH\_PH\_59 -軸に平行な直線に関する立体射影として解釈できる。この媒介表示は、 WIKINIUM\_MATH\_PH\_60 が任意の実数のみならず無限遠点においても意味を持つが、その一方で円の最も下にある一点は表せないので除かなければならない。
### その他の標準形

三点標準形同一直線上にない三点を WIKINIUM\_MATH\_PH\_61 ( WIKINIUM\_MATH\_PH\_62 ) とすると、その三点を通るという条件を満たす円は一つに決まり、その方程式を WIKINIUM\_MATH\_PH\_63 という形に表すことができる。これは行列式を用いて WIKINIUM\_MATH\_PH\_65 と表すこともできる。
### 射影平面

射影平面上の円の方程式は、円上の任意の点の斉次座標を（埋め込み WIKINIUM\_MATH\_PH\_67 のもとで） WIKINIUM\_MATH\_PH\_68 と書くとき、その一般形を WIKINIUM\_MATH\_PH\_69 と書くことができる。

### 極座標系

平面の座標系として、直交座標系の代わりに極座標系を用いれば、円の方程式の極座標表示が作れる。円上の任意の点の極座標を WIKINIUM\_MATH\_PH\_71 とし、中心の極座標を WIKINIUM\_MATH\_PH\_72 （つまり、中心の原点からの距離が WIKINIUM\_MATH\_PH\_73 で、 WIKINIUM\_MATH\_PH\_74 は原点から中心へ結んだ半直線が、 WIKINIUM\_MATH\_PH\_75 -軸の正の部分から反時計回りになす角）とするとき、半径 WIKINIUM\_MATH\_PH\_76 の**円の極方程式**は WIKINIUM\_MATH\_PH\_77 と書ける。

* 中心が原点にあるときには、方程式は WIKINIUM\_MATH\_PH\_79 ( WIKINIUM\_MATH\_PH\_80 は任意) という単純な形をしている（極座標系において原点は、動径成分が WIKINIUM\_MATH\_PH\_81 かつ偏角成分 WIKINIUM\_MATH\_PH\_82 は任意と表されるのであった）。
* 原点が円上にあるとき、方程式は WIKINIUM\_MATH\_PH\_83 と簡約される。例えば、半径 WIKINIUM\_MATH\_PH\_85 が中心の動径成分 WIKINIUM\_MATH\_PH\_86 に等しいときはそうである。
* 一般の場合の方程式を WIKINIUM\_MATH\_PH\_87 について解くことができて、 WIKINIUM\_MATH\_PH\_88 となる。ここで WIKINIUM\_MATH\_PH\_90 の符号を両方取らないと、半円しか記述できない場合があるので注意。

### 複素数平面

複素数平面を用いれば、平面上の円は複素数を用いても記述できる。中心が WIKINIUM\_MATH\_PH\_91 で半径が WIKINIUM\_MATH\_PH\_92 の円の方程式は、複素数の絶対値を用いて WIKINIUM\_MATH\_PH\_93 と書ける。これは本質的に円のベクトル方程式と同じものである（複素数平面における複素数の加法および実数倍は、成分表示された平面ベクトルの加法および実数倍と同一であり、複素数の絶対値はユークリッドノルムと同一視できる）。極形式を考えれば、 WIKINIUM\_MATH\_PH\_95 という条件は、 WIKINIUM\_MATH\_PH\_96 ( WIKINIUM\_MATH\_PH\_97 は任意) と同値であることがわかる（これは上記の媒介変数表示に対応する）。

複素数の積に関して WIKINIUM\_MATH\_PH\_98 が成り立つことに注意すれば、この方程式は実数 WIKINIUM\_MATH\_PH\_99 および複素数 WIKINIUM\_MATH\_PH\_100 を用いて WIKINIUM\_MATH\_PH\_101 の形に書ける（ WIKINIUM\_MATH\_PH\_103 ）。この形の方程式は、円だけでなく一般には一般化された円を表すものである（一般化された円とは、通常の円となるか、さもなくば直線である）。

極方程式も極形式を用いれば複素数で記述できる。

### 接線の方程式

円上の点 WIKINIUM\_MATH\_PH\_105 における接線は、 WIKINIUM\_MATH\_PH\_106 を通る直径に垂直である。したがって、円の中心を WIKINIUM\_MATH\_PH\_107 , 半径を WIKINIUM\_MATH\_PH\_108 とし、 WIKINIUM\_MATH\_PH\_109 とすれば、垂直条件により接線の方程式は WIKINIUM\_MATH\_PH\_110 の形をしていなければならない。これが WIKINIUM\_MATH\_PH\_111 を通るから WIKINIUM\_MATH\_PH\_112 は決定できて、接線の方程式は WIKINIUM\_MATH\_PH\_113 または WIKINIUM\_MATH\_PH\_115 の形に書ける。 WIKINIUM\_MATH\_PH\_117 ならばこの接線の傾きは WIKINIUM\_MATH\_PH\_118 であるが、これを陰函数微分法を用いて求めることもできる。

中心が原点にあるときは、接線の方程式は WIKINIUM\_MATH\_PH\_120 となり、傾きは WIKINIUM\_MATH\_PH\_122 である。原点を中心とする円では、各点の位置ベクトル WIKINIUM\_MATH\_PH\_124 と接ベクトル WIKINIUM\_MATH\_PH\_125 が常に直交する（つまり、内積が零になる）から、 WIKINIUM\_MATH\_PH\_126 は微分形の円の方程式である。

## 円の幾何学

三角形や円に関する事柄を扱う幾何学（相似や面積を用いない）は**円論**と呼ばれ、古来非常に深く研究されてきた。最も平面幾何学らしい幾何学とも呼ばれる。

### 九点円の定理

→「九点円」も参照
三角形の

それぞれの頂点から対辺に下ろした垂線の足（3つ）
辺の中点（3つ）
頂点と垂心を結んだ線分の中点（3つ）
は全て同一円上にある。この円のことを九点円と呼ぶ。

### 六点円の定理

→「六点円」も参照
三角形のそれぞれの頂点から下ろした垂線の足から他の二辺に下ろした、合計 6 個の垂線の足は、同一円周上にある、という定理。中学で習う円の性質だけで証明することができるが、かなり難解。

### パスカルの定理

→「ブレーズ・パスカル」も参照
円に内接する六角形の対辺の延長線の交点は一直線上にある。さらに拡張して、二次曲線上に異なる6つの点 P1～P6 を取ると、直線 P1P2 と P4P5 の交点 Q1、P2P3 と P5P6 の交点 Q2、P3P4 と P6P1 の交点 Q3 は同一直線上にある。また、P*i* における接線と P*j* における接線の交点を R*ij* とすると、3 直線 R12R45, R23R56, R34R61 は1点で交わる。一番初めの、円に内接する六角形の証明は、うまく補助円を書くことで、円の性質と三角形の相似だけですることができる。

### フォイエルバッハの定理

三角形の**内接円**は、九点円に内接する。

## 一般化

### 球面・超球面

→詳細は「球面」および「超球面」を参照
3 次元ユークリッド空間においてある点からの距離が一定であるような点の集合を球面という。内部を含めた球面を球という。一般に、*n* を自然数とするとき、*n* + 1 次元ユークリッド空間においてある点からの距離が一定であるような点の集合のことを、*n* 次元球面といい、*Sn* と書く。円は 1 次元球面である。

### 円錐曲線

→詳細は「円錐曲線」、「楕円」、「放物線」、および「双曲線」を参照
2つの点（焦点と呼ばれる）からの距離の和が一定であるような点の軌跡を楕円という。楕円は一般に円を潰したような形をしており、楕円のうち特別な場合――2つの焦点が一点で一致する場合――が円である（このとき、焦点は「円の中心」と呼ばれる）。一般の楕円でなく円であることを特に明示したいときには、円のことを**正円**（せいえん）または**真円**（しんえん）と呼ぶことがある。

### 距離円、ノルム円

異なる WIKINIUM\_MATH\_PH\_128 に対する WIKINIUM\_MATH\_PH\_129 -ノルム単位円を図示したもの。
「定点からの距離が一定である点全体の成す集合」として円を定義するならば、定義に用いる「距離」の定義を変えれば異なる形状の「円」を考えることができるということになる。p-ノルムの誘導する距離は WIKINIUM\_MATH\_PH\_130 で与えられる。ユークリッド幾何学における通常のユークリッド距離: WIKINIUM\_MATH\_PH\_132 は WIKINIUM\_MATH\_PH\_134 の場合である。

タクシー幾何学で用いるマンハッタン距離（ WIKINIUM\_MATH\_PH\_135 -距離）は WIKINIUM\_MATH\_PH\_136 の場合であり、この距離に関する円（タクシー円）は各辺が座標軸から WIKINIUM\_MATH\_PH\_137 ずれた正方形となる。半径 WIKINIUM\_MATH\_PH\_138 のタクシー円の各辺の長さは、ユークリッド距離で測れば WIKINIUM\_MATH\_PH\_139 だが、タクシー距離で測れば WIKINIUM\_MATH\_PH\_140 である。よって、この幾何学で円周率（半径に対する周長の比）に相当するものは WIKINIUM\_MATH\_PH\_141 ということになる。タクシー幾何学における単位円（半径が 1 の円）の方程式は、直交座標系では WIKINIUM\_MATH\_PH\_142 , 極座標系では WIKINIUM\_MATH\_PH\_144 と書ける。これは、その中心のフォンノイマン近傍である。

平面上のチェビシェフ距離（*L*∞-距離）に対する半径 WIKINIUM\_MATH\_PH\_146 の円もまた各辺の長さが WIKINIUM\_MATH\_PH\_147 の正方形（ただし、各辺は座標軸に平行）であるから、平面チェビシェフ距離は平面マンハッタン距離を回転およびスケール変換したものと看做せる。しかし WIKINIUM\_MATH\_PH\_148 と WIKINIUM\_MATH\_PH\_149 の間に成り立つこの同値性は他の次元に一般化することはできない。

### その他の円を特別の場合として含む曲線族

円は他の様々な図形の極限の場合と見ることができる:

* デカルトの卵形線は焦点と呼ばれるふたつの定点からの距離の重み付き和が一定となるような点全体の成す軌跡である。各距離に付ける重みが全て等しいとき楕円となり、離心率が WIKINIUM\_MATH\_PH\_150 であるような楕円として円が得られる（これは二つの焦点が互いに重なる極限の場合であり、一致した焦点は得られる円の中心となる）。ふたつの重みのうちの一方を WIKINIUM\_MATH\_PH\_151 として得られるデカルトの卵形線としても、円が得られる。
* 超楕円は、適当な正数 WIKINIUM\_MATH\_PH\_152 と自然数 WIKINIUM\_MATH\_PH\_153 に対する WIKINIUM\_MATH\_PH\_154 の形の方程式を持つ。 WIKINIUM\_MATH\_PH\_156 のとき超円と言う。円は WIKINIUM\_MATH\_PH\_157 となる特別な超円である。
* カッシーニの卵形線は二つの定点からの距離の積が一定となるような点全体の軌跡を言う。ふたつの定点が一致するとき、円が得られる。
* 定幅曲線は、その幅—図形の幅は、それを挟む二つの平行線が、各々その図形の境界と一点のみを共有するときの、それら平行線間の距離として定める—が平行線の方向のとり方に依らず一定であるような図形を言う。円はもっとも単純な定幅曲線形の例である。

## 拡幅円弧の長さ

半径 *R* の円弧上の始点で幅 *w*1、終点で幅 *w*2 の拡幅円弧の長さの計算

* WIKINIUM\_MATH\_PH\_158
* WIKINIUM\_MATH\_PH\_160

とすると、

 WIKINIUM\_MATH\_PH\_162
 WIKINIUM\_MATH\_PH\_164
ゆえに、拡幅円の長さは、平均半径に中心角をかけたものとなる。

* フランク・B・ギブニー 編「円」『ブリタニカ国際大百科事典』 3巻（改訂版）、TBSブリタニカ、1984年、166-167頁。NDLJP:12405046。

* アフィン球面
* アニュラス
* 無限角形
* 円あてはめ: 円に対する曲線あてはめ
* 円に関する話題の一覧
* 球面
* 三点で円が決まること
* 軸の平行移動

### 特別な名称のある円

* 単位円
* アポロニウスの円
* クロマティック・サークル（半音円）: 12平均律のピッチクラスを円形に並べたもの
* フォードの円
* 反相似円
* カーライル円
* バンコフの円
* アルキメデスの双子の円
* アルキメデスの円
* ショックの円
* ウーの円

#### 三角形に関する円

* マンダール円
* シュピーカー円: 中点三角形の内接円
* 九点円
* ルモワーヌ円
* 外接円
* 内接円
* 傍接円
* 傍接円に関するアポロニウスの円
* レスター円
* マルファッティの円
* ブロカール円
* 垂重円
* ヴァン・ラモン円
* パリー点
* 極円
* ジョンソン円
* シンツェル円

#### 四辺形に関する円

* 直交対角線四角形に関する八点円
* 円に外接する四角形の内接円
* 共円四辺形の外接円

#### 多角形に関する円

* 共円多角形の外接円
* 円外接多角形の内接円

#### 円錐曲線に関する円

* 準円
* 準線円

#### 球面に関する円

* 大円
* リーマン円

#### トーラスに関する円

* ヴィラルソー円

* WIKINIUM\_MATH\_PH\_166
* circle in *nLab*
* *circle* - PlanetMath.（英語）
* Definition:Circle at ProofWiki
* Ivanov, A.B. (2001) [1994], “Circle”, *Encyclopedia of Mathematics*, EMS Press