Warning : Undefined variable $type in /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php on line 3 Warning : "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/includes/json/FormatJson.php on line 297 Warning : Trying to access array offset on value of type bool in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 660 Warning : session_name(): Session name cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 834 Warning : ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 126 Warning : ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 127 Warning : session_cache_limiter(): Session cache limiter cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 133 Warning : session_set_save_handler(): Session save handler cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 140 Warning : "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/languages/LanguageConverter.php on line 773 Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 294 Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 300 Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46 Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46 Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
http:///mymemo.xyz/wiki/api.php?action=feedcontributions&user=111.188.2.243&feedformat=atom
miniwiki - 利用者の投稿記録 [ja]
2024-04-26T19:50:14Z
利用者の投稿記録
MediaWiki 1.31.0
外接円
2017-11-20T18:10:14Z
<p>111.188.2.243: rvv. B̅ (会話) による ID:66354490 の版を取り消し</p>
<hr />
<div>{{confuse|{{ill2|円の接触|label=（円に）外接する円|en|Tangent circles}}}}<br />
[[File:Circumscribed Polygon.svg|thumb|right|内接多角形 {{mvar|P}} の外接円 {{mvar|C}} および外心 {{mvar|O}}]]<br />
[[初等幾何学]]における[[多角形]]の'''外接円'''（がいせつえん、{{lang-en-short|''circumscribed circle'', ''circumcircle''}}）は、その多角形の全ての[[頂点 (数学)|頂点]]を通る[[円 (数学)|円]]を言う。外接円の[[中心 (幾何学)|中心]]を'''外心''' (''circumcenter'') と言い、その半径を'''外接半径''' (''circumradius'') と言う。<br />
<br />
外接円を持つ多角形は、円'''内接多角形''' (''cyclic polygon''; 輪状多角形) あるいは、そのすべての頂点が同一円周上にある（つまり、{{ill2|共円|en|concyclic}}である）ことにより'''共円多角形''' (''concyclic polygon'')などと呼ばれる。任意の[[正多角形|正]]{{ill2|単純多角形|en|simple polygon}}や任意の[[等脚台形]]、任意の[[三角形]]、任意の[[長方形]]は共円多角形の例となる。<br />
<br />
よく似た概念の一つに'''{{ill2|最小円問題|label=最小包含円|en|Smallest circle problem}}''' (''minimum bounding circle'') があり、これはその多角形を完全に含む最小の円を言う。（勝手な多角形のすべての頂点が同一円周上にある必要はないのだから）必ずしも任意の多角形に外接円が存在するとは限らないが、任意の多角形は最小包含円をただ一つ持つ（それを[[線形時間]]で構成するアルゴリズムがある{{sfn|Megiddo|1983}}）。多角形が外接円を持つ場合であっても、外接円と最小包含円が一致するとは限らない。例えば[[鈍角三角形]]の最小包含円は最長辺を直径とする円で、これは最長辺の対角の頂点を通らない。<br />
<br />
== 三角形の外接円 ==<br />
[[ファイル:circumcenter.png|right]]<br />
<br />
すべての三角形には外接円が存在する。三角形の外心は、3つの[[辺]]の[[垂直二等分線]]が交わる点である。<br />
<br />
航海において、三角形の外接円は[[方位磁針]]が使用できない状況で[[六分儀]]を利用して位置を割り出すのに使用されることがある。<br />
<br />
[[鋭角三角形]]の外心は三角形の内部にあり、[[鈍角三角形]]の外心は三角形の外部にある。[[直角三角形]]の外心は[[斜辺]]の[[中点]]である。<br />
<br />
[[ファイル:Cercle circonscrit à un triangle.svg|600px]]<br />
<br />
外接円の[[直径]]は、辺の長さとその辺に対する頂点の角度から求めることができる。これを[[正弦定理]]という。<br />
<br />
三角形の外心はその三角形の[[重心]]・[[垂心]]と同じ直線上にある。この直線を[[オイラー線]]という。三角形の[[九点円]]の半径は、外接円の半径の半分である。<br />
<br />
=== 外接円の式 ===<br />
<br />
[[直交座標系]]における外接円の式は[[行列式]]を用いて以下のように表すことができる。<br />
{{Indent|<math>\det\begin{vmatrix}<br />
v^2 & v_x & v_y & 1 \\<br />
A^2 & A_x & A_y & 1 \\<br />
B^2 & B_x & B_y & 1 \\<br />
C^2 & C_x & C_y & 1<br />
\end{vmatrix}=0</math>}}<br />
ここで、''A'', ''B'', ''C'' は各頂点を表す。この式を満たす '''v''' の集合が外接円となる（'''A'''<sup>2</sup> = ''A''<sub>''x''</sub><sup>2</sup> + ''A''<sub>''y''</sub><sup>2</sup> とする）。<br />
<br />
=== 外心の位置 ===<br />
<br />
外心を[[三線座標]]で表すと、<math>\left(\cos(\alpha), \cos(\beta), \cos(\gamma)\right)</math>となる<ref name=WW>Whitworth, William Allen. ''Trilinear Coordinates and Other Methods of Modern Analytical Geometry of Two Dimensions'', Forgotten Books, 2012 (orig. Deighton, Bell, and Co., 1866). http://www.forgottenbooks.com/search?q=Trilinear+coordinates&t=books</ref>{{rp|19}}。ここで、α,β,γ は3つの角の大きさとする。[[重心座標]]で表すと、<math>\left(\sin(2\alpha), \sin(2\beta), \sin(2\gamma)\right)</math> 又は <math>\left(a^2(-a^2+b^2+c^2),\;b^2(a^2-b^2+c^2),\;c^2(a^2+b^2-c^2)\right)</math>となる<ref>{{MathWorld|urlname=BarycentricCoordinates|title=barycentric coordinates}}</ref>。<math>a,b,c</math> は3つの辺の長さである。<br />
<br />
各辺の長さの2乗 <math>A = a^2, B = b^2, C = c^2</math>, 三角形の面積 <math>S</math>, 各頂点を表す位置ベクトル <math>r_A, r_B, r_C</math> を用いると、外心の位置ベクトル <math>r_{cc}</math> は次式で表される。<br />
: <math>r_{cc} = \frac{A(B+C-A)r_A +B(C+A-B)r_B +C(A+B-C)r_C}{16S^2}</math><br />
ここでは、次の関係が利用できる。 <br />
: <math>16S^2 = 2(AB+BC+CA)-(A^2+B^2+C^2)= A(B+C-A) +B(C+A-B) +C(A+B-C)</math><br />
<br />
=== 外接円の半径 ===<br />
外接円の半径は以下のような式で表される。<br />
* <math>R = \frac{abc}{\sqrt{(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}}</math><br />
* <math>R = \frac{abc}{4rs}</math><ref name=Johnson>Johnson, Roger A., ''Advanced Euclidean Geometry'', Dover, 2007 (orig. 1929).</ref>{{rp|at=p.189,#298(d)}}<br />
* <math>R = \frac{r}{\cos A + \cos B + \cos C - 1}</math><br />
ここで、a,b,c は3辺の長さ、A,B,C は3つの角の大きさ、r は[[内接円]]の半径、s は周長の半分を意味する。<br />
<br />
== 円に内接する四角形 ==<br />
[[ファイル:Sehnenviereck-3.png|thumb|円に内接する四角形]]<br />
{{main|{{ill2|円に内接する四角形|en|Cyclic quadrilateral}}}}<br />
[[File:Cyclic quadrilateral.svg|thumb|right|300px|外接円を持つ四辺形]]<br />
四角形が特定の条件&mdash;例えば対角が[[補角]]（互いに加えて{{math|180°}}あるいは{{pi}}ラジアン）となること&mdash;を満たすとき、円を外接させることができる。<br />
<br />
これを満たす代表的な四角形として、[[長方形]]・[[等脚台形]]があげられる。<br />
<br />
外接円の半径は<br />
{{Indent|<math>R = \frac{1}{4} \sqrt{\frac{(ac+bd)(ad+bc)(ab+cd)}{(s-a)(s-b)(s-c)(s-d)}}</math>}}<br />
で表すことができる（[[ブラーマグプタの公式]]）。s は周長の半分である。<br />
<br />
4つの辺の長さを a,b,c,d、対角線の長さを p,q とすると、ac+bd=pq が成り立つ（[[トレミーの定理]]）。<br />
<br />
外接円と[[内接円]]の両方が存在する四角形を[[双心四角形]]という。<br />
<br />
== 共円多角形 ==<br />
共円奇数角形の全ての角の角度が等しくなるための必要十分条件は、それが正多角形となることである。共円偶数角形の全ての角の角度が等しくなるための必要十分条件は、辺の長さが交互に等しい（つまり、各辺に対しそれに隣接する二つの辺同士の長さが互いに等しい{{efn|どこかの辺を1番目として時計回りに順に番号を振るならば、1, 3, 5, … 番目が互いに等しい一組で、2, 4, 6, … 番目が互いに等しいもう一組}}）ことである<ref>De Villiers, Michael. "Equiangular cyclic and equilateral circumscribed polygons," ''[[Mathematical Gazette]]'' 95, March 2011, 102-107.</ref>。<br />
<br />
辺の長さと面積がすべて[[有理数]]となるような共円[[五角形]]は{{ill2|ロビンスの五角形|en|Robbins pentagon}}と呼ばれ、知られているすべての場合で対角線もすべて長さが有理数である<ref><br />
{{citation<br />
| last1 = Buchholz | first1 = Ralph H.<br />
| last2 = MacDougall | first2 = James A.<br />
| doi = 10.1016/j.jnt.2007.05.005<br />
| issue = 1<br />
| journal = [[Journal of Number Theory]]<br />
| mr = 2382768<br />
| pages = 17–48<br />
| title = Cyclic polygons with rational sides and area<br />
| url = http://docserver.carma.newcastle.edu.au/785/<br />
| volume = 128<br />
| year = 2008<br />
}}.</ref>。<br />
<br />
偶数 {{mvar|n}} に対する任意の共円 {{mvar|n}}-角形について、その角を交互に二つの組に分けるとき、それぞれの組に属する角の和をとればそれらは互いに等しい（「奇数番目の角の和」＝「偶数番目の角の和」）。このことは {{math|1=''n'' = 4}} の場合から数学的帰納法で証明することができる。帰納のステップでは、一つの辺に新たな三つの辺に取り換えて、もとの辺と加えた三辺が同じ条件を満たす四辺形を成すようにできることに注意する（そのとき、得られた四辺形の交互の角は、もともとの {{mvar|n}}-角形の交互の角の和にそれぞれ加えられるが、それら和が互いに等しいことは変わらない）。<br />
<br />
一つの {{mvar|n}}-角形 {{mvar|X}} が円 {{mvar|C}} に内接し、別の {{mvar|n}} 角形 {{mvar|Y}} が先の {{mvar|n}}-角形 {{mvar|X}} の各頂点で[[接する]]ように円 {{mvar|C}} に{{ill2|円外接多角形|label=外接|en|tangential polygon}}しているものとする。このとき円 {{mvar|C}} 上の任意の点 {{mvar|P}} から多角形 {{mvar|X}} の各辺に引いた垂線の長さの総乗は {{mvar|P}} から多角形 {{mvar|Y}} の各辺に引いた垂線の長さの総乗に等しい<ref name=Johnson/>{{rp|p. 72}}。<br />
<br />
== 関連項目 ==<br />
*[[内接円]]<br />
*特に四角形に関連する物<br />
**[[トレミーの定理]]<br />
**[[ブラーマグプタの公式]]<br />
**[[ブラーマグプタの定理]]<br />
* {{ill2|ユングの定理|en|Jung's theorem}}: 点集合の[[径]]と最小包含円の半径の関係を表す不等式<br />
* {{ill2|レスターの定理|en|Lester's theorem}}<br />
* [[外接球面]]<br />
* [[Circumgon]](円外接多角形状領域)<br />
* [[三角形の中心]]<br />
* {{ill2|丸山良寛の定理|en|Japanese theorem for cyclic quadrilaterals}}<br />
* {{ill2|幾何学ニ於ケル支那ノ一定理|en|Japanese theorem for cyclic polygons}}<br />
* {{ill2|コスニタの定理|en|Kosnita theorem}}<br />
<br />
== 注 ==<br />
=== 注釈 ===<br />
{{notelist}}<br />
=== 出典 ===<br />
{{reflist}}<br />
<br />
== 参考文献 ==<br />
* {{cite journal<br />
|first=N. |last=Megiddo<br />
|title=Linear-time algorithms for linear programming in '''R'''<sup>3</sup> and related problems<br />
|journal=SIAM Journal on Computing<br />
|volume=12<br />
|issue=4<br />
|pages=759–776<br />
|year=1983<br />
|doi=10.1137/0212052}}<br />
<br />
== 外部リンク ==<br />
* {{MathWorld | title=Circumcircle | urlname=Circumcircle}}<br />
* {{MathWorld | title=Circumcenter | urlname=Circumcenter}}<br />
* {{MathWorld | title=Cyclic Polygon | urlname=CyclicPolygon}}<br />
* {{PlanetMath | title=circumcircle | urlname=Circumcircle}}<br />
* {{PlanetMath | title=cyclic quadrilateral | urlname=CyclicQuadrilateral}}<br />
* {{ProofWiki | title=Definition:Circumcircle | urlname=Definition:Circumcircle}}<br />
* {{ProofWiki | title=Definition:Cyclic Quadrilateral | urlname=Definition:Cyclic_Quadrilateral}}<br />
<br />
{{DEFAULTSORT:かいしん}}<br />
[[Category:円 (数学)]]<br />
[[Category:多角形]]<br />
[[Category:初等幾何学]]<br />
[[Category:数学に関する記事]]<br />
<br />
[[ast:Circuncentru]]<br />
[[gl:Circuncentro]]<br />
[[pt:Circuncentro]]</div>
111.188.2.243
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46