「垂直」の版間の差分
m編集の要約なし |
Luke 20129 (会話 | 投稿記録) 脚注の変更 |
||
3行目: | 3行目: | ||
<!--{{General geometry |concepts}}--> |
<!--{{General geometry |concepts}}--> |
||
[[初等幾何学]]において、'''垂直'''(すいちょく、{{lang-en-short|''perpendicular''}} |
[[初等幾何学]]において、'''垂直'''(すいちょく、{{lang-en-short|''perpendicular''}}<ref group="注" name="perp">形容詞として用いれば「垂直な」という意味だが、名詞として用いれば「垂線」の意味になる</ref>)であること、すなわち'''垂直性''' ({{en|''perpendicularity''}}) は[[直角]]に交わる二つの[[直線]]の間の[[二項関係|関係性]]を言う。この性質は関連するほかの[[数学的対象|幾何学的対象]]に対しても拡張される。 |
||
'''垂線''' ({{en|perpendicular}} |
'''垂線''' ({{en|perpendicular}}<ref group="注" name="perp" />) に関連して垂線の「足」({{en|"foot"}}) という術語がしばしば用いられる。考える図形の向きは如何様にも変えることができるから、足と謂えどもそれが必ずしも図形の下方にあるわけではない。 |
||
垂直性はより一般の数学概念である[[直交]]性の特別の場合と考えられる。すなわち、垂直性とは古典的な幾何学的対象に関する直交性を言うものである。ゆえに、より進んだ数学において、より複雑な幾何学的直交性(例えば[[曲面]]とその[[法線]]の関係など)に対して「垂直」あるいは「垂線」のような語を用いることもある<ref>例えば {{PlanetMath | urlname= normalofplane | title= normal of plane}}</ref>。 |
垂直性はより一般の数学概念である[[直交]]性の特別の場合と考えられる。すなわち、垂直性とは古典的な幾何学的対象に関する直交性を言うものである。ゆえに、より進んだ数学において、より複雑な幾何学的直交性(例えば[[曲面]]とその[[法線]]の関係など)に対して「垂直」あるいは「垂線」のような語を用いることもある<ref>例えば {{PlanetMath | urlname= normalofplane | title= normal of plane}}</ref>。 |
||
32行目: | 32行目: | ||
点 {{math|P}} を通る直線 {{mvar|g}} に対する垂線を得るために(円周角に関する)[[タレスの定理]]を利用することができる。 |
点 {{math|P}} を通る直線 {{mvar|g}} に対する垂線を得るために(円周角に関する)[[タレスの定理]]を利用することができる。 |
||
{{-}} |
{{-}} |
||
直角の作図法の基礎として[[ |
直角の作図法の基礎として[[ピタゴラスの定理]]を用いることができる。例えば、長さの比が {{math|3 : 4 : 5}} となるような棒を節で繋いだ鎖を使って三角形を作れば、一番長い辺の対角が直角になる。 |
||
== 関連項目 == |
== 関連項目 == |
||
* {{仮リンク|接成分と法成分|en|Tangential and normal components}} |
* {{仮リンク|接成分と法成分|en|Tangential and normal components}} |
||
== 注 == |
== 脚注 == |
||
{{ |
{{脚注ヘルプ}} |
||
=== 注釈 === |
|||
{{reflist}} |
|||
{{Reflist|group="注"}} |
|||
=== 出典 === |
|||
{{Reflist}} |
|||
== 参考文献 == |
== 参考文献 == |
||
47行目: | 50行目: | ||
== 外部リンク == |
== 外部リンク == |
||
* {{MathWorld | urlname= Perpendicular | title= Perpendicular}} |
* {{MathWorld | urlname= Perpendicular | title= Perpendicular}} |
||
* {{ |
* {{Planetmath reference| id= 9899 | title= perpendicularity in Euclidean plane}} |
||
{{DEFAULTSORT:すいちよく}} |
{{DEFAULTSORT:すいちよく}} |
2017年2月18日 (土) 13:34時点における版
初等幾何学において、垂直(すいちょく、英: perpendicular[注 1])であること、すなわち垂直性 (perpendicularity) は直角に交わる二つの直線の間の関係性を言う。この性質は関連するほかの幾何学的対象に対しても拡張される。
垂線 (perpendicular[注 1]) に関連して垂線の「足」("foot") という術語がしばしば用いられる。考える図形の向きは如何様にも変えることができるから、足と謂えどもそれが必ずしも図形の下方にあるわけではない。
垂直性はより一般の数学概念である直交性の特別の場合と考えられる。すなわち、垂直性とは古典的な幾何学的対象に関する直交性を言うものである。ゆえに、より進んだ数学において、より複雑な幾何学的直交性(例えば曲面とその法線の関係など)に対して「垂直」あるいは「垂線」のような語を用いることもある[2]。
定義
「二つの直線が互いに垂直」であるとは、それら二つの直線が交わり、直角を成すときにいう[3]。より明示的に、「ある直線に対して別の直線が垂直である」とは
ときに言う。このとき、前者の直線が後者に対して垂直ならば後者の直線も前者に対して垂直となるという意味において、垂直性は対称的であり、そういった理由から(どれが何に対してというような限定を抜きにして)これら二直線は(互いに)垂直であるという風にも言うことができる。
- 垂直性を線分や半直線に対して定めるのは容易である。たとえば、線分 AB が線分 CD に垂直であるとは、両線分をそれぞれ両方向に無限に延長して直線にするとき、直線 AB が直線 CD に対して(上で述べた意味で)垂直であることを言う。これを記号 AB ⊥ CD であらわす[4]。
- 与えられた直線が平面に対して垂直であるとは、その平面上にありかつそれらの交点を通る任意の直線に対して与えられた直線が垂直となるときに言う。これもまた直線の間の垂直性の定義に依存するものである。
- 二つの平面が垂直であるとは、それらの成す二面角が直角となるときに言う。
垂線の作図
点 P を通り直線 AB に垂直な直線の定木とコンパスを用いた作図は以下のようにする[5]:
- Step 1 (赤): 点 P を中心とする円を作図して、直線 AB 上に P から等距離にある二点 A', B' を取る。
- Step 2 (緑): A', B' の各点を中心とする同半径の円を作図して、その二円の交点 Q, R を取る。
- Step 3 (青): 二点 Q, R を結べばそれが所期の垂線 PQ である。
この PQ が AB に垂直であることを見るには、△QPA' と △QPB' に対して三辺相等 (SSS) の条件が成り立つことにより、∠OPA' と ∠OPB' が等しいことを知ればよい。そうすれば △OPA' と △OPB' に対して二辺夾角相等 (SAS) の条件が成り立つから、∠POA と ∠POB が等しい。
点 P を通る直線 g に対する垂線を得るために(円周角に関する)タレスの定理を利用することができる。
直角の作図法の基礎としてピタゴラスの定理を用いることができる。例えば、長さの比が 3 : 4 : 5 となるような棒を節で繋いだ鎖を使って三角形を作れば、一番長い辺の対角が直角になる。
関連項目
脚注
注釈
出典
- ^ Kay (1969, p. 114)
- ^ 例えば normal of plane - PlanetMath.(英語)
- ^ Kay (1969, p. 91)
- ^ Kay (1969, p. 91)
- ^ compass and straightedge construction of perpendicular - PlanetMath.(英語)
参考文献
- Altshiller-Court, Nathan (1925), College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle (2nd ed.), New York: Barnes & Noble, LCCN 52--13504
- Kay, David C. (1969), College Geometry, New York: Holt, Rinehart and Winston, LCCN 69--12075
外部リンク
- Weisstein, Eric W. "Perpendicular". mathworld.wolfram.com (英語).
- perpendicularity in Euclidean plane - PlanetMath.org(英語)