円 (数学)のソースを表示

[[数学]]において、'''円'''（えん）とは、[[平面]]（2次元[[ユークリッド空間]]）上の、ある点 ''O'' からの距離が等しい[[点]]の集合でできる[[曲線]]のことをいう。この点 ''O'' を円の'''中心'''、中心から円周上の 1 点を結んだ[[線分]]、或いは、その線分の[[長さ]]を'''半径'''という。中心が点 ''O'' である円を円 ''O'' と表すことも多い。[[定幅図形]]の一つ。

円の内部を含めて円ということもある。この場合は、曲線のことを'''円周'''という。対して、内部を含めていることを強調するときには'''円板'''という。また、三角形、四角形などと呼称を統一して、円形ということもある。

数学以外の分野ではこの曲線のことを「'''丸'''（まる）」という俗称で呼称することがある。

[[画像:円.png|thumb|right|円: 中心、半径・直径、円周]]
== 円の性質 ==

円周上の 2 点 ''A''、''B'' があるとき、線分 ''AB'' を'''弦'''といい、弦 ''AB'' と表記する。特に円の中心を通る弦を円の'''直径'''という。直径の長さは半径の長さの 2 倍となる。円周の長さの直径の長さに対する比はどの円でも一定の値をとり、これを[[円周率]]といい普通 [[π]] で表す。円の半径を ''r'' とすると、円周の長さは 2π''r'' で表される。また、円の[[面積]]は、π''r''<sup>2</sup> で表すことができる。同じ長さの周をもつ平面図形のなかで、円がもっとも面積が大きくなる。（'''等周問題'''）

[[画像:中心角と円周角.png|thumb|right|中心角と円周角]]
弦によって円周は 2 つの部分に分けられる。このそれぞれの部分を'''弧'''(arc)または'''円弧'''という。弧のうち、長さが大きい方の弧を'''優弧'''(major arc)、短い方の弧を'''劣弧'''(minor arc)という。
弦 ''AB'' に対する弧は弧 ''AB'' と表記する。特に、優弧か劣弧かのいずれかを特定したい場合は、その弧上にある点 ''P'' を用いて弧 ''APB'' のように表記する。
円 ''O'' が弧 ''AB'' を持つとき、線分 ''OA''、線分 ''OB'' と弧 ''AB'' とで囲まれた図形を'''扇形'''(sector)という。また、扇形に含まれる側の∠''AOB'' を弧 ''AB'' に対する'''中心角'''という。中心角とそれに対する弧の長さは[[比例]]する。同様に中心角とそれに対する扇形の面積も比例する。

弦''AB'' と弧''AB''で囲まれた図形を '''弓形'''(segment)という。

弧 ''AB'' 上に無い円 ''O'' の円周上の点 ''P''を取るとき、∠''APB'' を弧 ''AB'' に対する'''[[円周角]]'''という。弧 ''AB'' に対する円周角は常に一定の大きさをもち、中心角 ''AOB'' の半分となる（'''円周角の定理'''）。
特に弦''AB'' が直径である場合は、弧''AB''に対する円周角は[[直角]]になる。

円 ''O'' 上に 4 点 ''A''、''B''、''C''、''D'' があるとき、この 4 点を結んでできる[[四角形]]は円 ''O'' に'''内接する'''という（'''内接四角形'''）。また、円 ''O'' を四角形 ''ABCD'' の'''外接円'''という。四角形が円に内接するとき、四角形の対角の和は 180 度である（'''内接四角形の定理'''）。この逆も成立する。また、円に内接する四角形の外角は、その頂点に対する内角に等しい。
[[画像:円に内接する四角形.png|thumb|center|円と内接四角形]]

円周と直線とがただ 1 つの共通点を持つとき、その直線を円の'''接線'''(tangent)といい、共通点を接点という。接点を通り、接線に[[垂直]]な直線を'''法線'''という。円の法線は中心を通る。円の接線とその接点を通る弦との作る角は、その角の中にある弧に対する円周角に等しい（'''接弦定理'''）。たとえば、下図で ''AT'' が接線ならば、∠''BAT'' = ∠''APB'' となる。接弦定理は逆も成立する。
[[画像:接弦定理.png|thumb|center|接弦定理]]

円の[[接吻数]]は6である。これは当たり前のことだが完全な証明は1910年までできなかった。

== 2 つの円 ==

[[画像:円の位置関係.png|thumb|right|位置関係]]
半径が異なる 2 つの円の位置関係は次のように分けられる。
# 円 ''A'' と円 ''B'' に共通点がなく中心が一致する場合。このとき 2 つの円は'''同心円'''という。
# 円 ''A'' が円 ''B'' の内部にあり共通点がなく、中心も一致しない場合。このとき円''A''は円''B''を'''内包する'''という。
# 円 ''A'' が円 ''B'' の内部にあり、1 点のみ共通する場合。このとき円 ''A'' は円 ''B'' に'''内接する'''という。2 つの円の共通接線はただ 1 つ引くことができる。
# 円 ''A'' と円 ''B'' との共通点が 2 つある場合。このとき 2 つの円は'''交わる'''といい、2 円に共通する弦を'''共通弦'''という。共通接線は 2 本引くことができる。
# 円 ''A'' が円 ''B'' の外部にあり、1 点のみ共通する場合。このとき円 ''A'' は円 ''B'' に'''外接する'''という。共通接線を 3 本引くことができる。
# 円 ''A'' が円 ''B'' の外部にあり、共通点がない場合。共通接線は 4 本引くことができる。

== 座標と円 ==
[[デカルト座標]]で、点(''a'', ''b'')を中心とする半径 ''r'' の円は、陰関数
:<math>(x-a)^2+(y-b)^2=r^2</math>
で与えられる。特に原点を中心とする場合は
:<math>x^2+y^2=r^2</math>
と表される。

また、これを展開し整理すると
:<math>x^2+y^2+lx+my+n=0</math>
の形でも表すことができる。

この展開した式には定数が''l'' ,''m'' ,''n'' の3つ用いられている。そのため、円の中心と半径が与えられていない場合であっても、任意の異なる3点が与えられれば、その3点を通る円の方程式を求めることができる。

== 円の幾何学 ==
[[三角形]]や円に関する事柄を扱う[[幾何学]]（相似や面積を用いない）は'''円論'''と呼ばれ、古来非常に深く研究されてきた。最も[[平面幾何学]]らしい幾何学とも呼ばれる。
=== [[九点円]]の定理 ===
三角形の
:それぞれの頂点から対辺に下ろした垂線の足（三つ）
:辺の中点（三つ）
:頂点と垂心を結んだ線分の中点（三つ）
は全て同一円上にある。この円のことを九点円と呼ぶ。

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

=== [[ブレーズ・パスカル|パスカル]]の定理 ===
円に内接する六角形の対辺の延長線の交点は一直線上にある。更に拡張して、二次曲線上に異なる六つの点 ''P''<sub>1</sub>～''P''<sub>6</sub> をとると、直線 ''P''<sub>1</sub>''P''<sub>2</sub> と ''P''<sub>4</sub>''P''<sub>5</sub> の交点 ''Q''<sub>1</sub>、''P''<sub>2</sub>''P''<sub>3</sub> と ''P''<sub>5</sub>''P''<sub>6</sub> の交点 ''Q''<sub>2</sub>、''P''<sub>3</sub>''P''<sub>4</sub> と ''P''<sub>6</sub>''P''<sub>1</sub> の交点 ''Q''<sub>3</sub>は同一直線上にある。また、''P''<sub>''i''</sub> における接線と ''P''<sub>''j''</sub> における接線の交点を ''R''<sub>''ij''</sub> とすると、3 直線 ''R''<sub>12</sub>''R''<sub>45</sub>、''R''<sub>23</sub>''R''<sub>56</sub>、''R''<sub>34</sub>''R''<sub>61</sub> は一点で交わる。一番初めの、円に内接する六角形の証明は、うまく補助円を書くことで、円の性質と三角形の相似だけですることができる。

=== フォイエルバッハの定理 ===
三角形の'''内接円'''は、九点円に内接する。
<!-- 証明は後になるほど難しい。最後のものは非常に難しい。-->

== 一般化 ==
3 次元ユークリッド空間においてある点からの距離が一定であるような点の集合を球面という。内部を含めた球面を[[球]]という。もっと一般に、''n'' を自然数とするとき、''n''+1 次元ユークリッド空間においてある点からの距離が一定であるような点の集合のことを、''n'' 次元球面といい、''S''<sup>''n''</sup> と書く。円は 1 次元球面である。

二つの点（焦点と呼ばれる）からの距離の和が一定であるような点の軌跡を[[楕円]]という。楕円は一般に円をつぶしたような形をしており、楕円のうち特別な場合――2つの焦点が一点で一致する場合――が円である（このとき、焦点は「円の中心」と呼ばれる）。一般の楕円でなく円であることを特に明示したいときには、円のことを'''正円'''（せいえん）または'''真円'''（しんえん）と呼ぶことがある。

== 拡幅円弧の長さ ==
半径Rの円弧上の始点で幅w1、終点で幅w2の拡幅円弧の長さの計算

<math>\ L=R\boldsymbol{\theta}</math>

<math>\ \frac{w2-w1}{L}=k</math>

とすると、

<math>\ dL=(R+w1+kR\boldsymbol{\theta})d\boldsymbol{\theta}</math>

<math>\ Lw=(R+w1)\boldsymbol{\theta}+\frac{1}{2}kR\boldsymbol{\theta}^2</math>

<math>\ Lw=L\big\{1+\frac{w1}{R}+\frac{kL}{2R}\big\}</math>

<math>\ Lw=L\big\{1+\frac{1}{R}(w1+\frac{1}{2}kL)\big\}</math>

<math>\ Lw=L\big\{1+\frac{1}{R}(w1+\frac{1}{2}(w2-w1))\big\}</math>

<math>\ Lw=L\big\{1+\frac{1}{R}\frac{w1+w2}{2}\big\}</math>

<math>\ Lw=(R+\frac{w1+w2}{2})\boldsymbol{\theta}</math>

よって、拡幅円の長さは、平均半径に中心角をかけたものとなる。

==関連項目==
* [[単位円]]
* [[楕円]]
* [[球]]
* [[球面]]
* [[アルハゼンの定理]]
* [[円周率]]
* [[⌒]]
{{Link FA|mk}}
{{DEFAULTSORT:えん}}
[[Category:円 (数学)|*]]
[[Category:初等数学]]
[[Category:幾何学]]
[[Category:角度]]
[[Category:数学に関する記事]]
{{Wikipedia/Ja}}