垂直記号のソースを表示

{{記号文字|⊥}}
'''垂直記号'''（すいちょくきごう）は「⊥」の形をした幾何学で用いられる記号である。

== 概要 ==
垂直記号は、下線の中央上に接する縦線を引く図形を書く。垂直記号の前後が[[垂直]]であることを示す。
似た記号に[[直角記号]]「∟」があるが、これは角が直角であることを示すために3頂点の前に使用される図形のため、垂直記号とは異なる。

=== 使用例 ===
 AB ⊥ CD （線分ABと線分CDが垂直の位置にあることを示す。）

 ⊿ABC ⊥ ▱DEFG （直角三角形ABCと平行四辺形DEFGが垂直の位置にあることを示す）

== その他の用法 ==
* 2つの整数が[[互いに素 (整数論)|互いに素]]であることを示す記号として使われることがある。
 14 ⊥ 15
* 2つの事象が[[独立 (確率論)|独立]]であることを示す記号として使われることがある。

== 符号位置 ==
{{LaTeX|.}} では <code>\perp</code> を用いる{{refnest|これは[[二項関係]]を表す記号である<ref>{{citation
|url=https://tug.ctan.org/info/symbols/comprehensive/symbols-a4.pdf
|title=The Comprehensive {{LaTeX}} Symbol List
|author=Scott Pakin
|date=2021-05-05
|pages=51, 97
}}</ref>。[[矛盾]]（{{lang|la|falsum}}）を表す文字様記号 <math>\bot</math> には <code>\bot</code> を用いる。}}。

{| class="wikitable" style="text-align:center;"
!記号!![[Unicode]]!![[JIS X 0213]]!![[文字参照]]!!名称
{{CharCode|8869|22A5|1-2-61|UP TACK}}
{{CharCode|10178|27C2||垂直<br />PERPENDICULAR}}
|}

== 注釈 ==
{{reflist|2}}

== 関連項目 ==
*[[ダウンタック記号]]
*[[平行記号]]
* [[垂直]]
* [[直角記号]]

{{DEFAULTSORT:すいちよくきこう}}
[[Category:約物]]
[[Category:数学記号]]
[[Category:論理記号]]
[[Category:幾何学]]
[[Category:初等幾何学]]
[[Category:数学に関する記事]]