円 (数学)

数学において、円（えん、）とは、平面（2次元ユークリッド空間）上の、定点Ｏ（オー） からの距離が等しい点の集合でできる曲線のことをいう。
その「定点　Ｏ（オー）」を円の中心という。円の中心と円周上の 1 点を結ぶ線分や、その線分の長さは半径という
円は定幅図形の一つ。
なお円が囲む部分すなわち「円の内部」を含めて「円」ということもある。この場合、厳密さを必要とする時は、境界となる曲線のほうは「円周 (circumference)」 という。これに対して、内部を含めていることを強調するときには「円板 (disk)」 という。また、三角形、四角形などと呼称を統一して「円形」ということもある。
習慣的に、とりあえず円をひとつ挙げその中心に名称をつける時は「Ｏ （オー）」と呼ぶことが多い。これは原点を英語で「オリジン（）」というのでその頭文字をとったものである。中心が点Ｏである円は「円Ｏ（えんオー）」と呼ぶ。なお中心は英語では「センター（）」というので、円の中心が「C（シー）」になっている文献もある。
なお、数学以外の分野ではこの曲線のことを（あるいはそれに近い卵形の総称として）「丸（まる）」という俗称で呼称することがある。
円の性質.
弦と弧.
円周と2 点で交わる直線を割線という。このときの交点を 2 点 A, B とするとき、円周によって、割線から切り取られる線分 AB のことを弦といい、弦 AB と呼ぶ。特に円の中心を通る割線を中心線という。中心線は円の対称軸であり、円の面積を 2 等分する。円周が中心線から切り取る弦やその長さを、円の直径という。直径は半径の 2 倍に等しい。円周の長さは、円の大きさによってさまざまであるが、円周の長さの直径に対する比の値は、円に依らず一定であり、これを円周率という。特に断りのない限り、普通、円周率は で表す。円の半径を "r"(半径の英語 radiusの頭文字が由来) とすると、円周の長さは 2"r" で表される。また、円の面積は、"r" で表すことができる。同じ長さの周を持つ閉曲線の中で、面積が最大のものである。（等周問題）
一方、円周は割線によって 2 つの部分に分けられる。このそれぞれの部分を 円弧 (arc) または単に弧という。
円周上の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である。これは当たり前のことだが、
2円の位置関係.
位置関係.
2つの円（円 A, 円 B とする）の位置関係は次の場合に分けられる。
共通接線.
2つの円に共通する接線を共通接線という。
特に、2円が共通接線に関して、同じ側にあるとき共通外接線、異なる側にあるとき共通内接線という。
上記の場合分けにおいて、描ける共通接線の個数は、
のいずれか。
円の方程式.
解析幾何学において、 を中心とする半径 の円は formula_1 を満たす点 全体の軌跡である。この方程式を、円の方程式と言う。これは、中心 と円上の任意の点 との二点間の距離が であるということを述べたものに他ならず、半径を斜辺とする直角三角形にピタゴラスの定理を適用しすることで導出できる（直角を挟む二辺は、各座標の絶対差 を長さとする）。
 は実数で なるものとし、formula_3 と書けば、上記の方程式は formula_4 の形になる。この形（ の係数が等しく、 の項を持たない）の方程式が与えられたとき、以下の何れか一つのみが成り立つ:
 のとき は直線の方程式であり、 は（射影平面上で、あるいは見かけ上）無限大になる。実は、直線を「無限遠点を中心とする半径無限大の円」と考えることができる（ の項を参照）。
その他の標準形.
射影平面上の円の方程式は、円上の任意の点のを（埋め込み のもとで） と書くとき、その一般形を formula_11 と書くことができる。
極座標系.
平面の座標系として、直交座標系の代わりに極座標系を用いれば、円の方程式の極座標表示が作れる。円上の任意の点の極座標を とし、中心の極座標を （つまり、中心の原点からの距離が で、 は原点から中心へ結んだ半直線が、-軸の正の部分から反時計回りになす角）とするとき、半径 のは formula_12 と書ける。
複素数平面.
複素数平面を用いれば、平面上の円は複素数を用いても記述できる。中心が で半径が の円の方程式は、複素数の絶対値を用いて formula_15 と書ける。これは本質的に円のベクトル方程式と同じものである（複素数平面における複素数の加法および実数倍は、成分表示された平面ベクトルの加法および実数倍と同一であり、複素数の絶対値はユークリッドノルムと同一視できる）。極形式を考えれば、 という条件は、 ( は任意) と同値であることがわかる（これは上記の媒介変数表示に対応する）。
複素数の積に関して が成り立つことに注意すれば、この方程式は実数 および複素数 を用いて formula_16 の形に書ける（formula_17）。この形の方程式は、円だけでなく一般にはを表すものである（一般化された円とは、通常の円となるか、さもなくば直線である）。
極方程式も極形式を用いれば複素数で記述できる。
接線の方程式.
円上の点 における接線は、 を通る直径に垂直である。したがって、円の中心を , 半径を とし、 とすれば、垂直条件により接線の方程式は の形をしていなければならない。これが を通るから は決定できて、接線の方程式は formula_18 または formula_19 の形に書ける。 ならばこの接線の傾きは formula_20 であるが、これを陰函数微分法を用いて求めることもできる。
中心が原点にあるときは、接線の方程式は formula_21 となり、傾きはformula_22 である。原点を中心とする円では、各点の位置ベクトル と接ベクトル が常に直交する（つまり、内積が零になる）から、formula_23 は微分形の円の方程式である。
円の幾何学.
三角形や円に関する事柄を扱う幾何学（相似や面積を用いない）は円論と呼ばれ、古来非常に深く研究されてきた。最も平面幾何学らしい幾何学とも呼ばれる。
九点円の定理.
三角形の
は全て同一円上にある。この円のことを九点円と呼ぶ。
六点円の定理.
三角形のそれぞれの頂点から下ろした垂線の足から他の二辺に下ろした、合計 6 個の垂線の足は、同一円周上にある、という定理。中学で習う円の性質だけで証明することができるが、かなり難解。
パスカルの定理.
円に内接する六角形の対辺の延長線の交点は一直線上にある。さらに拡張して、二次曲線上に異なる6つの点 P～P を取ると、直線 PP と PP の交点 Q、PP と PP の交点 Q、PP と PP の交点 Q は同一直線上にある。また、P における接線と P における接線の交点を R とすると、3 直線 RR, RR, RR は1点で交わる。一番初めの、円に内接する六角形の証明は、うまく補助円を書くことで、円の性質と三角形の相似だけですることができる。
フォイエルバッハの定理.
三角形の内接円は、九点円に内接する。
一般化.
球面・超球面.
3 次元ユークリッド空間においてある点からの距離が一定であるような点の集合を球面という。内部を含めた球面を球という。一般に、"n" を自然数とするとき、"n" + 1 次元ユークリッド空間においてある点からの距離が一定であるような点の集合のことを、"n" 次元球面といい、"S" と書く。円は 1 次元球面である。
円錐曲線.
2つの点（焦点と呼ばれる）からの距離の和が一定であるような点の軌跡を楕円という。楕円は一般に円を潰したような形をしており、楕円のうち特別な場合――2つの焦点が一点で一致する場合――が円である（このとき、焦点は「円の中心」と呼ばれる）。一般の楕円でなく円であることを特に明示したいときには、円のことを正円（せいえん）または真円（しんえん）と呼ぶことがある。
距離円、ノルム円.
「定点からの距離が一定である点全体の成す集合」として円を定義するならば、定義に用いる「距離」の定義を変えれば異なる形状の「円」を考えることができるということになる。の誘導する距離は formula_24 で与えられる。ユークリッド幾何学における通常のユークリッド距離: formula_25 は の場合である。
タクシー幾何学で用いるマンハッタン距離（-距離）は の場合であり、この距離に関する円（タクシー円）は各辺が座標軸からずれた正方形となる。半径 のタクシー円の各辺の長さは、ユークリッド距離で測れば だが、タクシー距離で測れば である。よって、この幾何学で円周率（半径に対する周長の比）に相当するものは ということになる。タクシー幾何学における単位円（半径が 1 の円）の方程式は、直交座標系では formula_26, 極座標系では formula_27 と書ける。これは、その中心のである。
平面上のチェビシェフ距離（"L"-距離）に対する半径 の円もまた各辺の長さが の正方形（ただし、各辺は座標軸に平行）であるから、平面チェビシェフ距離は平面マンハッタン距離を回転およびスケール変換したものと看做せる。しかし と の間に成り立つこの同値性は他の次元に一般化することはできない。
その他の円を特別の場合として含む曲線族.
円は他の様々な図形の極限の場合と見ることができる:
拡幅円弧の長さ.
半径 "R" の円弧上の始点で幅 "w"、終点で幅 "w" の拡幅円弧の長さの計算
とすると、
ゆえに、拡幅円の長さは、平均半径に中心角をかけたものとなる。