円とは、平面上の任意の点から一定の距離にあるすべての点の集合である図形です。円周上の任意の点と中心との間の距離を半径といいます。円周上の2点を結び、中心を通る線分の長さを直径といいます。円は、平面上の領域である円盤を囲みます。
円は、記録された歴史が始まる以前から知られていました。満月や丸い果物のスライスなど、自然界には円が数多く存在します。円は車輪の基礎であり、歯車などの関連する発明とともに、現代の機械の多くを可能にしています。数学においては、円の研究は幾何学、天文学、微積分学の発展にインスピレーションを与えてきました。
指定されたすべての領域は、境界を含まない「開放領域」とみなすことも、それぞれの境界を含む「閉鎖領域」とみなすこともできます。
「circle」という単語は、ギリシャ語のκίρκος/κύκλος ( kirkos/kuklos )に由来し、これはホメロス時代のギリシャ語のκρίκος ( krikos )の音位転換で、「輪」または「リング」を意味します。[ 1 ]「circus」と「circuit」という単語の語源は密接に関連しています。


先史時代の人々は石の円や木の円を作り、円形の要素は岩絵や洞窟壁画によく見られる。[ 2 ]円盤状の先史時代の遺物には、ネブラの天空円盤や、翡翠の円盤と呼ばれるBiがある。
紀元前1700年に遡るエジプトのリンド・パピルスには、円の面積を求める方法が記されている。その結果は、πの近似値として 256 / 81 (3.16049... )に相当する。[ 3 ]
ユークリッドの『原論』第3巻では、円の性質について論じている。ユークリッドによる円の定義は以下のとおりである。
円とは、1本の曲線で囲まれた平面図形であり、その内部のある点から境界線まで引いた直線の長さがすべて等しい図形である。境界線を円周、その点を中心と呼ぶ。
プラトンの『第七の手紙』には、円の詳細な定義と説明があります。プラトンは完全な円について説明し、それがどんな図、言葉、定義、説明とも異なることを述べています。初期の科学、特に幾何学、占星術、天文学は、中世の学者のほとんどにとって神聖なものと結びついており、円には本質的に「神聖」または「完全」なものが見出されると信じていた人が多かったのです。[ 5 ] [ 6 ]
1880年、フェルディナント・フォン・リンデマンはπが超越数であることを証明し、何千年にもわたる円積問題は定規とコンパスでは解けないことを証明した。[ 7 ]
20世紀初頭に抽象芸術が登場すると、幾何学的対象はそれ自体が芸術の主題となった。特にワシリー・カンディンスキーは、作品の要素として円を頻繁に用いた。 [ 8 ] [ 9 ]

アッシリア人や古代エジプト人、中国のインダス川流域や黄河流域の文明、そして古典古代の古代ギリシャやローマといった西洋文明など、最も古い文明の時代から、円は視覚芸術において、芸術家のメッセージを伝え、特定の思想を表現するために、直接的または間接的に用いられてきました。しかし、世界観(信仰や文化)の違いは、芸術家の認識に大きな影響を与えました。円の外周を強調して民主主義の理念を表現した芸術家もいれば、中心に焦点を当てて宇宙の統一性を象徴した芸術家もいました。神秘主義の教義では、円は主に存在の無限性と循環性を象徴しますが、宗教的伝統においては、天体や神聖な霊を表します。
円は、統一、無限、全体性、宇宙、神性、バランス、安定性、完全性など、多くの神聖で精神的な概念を象徴しています。このような概念は、世界中の文化において、例えばコンパス、光輪、ヴェシカ・ピスキスとその派生形(魚、目、オーレオール、マンドルラなど)、ウロボロス、ダルマ・ホイール、虹、マンダラ、バラ窓などのシンボルを用いて伝えられてきました。 [ 10 ]魔法陣は、西洋秘教のいくつかの伝統の一部です。
円周と直径の比はπ(パイ)で、約3.141592654の無理数定数です。円周と半径の比は2πです。[ a ]したがって、円周Cは半径rと直径dと次の関係にあります。

アルキメデスが著書『円の測定』で証明したように、円で囲まれた面積は、底辺が円周の長さで高さが円の半径に等しい三角形の面積に等しく、その高さはπに半径の2乗を掛けた ものになります。 [ 11 ]
同様に、直径をdで表すと、 つまり、外接する正方形(一辺の長さがdの正方形)の約 79% です。
円は、与えられた弧長に対して最大の面積を囲む平面曲線である。これは、円を変分法の問題、すなわち等周不等式と関連付ける。
半径rの円が角度の頂点を中心としており、その角度が円弧の長さ s の円弧を切り取る場合、角度の ラジアン値𝜃 は、円弧の長さと半径の比になります。
円弧は、円の中心で中心角と呼ばれる角度をなすと言われています。1ラジアンは、長さが半径に等しい円弧がなす中心角の大きさです。完全な円が中心でなす角度は全角と呼ばれ、2πラジアン、360度、または1回転に相当します。
ラジアンを用いて、半径rで中心角θを持つ円弧の弧長sを求める式は次のようになる。
半径r、中心角θの扇形の面積Aの公式は次のとおりである。
特殊な場合𝜃 = 2 πでは、これらの式はそれぞれ完全な円の円周と完全な円盤の面積を与えます。

x – yデカルト座標系において、中心座標( a , b ) と半径rの円は、次の条件を満たす すべての点 ( x , y )の集合である。
この方程式は円の方程式として知られており、円上の任意の点にピタゴラスの定理を適用することで得られます。隣の図に示すように、半径は直角三角形の斜辺であり、他の辺の長さは | x − a | と | y − b | です。円の中心が原点 (0, 0) にある場合、方程式は次のように簡略化されます。

半径の円中心をにで – 平面は2つの半円に分割でき、それぞれの半円は関数のグラフである。そしてそれぞれ : 値については範囲はから .
この方程式は、三角関数の正弦と余弦 を用いて、次のようにパラメトリック形式で表すことができます。 ここで、tは 0 から2πの範囲のパラメトリック変数であり、幾何学的には ( a , b ) から ( x , y ) への光線が正のx軸となす角度として解釈されます。
円の別のパラメータ化は
このパラメータ化では、 tとrの比は、中心を通るx軸に平行な直線の立体投影として幾何学的に解釈できます(接線半角置換を参照)。ただし、このパラメータ化は、 tがすべての実数だけでなく無限遠点まで変化する場合にのみ有効です。そうでない場合、円の左端の点が省略されてしまいます。
3点によって決定される円の方程式直線上にない点は、円の方程式の3点形式を変換することによって得られます。
同次座標では、円の方程式を持つ 各円錐曲線は次の形式になります。
円錐曲線が円になるのは、複素射影平面に拡張したときに点I (1: i : 0) と点J (1: − i : 0)を含む場合のみであることが証明できる。これらの点は無限遠の円点 と呼ばれる。
極座標では、円の方程式は次のようになります。
ここで、aは円の半径であり、は円上の任意の点の極座標であり、は円の中心の極座標です(つまり、r 0は原点から円の中心までの距離、φは正のx軸から原点と円の中心を結ぶ線までの反時計回りの角度です )。原点を中心とする円、つまりr 0 = 0の場合、これはr = aに簡略化されます。r 0 = a の場合、または原点が円上にある場合、方程式は次のようになります 。
一般的には、この方程式をrについて解くと、次の ようになる。 ±記号がない場合、この式は場合によっては半円しか表さないことになる。
複素平面において、中心がcで半径rの円の方程式は次のようになる。
パラメトリック形式では、これは次のように記述できます。
やや一般化された方程式
実数p、qおよび複素数gの場合、一般化円と呼ばれることがあります。これは、次の円の式になります。、 以来一般化された円はすべて実際に円であるとは限りません。一般化された円は、(真の)円か直線のいずれかです。
円上の点Pを通る接線は、点Pを通る直径に垂直です。点 P = ( x 1 , y 1 )で、円の中心が ( a , b )、半径がrの場合、接線は ( a , b ) から ( x 1 , y 1 ) への直線に垂直なので、 ( x 1 − a ) x + ( y 1 − b ) y = c の形になります。( x 1 , y 1 )で評価するとcの値が決まり、結果として接線の方程式は次のようになります。 または
y 1 ≠ bの場合、この直線の傾きは
これは陰関数微分を用いて求めることもできます。
円の中心が原点にある場合、接線の方程式は次のようになります。 そしてその傾斜は


円周角(図中の青と緑の角が例)は、対応する中心角(赤)のちょうど半分です。したがって、同じ弧(ピンク)を囲むすべての円周角は等しくなります。弧(茶色)に内接する角は補角の関係にあります。特に、直径を囲むすべての円周角は直角です(中心角は180°なので)。

サジッタ(またはヴェルシネ)とは、弦の中点と円弧の間に、弦に垂直に引かれた線分のことである。
弦の長さyと矢の長さxが与えられた場合、ピタゴラスの定理を用いて、この2つの線を囲む唯一の円の半径を計算することができる。
この結果の別の証明は、上記の 2 つの弦の性質のみに基づいており、次のとおりです。長さyの弦と長さxの矢が与えられた場合、矢が弦の中点と交差するため、それが円の直径の一部であることがわかります。直径は半径の 2 倍なので、直径の「欠けている」部分は ( 2 r − x ) の長さになります。1 つの弦の一方の部分ともう一方の部分の積が、最初の弦と交差する弦に沿って取った同じ積に等しいという事実を使用すると、( 2 r − x ) x = ( y / 2) 2 であることがわかります。rについて解くと、必要な結果が得られます。
コンパスと定規を使った円を描く作図方法は数多く存在する。
最も単純で基本的な作図方法は、円の中心と円周上の点が与えられた場合です。コンパスの固定脚を円の中心点に、可動脚を円周上の点に置き、コンパスを回転させます。


ペルガのアポロニウスは、円は平面上の点の集合で、 2つの固定焦点AとBまでの距離の比が一定(1以外)である点の集合としても定義できることを示した。[ 16 ] [ 17 ](距離が等しい点の集合は、線分ABの垂直二等分線である。)この円は、2点を中心に描かれていると言われることもある。
証明は2つの部分から成ります。まず、2つの焦点AとB、および距離の比が与えられたとき、距離の比を満たす任意の点Pは特定の円上にあることを証明する必要があります。Cを、距離の比を満たし、線分AB上にある別の点とします。線分PCは相似であるため、角の二等分線定理により、線分PCは内角APBを二等分します。
同様に、線分 ABを延長した線上の点Dを通る線分PD は、線分APを延長した線上の点 Qを通る外角BPQ を二等分します。内角と外角の合計は 180 度なので、角CPDはちょうど 90 度、つまり直角です。角CPDが直角となる点Pの集合は円を形成し、 CD はその直径となります。
第二に、示された円上のすべての点が与えられた比率を満たすことの証明については、[ 18 ] : 15を参照してください。
円の密接に関連する性質として、複素平面上の点の交差比の幾何学が挙げられます。A、B、Cが上記のとおりである場合、これら3点に対するアポロニウスの円は、交差比の絶対値が1に等しい 点Pの集合です。
言い換えれば、Pがアポロニウスの円上の点であるのは、交差比[ A , B ; C , P ]が複素平面上の単位円上にある場合のみである。
Cが線分ABの中点である場合、アポロニウス条件を満たす 点Pの集合は それは円ではなく、線である。
したがって、平面上の異なる点A、B、Cが与えられた場合、上記の式を満たす点Pの軌跡は「一般化円」と呼ばれます。これは真の円である場合もあれば、直線である場合もあります。この意味では、直線は半径が無限大の一般化円と言えます。
すべての三角形には、三角形の3辺のそれぞれに接するような内接円と呼ばれる固有の円を内接させることができる。 [ 19 ]
ほぼすべての三角形には、その三角形の3つの頂点のそれぞれを通るような、外接円と呼ばれる固有の円を外接させることができる。[ 20 ]
接線多角形(接線四角形など)とは、多角形の各辺に接する円を内接させることができる凸多角形のことである。[ 21 ]すべての正多角形とすべての三角形は接線多角形である。
円に内接する多角形とは、すべての頂点を通る円を外接させることができる凸多角形のことです。よく研究されている例としては、円に内接する四角形があります。すべての正多角形とすべての三角形は円に内接する多角形です。円に内接し、かつ接線にも内接する多角形は、二心多角形と呼ばれます。
ハイポサイクロイドとは、与えられた円に接する小さな円上の固定点をなぞって描かれる曲線のことである。
円は、他の様々な図形の極限的な場合として捉えることができる。
有限集合を考える平面上の点。与えられた点までの距離の二乗の和が一定となる点の軌跡は円であり、その中心は与えられた点の重心にある。[ 22 ] 距離の高次のべき乗に対する一般化は、代わりに、点、正多角形の頂点が取られる。[ 23 ]合計が距離のべき乗与えられた正多角形の頂点に外接半径定数は円です。 その中心は、。
正三角形の場合、2乗と4乗の定数和の軌跡は円になりますが、正方形の場合は、2乗、4乗、6乗の定数和の軌跡は円になります。正五角形の場合は、距離の8乗の定数和が加算されます。以下同様です。
円積問題とは、古代の幾何学者が提起した問題で、コンパスと定規を用いて限られた手順だけで、与えられた円と同じ面積の正方形を作図するというものである。
1882年、リンデマン=ワイエルシュトラスの定理により、円周率πは代数的無理数ではなく超越数であることが証明され、この課題は不可能であることが示されました。つまり、πは有理係数を持つ多項式の根にはなり得ないということです。しかし、この不可能性にもかかわらず、このテーマは擬似数学愛好家にとって依然として興味深いものとなっています。

円をある点から一定の距離にある点の集合と定義すると、距離の定義が異なると、さまざまな形状が円とみなされることがあります。pノルムでは、距離は次のように決定されます 。 ユークリッド幾何学では、p = 2 となり、おなじみの
タクシーの幾何学では、p = 1 です。タクシーの円は、座標軸に対して 45° の角度で辺が配置された正方形です。各辺の長さはユークリッド距離を用いると、rは円の半径であり、タクシー幾何学におけるその長さは 2r です。したがって、円の円周は 8r です。したがって、幾何学的類似の値はこの幾何学では 4 です。タクシー幾何学における単位円の公式はデカルト座標系において、 極座標で表す。
半径1の円(この距離を用いると)は、その中心のフォン・ノイマン近傍である。
平面上のチェビシェフ距離(L∞メトリック)における半径rの円は、座標軸に平行な辺の長さが2rの正方形でもあるため、平面チェビシェフ距離は、回転と拡大縮小によって平面タクシー距離と等価であると考えることができる。しかし、L1メトリックとL∞メトリックのこの等価性は、より高次元には一般化されない。
位相幾何学において、円は幾何学的概念だけでなく、その同相写像すべてを含む。2つの位相円は、 R 3をそれ自身に変形することによって他方に変換できる場合(アンビエントアイソトピーと呼ばれる)に等価である。[ 24 ]
方向付き円とは、バイナリ値によって表される方向を持つ通常の円であり、その値は次のいずれかです。または唯一の例外は半径ゼロの円で、その向きは点は半径ゼロの向き付けられた円に相当します。向き付けられた円の向きがの場合、円は「反時計回り」に方向付けられていると言われます。方向が等しい場合、すると「時計回り」になります。向き付けられた円の(符号付き)半径は、半径として定義されます。基となる向きのない円の向きに、向きを掛けたもの。符号付き角度の測定では、円の向きが仮定されます。
{{cite journal}}: CS1メンテナンス: DOIは2025年7月現在非アクティブです(リンク)円の性質と円を含む基本的な構造について
点をクリックしてドラッグすると、標準形方程式の動作を確認できます。