「円 (数学)」の版間の差分

削除された内容追加された内容

インライン

2012年3月30日 (金) 11:27時点における版

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

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

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

円の性質

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

弦によって円周は 2 つの部分に分けられる。このそれぞれの部分を弧(arc)または円弧という。弧のうち、長さが大きい方の弧を優弧(major arc)、短い方の弧を劣弧(minor arc)という。弦 AB に対する弧は弧 AB とよび、⌒ABと表記する（記号は、AB の上にかぶせるように書くのが正しい）。特に、優弧か劣弧かのいずれかを特定したい場合は、その弧上にある点 P を用いて ⌒APB のように表記する。円 O が弧 AB を持つとき、半径 OA,OB と弧 AB とで囲まれた図形を扇形(sector)0-⌒AB という。また、扇形に含まれる側の∠AOB を弧 AB に対する中心角という。中心角とその角が見込む弧の長さは比例する。同様に、中心角とその角が切り取る扇形の面積も比例する。

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

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

円 O 上に 4 点 A,B,C,D があるとき、この 4 点を結んでできる四角形は円 O に内接するという（内接四角形）。このとき、円 O を四角形 ABCD の外接円という。四角形が円に内接するとき、四角形の対角の和は平角に等しい（内接四角形の定理）。この逆も成立する。また、円に内接する四角形の内角の大きさは、その対頂点における外角の大きさに等しい。

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

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

2つの円

半径が異なる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 の円は、陰関数

(x-a)^{2}+(y-b)^{2}=r^{2}

で与えられる。特に原点を中心とする場合は

x^{2}+y^{2}=r^{2}

と表される。

また、これを展開し整理すると

x^{2}+y^{2}+lx+my+n=0

の形でも表すことができる。

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

{\begin{vmatrix}x^{2}+y^{2}&x&y&1\\{x_{1}}^{2}+{y_{1}}^{2}&x_{1}&y_{1}&1\\{x_{2}}^{2}+{y_{2}}^{2}&x_{2}&y_{2}&1\\{x_{3}}^{2}+{y_{3}}^{2}&x_{3}&y_{3}&1\end{vmatrix}}=0

と表すことができる。

円の幾何学

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

九点円の定理

「九点円」も参照

三角形の

それぞれの頂点から対辺に下ろした垂線の足（三つ）

辺の中点（三つ）

頂点と垂心を結んだ線分の中点（三つ）

は全て同一円上にある。この円のことを九点円と呼ぶ。

六点円の定理

「六点円」も参照

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

パスカルの定理

「ブレーズ・パスカル」も参照

円に内接する六角形の対辺の延長線の交点は一直線上にある。更に拡張して、二次曲線上に異なる六つの点 P₁～P₆ をとると、直線 P₁P₂ と P₄P₅ の交点 Q₁、P₂P₃ と P₅P₆ の交点 Q₂、P₃P₄ と P₆P₁ の交点 Q₃は同一直線上にある。また、P_i における接線と P_j における接線の交点を R_ij とすると、3 直線 R₁₂R₄₅、R₂₃R₅₆、R₃₄R₆₁ は一点で交わる。一番初めの、円に内接する六角形の証明は、うまく補助円を書くことで、円の性質と三角形の相似だけですることができる。

フォイエルバッハの定理

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

一般化

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

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

拡幅円弧の長さ

半径Rの円弧上の始点で幅 $w_{1}$ 、終点で幅 $w_{2}$ の拡幅円弧の長さの計算

$L=R\theta$
$k={\frac {w_{2}-w_{1}}{L}}$

とすると、

dL=(R+w_{1}+kR\theta )d\theta

{\begin{array}{rcl}Lw&=&\displaystyle (R+w_{1})\theta +{\frac {1}{2}}kR\theta ^{2}\\&=&\displaystyle L\left\{1+{\frac {w_{1}}{R}}+{\frac {kL}{2R}}\right\}\\&=&\displaystyle L\left\{1+{\frac {1}{R}}(w_{1}+{\frac {1}{2}}kL)\right\}\\&=&\displaystyle L\left\{1+{\frac {1}{R}}\left(w_{1}+{\frac {1}{2}}(w_{2}-w_{1})\right)\right\}\\&=&\displaystyle L\left\{1+{\frac {1}{R}}{\frac {w_{1}+w_{2}}{2}}\right\}\\&=&\displaystyle \left(R+{\frac {w_{1}+w_{2}}{2}}\right)\theta \end{array}}

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

@@ 1行目: / 1行目: @@
-[[数学]]において、'''円'''（えん）とは、[[平面]]（2次元[[ユークリッド空間]]）上の、ある点 ''O'' からの距離が等しい[[点]]の集合でできる[[曲線]]のことをいう。この点 ''O'' を円の'''中心'''、中心から円周上の 1 点を結んだ[[線分]]、或いは、その線分の[[長さ]]を'''半径'''という。中心が点 ''O'' である円を円 ''O'' と表すことも多い。[[定幅図形]]の一つ。
+[[数学]]において、'''円'''（えん）とは、[[平面]]（2次元[[ユークリッド空間]]）上の、ある点 O からの距離が等しい[[点]]の集合でできる[[曲線]]のことをいう。この点 O を円の'''中心'''、中心から円周上の 1 点を結んだ[[線分]]、或いは、その線分の[[長さ]]を'''半径'''という。中心が点 O である円を円 O と表すことも多い。[[定幅図形]]の一つ。
 円の内部を含めて円ということもある。この場合は、曲線のことを'''円周'''という。対して、内部を含めていることを強調するときには'''円板'''という。また、三角形、四角形などと呼称を統一して、円形ということもある。
@@ 8行目: / 8行目: @@
 == 円の性質 ==
-円周上の 2 点 ''A''、''B'' があるとき、線分 ''AB'' を'''弦'''といい、弦 ''AB'' と表記する。特に円の中心を通る弦を円の'''直径'''という。直径の長さは半径の長さの 2 倍となる。円周の長さの直径の長さに対する比はどの円でも一定の値をとり、これを[[円周率]]といい普通 [[π]] で表す。円の半径を ''r'' とすると、円周の長さは 2π''r'' で表される。また、円の[[面積]]は、π''r''<sup>2</sup> で表すことができる。同じ長さの周をもつ平面図形のなかで、円がもっとも面積が大きくなる。（'''等周問題'''）
+円周上の 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'' のように表記する。
+弦 AB に対する弧は弧 AB とよび、⌒ABと表記する（記号  は、AB の上にかぶせるように書くのが正しい）。特に、優弧か劣弧かのいずれかを特定したい場合は、その弧上にある点 P を用いて ⌒APB のように表記する。
-円 ''O'' が弧 ''AB'' を持つとき、線分 ''OA''、線分 ''OB'' と弧 ''AB'' とで囲まれた図形を'''扇形'''(sector)''0-AB''という。また、扇形に含まれる側の∠''AOB'' を弧 ''AB'' に対する'''中心角'''という。中心角とそれに対する弧の長さは[[比例]]する。同様に中心角とそれに対する扇形の面積も比例する。
+円 O が弧 AB を持つとき、半径 OA,OB と弧 AB とで囲まれた図形を'''扇形'''(sector)0-⌒AB という。また、扇形に含まれる側の∠AOB を弧 AB に対する'''中心角'''という。中心角とその角が見込む弧の長さは[[比例]]する。同様に、中心角とその角が切り取る扇形の面積も比例する。
-弦''AB'' と弧''AB''で囲まれた図形を '''弓形'''(segment)という。
+弦 AB と弧 AB で囲まれた図形を '''弓形'''(segment)という。
-弧 ''AB'' 上に無い円 ''O'' の円周上の点 ''P''を取るとき、∠''APB'' を弧 ''AB'' に対する'''[[円周角]]'''という。弧 ''AB'' に対する円周角は常に一定の大きさをもち、中心角 ''AOB'' の半分となる（'''円周角の定理'''）。
+弧 AB 上に無い円 O の円周上の点 P を取るとき、∠APB を弧 AB に対する'''[[円周角]]'''という。弧 AB に対する円周角は常に一定の大きさをもち、中心角 AOB の半分に等しい（'''円周角の定理'''）。
-特に弦''AB'' が直径である場合は、弧''AB''に対する円周角は[[直角]]になる。
+特に弦 AB が直径である場合は、弧 AB に対する円周角は[[直角]]になる。
-円 ''O'' 上に 4 点 ''A''、''B''、''C''、''D'' があるとき、この 4 点を結んでできる[[四角形]]は円 ''O'' に'''内接する'''という（'''内接四角形'''）。また、円 ''O'' を四角形 ''ABCD'' の'''外接円'''という。四角形が円に内接するとき、四角形の対角の和は 180 度である（'''内接四角形の定理'''）。この逆も成立する。また、円に内接する四角形の外角は、その頂点に対する内角に等しい。
+円 O 上に 4 点 A,B,C,D があるとき、この 4 点を結んでできる[[四角形]]は円 O に'''内接する'''という（'''内接四角形'''）。このとき、円 O を四角形 ABCD の'''外接円'''という。四角形が円に内接するとき、四角形の対角の和は平角に等しい（'''内接四角形の定理'''）。この逆も成立する。また、円に内接する四角形の内角の大きさは、その対頂点における外角の大きさに等しい。
 [[画像:円に内接する四角形.png|thumb|center|円と内接四角形]]
-円周と直線とがただ 1 つの共通点を持つとき、その直線を円の'''接線'''(tangent)といい、共通点を接点という。接点を通り、接線に[[垂直]]な直線を'''法線'''という。円の法線は中心を通る。円の接線とその接点を通る弦との作る角は、その角の中にある弧に対する円周角に等しい（'''接弦定理'''）。たとえば、下図で ''AT'' が接線ならば、∠''BAT'' = ∠''APB'' となる。接弦定理は逆も成立する。
+円周と直線とがただ 1 つの共通点を持つとき、その直線を円の'''接線'''(tangent)といい、共通点を接点という。接点を通り、接線に[[垂直]]な直線を'''法線'''という。円の法線は中心を通る。円の接線とその接点を通る弦との作る角は、その角の中にある弧に対する円周角に等しい（'''接弦定理'''）。たとえば、下図で AT が接線ならば、∠BAT = ∠APB となる。接弦定理は逆も成立する。
 [[画像:接弦定理.png|thumb|center|接弦定理]]
@@ 32行目: / 32行目: @@
 [[画像:円の位置関係.png|thumb|right|位置関係]]
 半径が異なる2つの円の位置関係は次のように分けられる。
-# 円 ''A'' と円 ''B'' に共通点がなく中心が一致する場合。このとき 2 つの円は'''同心円'''という。
+# 円 A と円 B に共通点がなく中心が一致する場合。このとき 2 つの円は'''同心円'''という。
-# 円 ''A'' が円 ''B'' の内部にあり共通点がなく、中心も一致しない場合。このとき円''A''は円''B''を'''内包する'''という。
+# 円 A が円 B の内部にあり共通点がなく、中心も一致しない場合。このとき円 A は円 B を'''内包する'''という。
-# 円 ''A'' が円 ''B'' の内部にあり、1 点のみ共通する場合。このとき円 ''A'' は円 ''B'' に'''内接する'''という。2 つの円の共通接線はただ 1 つ引くことができる。
+# 円 A が円 B の内部にあり、1 点のみ共通する場合。このとき円 A は円 B に'''内接する'''という。2 つの円の共通接線は、ただ 1 つ引くことができる。
-# 円 ''A'' と円 ''B'' との共通点が 2 つある場合。このとき 2 つの円は'''交わる'''といい、2 円に共通する弦を'''共通弦'''という。共通接線は 2 本引くことができる。
+# 円 A と円 B との共通点が 2 つある場合。このとき 2 つの円は'''交わる'''といい、2 円に共通する弦を'''共通弦'''という。共通接線はに 2 本引くことができる。
-# 円 ''A'' が円 ''B'' の外部にあり、1 点のみ共通する場合。このとき円 ''A'' は円 ''B'' に'''外接する'''という。共通接線を 3 本引くことができる。
+# 円 A が円 B の外部にあり、1 点のみ共通する場合。このとき円 A は円 B に'''外接する'''という。共通接線を 3 本引くことができる。
-# 円 ''A'' が円 ''B'' の外部にあり、共通点がない場合。共通接線は 4 本引くことができる。
+# 円 A が円 B の外部にあり、共通点がない場合。共通接線は 4 本引くことができる。
 == 座標と円 ==