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&feedformat=atom&user=175.255.173.185 miniwiki - 利用者の投稿記録 [ja] 2024-06-17T05:17:47Z 利用者の投稿記録 MediaWiki 1.31.0 中線定理 2017-07-01T02:01:18Z <p>175.255.173.185: 英文文書参照</p> <hr /> <div>&#039;&#039;&#039;中線定理&#039;&#039;&#039;(ちゅうせんていり、{{lang-en-short|parallelogram law}})とは、幾何学において、三角形の[[中線]]の長さと辺の長さの関係を表す[[定理]]である。[[パップス]]の定理と知られているが、実は[[ペルガのアポロニウス|アポロニウス]]が発見した定理である。<br /> <br /> ==概要==<br /> ===初等幾何学における中線定理===<br /> [[三角形]]OABにおいて以下の関係が成り立つ。<br /> :&lt;math&gt;OA^2+OB^2=2\left(OM^2+AM^2\right)&lt;/math&gt;<br /> :ただし、点Mは辺ABの[[中点]]である。<br /> <br /> この性質を&#039;&#039;&#039;中線定理&#039;&#039;&#039;という。これは[[スチュワートの定理]]の特別な場合である。[[二等辺三角形]]に対しては[[ピタゴラスの定理]]と同等になる。 <br /> <br /> [[平行四辺形]]の対角線が互いの中点を通るという事実から、平行四辺形ABCD に対し<br /> :&lt;math&gt;AC^2+BD^2=2\left(AB^2+BC^2\right)&lt;/math&gt;<br /> と書く事もできるので&#039;&#039;&#039;平行四辺形の法則&#039;&#039;&#039;とも言われる。<br /> <br /> ===内積空間における中線定理===<br /> 中線定理は[[内積]]を有する[[ベクトル空間]](内積空間、計量ベクトル空間)の一般的性質としてとらえることができる。内積空間&#039;&#039;V&#039;&#039; に対し、内積&amp;lt;&amp;middot;, &amp;middot;&amp;gt;によって定義された[[ノルム]]<br /> :&lt;math&gt;<br /> \left \| \boldsymbol{x} \right \| := \sqrt{ \left \langle \boldsymbol{x}, \boldsymbol{x} \right \rangle }<br /> &lt;/math&gt;<br /> を与えると、任意の元&#039;&#039;&#039;&#039;&#039;x&#039;&#039;&#039;&#039;&#039;, &#039;&#039;&#039;&#039;&#039;y&#039;&#039;&#039;&#039;&#039; &amp;isin; &#039;&#039;V&#039;&#039; について、次の中線定理が成り立つ。<br /> :&lt;math&gt;<br /> \left \| \boldsymbol{x}+\boldsymbol{y} \right \| ^2 + \left \| \boldsymbol{x}-\boldsymbol{y} \right \| ^2<br /> = 2( \left \| \boldsymbol{x} \right \| ^2 + \left \| \boldsymbol{y} \right \| ^2 )<br /> &lt;/math&gt;<br /> <br /> 中線定理の成立は、計量ベクトル空間におけるノルムがある内積から導かれるための必要条件であるを示しているが、逆に十分条件でもあることが、[[ジョン・フォン・ノイマン|フォン・ノイマン]]及び[[パスクアル・ヨルダン]]によって示されている&lt;ref name =&quot;jordan_nuemann1935&quot;&gt;P. Jordan and J. von Neumann, &quot;On Inner Product in Linear Metric Spaces,&quot; &#039;&#039;Ann. of Math.&#039;&#039; &#039;&#039;&#039;36&#039;&#039;&#039; pp. 719-723 (1935) {{doi|10.2307/1968653}}&lt;/ref&gt;。すなわち、必ずしも内積を有していない[[ノルム空間]]において、ノルムが中線定理を満たすならば、そのノルムを与えるような内積が存在する。<br /> <br /> 実際、中線定理が成立している場合に、実数体&#039;&#039;&#039;R&#039;&#039;&#039;上のノルム空間の元&#039;&#039;&#039;&#039;&#039;x&#039;&#039;&#039;&#039;&#039;, &#039;&#039;&#039;&#039;&#039;y&#039;&#039;&#039;&#039;&#039;に対して、<br /> :&lt;math&gt;<br /> \langle \boldsymbol{x},\boldsymbol{y} \rangle :=\frac{1}{4} \{\left \| \boldsymbol{x}+\boldsymbol{y} \right \| ^2 - \left \| \boldsymbol{x}-\boldsymbol{y} \right \| ^2 \}<br /> &lt;/math&gt;<br /> もしくは複素数体&#039;&#039;&#039;C&#039;&#039;&#039;上のノルム空間の元&#039;&#039;&#039;&#039;&#039;x&#039;&#039;&#039;&#039;&#039;, &#039;&#039;&#039;&#039;&#039;y&#039;&#039;&#039;&#039;&#039;に対して、<br /> :&lt;math&gt;<br /> \langle \boldsymbol{x},\boldsymbol{y} \rangle :=\frac{1}{4} <br /> \{<br /> (\left \| \boldsymbol{x}+\boldsymbol{y} \right \| ^2 - \left \| \boldsymbol{x}-\boldsymbol{y} \right \| ^2)<br /> +i(\left \| \boldsymbol{x}+i\boldsymbol{y} \right \| ^2 - \left \| \boldsymbol{x}-i\boldsymbol{y} \right \| ^2)<br /> \}<br /> &lt;/math&gt;<br /> で内積を導入することができる。<br /> <br /> == 証明 ==<br /> 定理をスチュワートの定理の特別な場合と考えて証明するか、または計量ベクトル空間におけるベクトルを使用することで証明することができる。<br /> <br /> === ベクトルによる証明 ===<br /> &lt;math&gt;\overrightarrow{OA},\ \overrightarrow{OB}&lt;/math&gt; をそれぞれ &lt;math&gt;\boldsymbol{a},\ \boldsymbol{b}&lt;/math&gt; と置くと、辺ABの中点がMなので、<br /> &lt;math&gt;\overrightarrow{OM},\ \overrightarrow{AM}&lt;/math&gt; はそれぞれ &lt;math&gt;\frac{1}{2} \left(\boldsymbol{a}+\boldsymbol{b}\right),\ \frac{1}{2} \left(\boldsymbol{b}-\boldsymbol{a}\right)&lt;/math&gt; となる。<br /> <br /> したがって、<br /> :&lt;math&gt;OM^2 = \frac{1}{4} \left \| \boldsymbol{a} + \boldsymbol{b}\right \| ^2 = \frac{1}{4} \left( \left \| \boldsymbol{a} \right \| ^2 + 2 \left \langle \boldsymbol{a}, \boldsymbol{b} \right \rangle + \left \| \boldsymbol{b}\right \| ^2\right),&lt;/math&gt;<br /> :&lt;math&gt;AM^2 = \frac{1}{4} \left \| \boldsymbol{b} - \boldsymbol{a}\right \| ^2 = \frac{1}{4} \left( \left \| \boldsymbol{a} \right \| ^2 - 2 \left \langle \boldsymbol{a}, \boldsymbol{b} \right \rangle + \left \| \boldsymbol{b}\right \| ^2\right).&lt;/math&gt;<br /> <br /> これより、辺々を加えて2倍すると、<br /> :&lt;math&gt;2\left(OM^2+AM^2\right)=\left \| \boldsymbol{a}\right \| ^2 + \left \| \boldsymbol{b}\right \| ^2= OA^2+OB^2.&lt;/math&gt; [[Q.E.D.]]<br /> <br /> === 解析幾何学による証明 ===<br /> 三角形OABにおいて、辺ABの中点Mを原点に取り、辺ABをX軸上に取ると、<br /> :&lt;math&gt;M (0, 0),\ A (-a, 0),\ B (a, 0)&lt;/math&gt;<br /> と置くことができる。<br /> <br /> ここで、頂点Oの座標を (&#039;&#039;b&#039;&#039;, &#039;&#039;c&#039;&#039;) とすると、<br /> :&lt;math&gt;OA^2 = (b + a)^2 + c^2,\ OB^2 = (b - a)^2 + c^2.&lt;/math&gt;<br /> <br /> したがって、辺々を加えると、<br /> :&lt;math&gt;OA^2 + OB^2 = 2(a^2 + b^2 + c^2).&lt;/math&gt;<br /> <br /> いっぽう、<br /> :&lt;math&gt;OM^2 = b^2 + c^2,\ AM^2 = a^2.&lt;/math&gt;<br /> <br /> したがって、<br /> :&lt;math&gt;OA^2 + OB^2 = 2(a^2 + b^2 + c^2) = 2\left(OM^2+AM^2\right).&lt;/math&gt; [[Q.E.D.]]<br /> <br /> === 初等幾何学による証明 ===<br /> 三角形OABにおいて、辺ABの中点をMとし、∠OMA = θ とすると、<br /> ∠OMB = π - θ.<br /> <br /> 三角形OMAにおいて、[[余弦定理]]を適用すると、<br /> :&lt;math&gt;OA^2 = OM^2 + AM^2 - 2OM \cdot AM \cos\theta.&lt;/math&gt;<br /> <br /> 三角形OMBにおいて、余弦定理を適用すると、<br /> :&lt;math&gt;OB^2 = OM^2 + BM^2 - 2OM \cdot BM \cos(\pi-\theta).&lt;/math&gt;<br /> <br /> ここで、点Mは辺ABの中点だから、AM = BM が成り立つ。<br /> <br /> いっぽう、&lt;math&gt;\cos(\pi-\theta) = - \cos\theta&lt;/math&gt; が成り立つので、<br /> :&lt;math&gt;OA^2 + OB^2 = 2\left(OM^2+AM^2\right).&lt;/math&gt; [[Q.E.D.]]<br /> <br /> == 脚注 ==<br /> {{reflist}}<br /> <br /> == 関連項目 ==&lt;!--項目の50音順--&gt;<br /> *[[計量ベクトル空間]] - [[内積]]<br /> *[[スチュワートの定理]]<br /> *[[パップス]](エジプトの数学者)<br /> <br /> == 外部リンク ==<br /> *{{Kotobank|パップスの定理|2=ブリタニカ国際大百科事典 小項目事典}}<br /> *{{高校数学の美しい物語|title=中線定理の3通りの証明|urlname=tyusen}}<br /> *{{MathWorld|title=Parallelogram Law|urlname=ParallelogramLaw}}<br /> {{sci-stub}}<br /> <br /> {{DEFAULTSORT:ちゆうせんていり}}&lt;!--カテゴリの50音順--&gt;<br /> [[Category:ユークリッド幾何学の定理]]<br /> [[Category:三角形]]<br /> [[Category:四角形]]<br /> [[Category:初等幾何学]]<br /> [[Category:数学に関する記事]]</div> 175.255.173.185
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