直角三角形のソースを表示

{{Infobox polygon
|name = 直角三角形
|image = Rtriangle.svg
|caption = 点 {{math2|A, B, C}} からなる直角三角形 {{math|⊿ABC}}。<br>隣辺 {{math2|1=BC = ''a''}} と {{math2|1=CA = ''b''}} が直角をなす。<br>直角の対辺 {{math2|1=AB = ''c''}} は斜辺と呼ばれる。
|area = <math>S = \frac{1}{2}ab</math>
|perimeter = {{math|1=C = 2πR}}
|type = [[三角形]]
}}
{{読み仮名|'''直角三角形'''|ちょっかくさんかくけい|{{lang-en-short|right triangle}}}}とは、2つの[[辺]]が[[直角]]をなす[[三角形]]である。記号[[三角 (記号)#直角三角|⊿]] を使って表すことがある。

直角三角形においては、直角である内角は、他の2つの内角よりも大きくなる。直角三角形の直角以外の2つの角を、直角三角形の鋭角と呼ぶ。直角三角形の2つの鋭角の和は、直角に等しい。

直角三角形の直角の対辺を[[斜辺]]と言い、残りの2辺を、直角をはさむ2辺または単に[[隣辺]]と言う。

直角三角形の3辺の間には、長さについて[[ピタゴラスの定理|三平方の定理]]の関係がある。

直角の頂点を直角頂と呼ぶ。直角頂は[[三角形#垂心|垂心]]に等しい。

== 直角三角形の角 ==
直角三角形の定義は 1つの内角が直角（90°）であることであるが、内角の和は 180°であるから、直角である内角はその1つだけである。直角でない2つの内角はどちらも鋭角（90°未満の角）であり、それらの和は直角に等しい。

== 直角三角形の斜辺 ==
直角三角形の斜辺の[[中点]]は、3頂点まで等しい[[距離]]にある（[[三角形#外心|外心]]）。このことと[[三角不等式]]から、直角三角形の斜辺は、3辺のうち最も長いことが導かれる。

直角三角形の斜辺の長さは、[[外接円]]の直径に等しく、また、直角をはさむ2辺の長さの和から、[[内接円]]の直径を引いた差に等しい。

[[図形の合同|合同]]な2つの直角三角形から、斜辺だけ重ねると、[[長方形]]ができる。直角三角形は[[面積]] {{mvar|ab}} の長方形を1本の[[対角線]]で区切って2等分した図形なので、面積は {{math2|{{sfrac|1|2}}''ab''}} である。

また、合同な2つの直角三角形を、隣辺の1つずつだけ重ねると[[二等辺三角形]]ができる。2つの合同な三角形を1辺ずつだけ重ねて別の三角形ができるのはこの場合に限られる。

== 直角三角形の面積 ==
直角三角形の面積は、直角をはさむ2辺の長さの積の {{math|{{sfrac|1|2}}}} に等しい。

== {{vanc|三平方の定理|ピタゴラスの定理|勾股定理}} ==
{{main|ピタゴラスの定理}}
直角三角形の斜辺を一辺とする[[正方形]]の[[面積]]と、直角をはさむ2辺をそれぞれ一辺とする正方形 2個の面積の和は等しい。すなわち、斜辺の長さを {{mvar|c}}、直角をはさむ2辺の長さをそれぞれ {{math2|''a'', ''b''}} とすると、それらの[[自乗|2乗]]について以下の[[等式]]が成り立つ：
:<math>a^2+b^2=c^2 \,.</math>
この[[定理]]は[[ピタゴラスの定理|三平方の定理]]として知られている。

三平方の定理は[[逆]]も成り立つ。すなわち、上記の等式を満たす三角形は直角三角形に限られる。

==合同条件==
直角三角形にも合同条件がある。
[[ファイル:直角三角形ABC.png|サムネイル|合同条件の図解]][[ファイル:直角三角形DEF.png|サムネイル|合同条件の図解]]
*斜辺と一つの鋭角がそれぞれ等しい。(右図で、AC=DF,θ=δのとき)
*斜辺の他の1辺がそれぞれ等しい。(右図で、AC=DF,AB=DEのとき)<ref>{{Cite web |url=https://www.pref.osaka.lg.jp/attach/6629/00360654/JMW-2B5-4.pdf |title=【図形の性質と証明】④直角三角形の合同 A |access-date=2024-02-07 |publisher=大阪府}}</ref>

== 三角関数 ==
[[三角関数]]を幾何学的に定義するには、直角三角形を利用する。鋭角 {{mvar|A}} に対する斜辺 {{mvar|c}}、隣辺 {{mvar|a}}、対辺 {{mvar|b}} により
:<math>\sin A = \frac{a}{c}</math>
:<math>\cos A = \frac{b}{c}</math>
:<math>\tan A = \frac{a}{b}</math>
で定義する。
{{For2|三角関数の諸公式|三角関数の公式の一覧}}

== 三角定規 ==
[[三角定規]]は直角三角形であり、2つの鋭角が 30°, 60°の半正三角形（[[正三角形]]を半分にしたもの）と底角がともに 45°である[[直角二等辺三角形]]の2枚が1組となっているのが一般的である。半正三角形の長い方の隣辺と、直角二等辺三角形の斜辺の長さは同じ場合が多い。これらを使って[[平行]]線や[[垂直|垂線]]を容易に[[作図]]できる。

== 三辺の長さが整数になる直角三角形 ==
{{main|ピタゴラス数}}
直角三角形の3辺の長さになる3整数の組を'''ピタゴラス数'''という。ピタゴラス数は {{math2|1=(''ka'', ''kb'', ''kc'')  (''a''{{sup|2}} + ''b''{{sup|2}} = ''c''{{sup|2}}}}, {{math2|(''a'', ''b'', ''c'')}} はどの2つも[[互いに素 (整数論)|互いに素]]、{{mvar|k}} は自然数) の形になり、下の式で表される：
: <math> a = k\cdot(m^2 - n^2)  ,\ \, b = k\cdot (2mn) ,\ \, c = k\cdot(m^2 + n^2)</math>
:（{{math2|''a'', ''b''}} は順不同） 
ここで {{math2|''m'', ''n''}} は自然数で
* {{math|''m'', ''n''}} は互いに素
* {{math|''m'' > ''n''}}
* {{mvar|m}} と {{mvar|n}} の奇偶は異なる（一方が[[奇数]]で他方が[[偶数]]）
を満たす。

自然数 {{math2|''m'', ''n''}} が上記の3条件を満たせば、重複なく全てのピタゴラス数を導出できる。上記の3条件を満たす自然数 {{math2|''m'', ''n''}} は無数にあるため、{{math2|(''a'', ''b'', ''c'')}} は（つまりピタゴラス数は本質的に）無数にある。
<gallery>
TomoyukiMogi(FormationOfPythagoreanTriple).gif|色付きの正方形群で三辺の長さが整数の直角三角形を表した例。正方形の合計数は図中右上のように1つの長方形内に余白なく収まるものとなっている。
TomoyukiMogiIntegralTriangle2.gif|三辺の長さが整数となる直角三角形を2つの整数（紫色の長方形の幅と高さ）を基に作成できることを示した図。桃色の三角形の三辺の長さがいずれも整数となっている。
TomoyukiMogiSimilarOfPythagoreanTriples.gif|互いに相似となる三辺の長さが整数の直角三角形の生成例。青の長方形の各辺の長さを整数とすれば、その長辺と短辺の和と差で辺が構成される緑の長方形の各辺の長さも整数となり、青と緑の長方形から同様の手順で生成される直角三角形（黄と赤）は互いに相似となる。
</gallery>

== 名称の変遷 ==
[[明治]]初期の日本では、直角三角形は「勾股弦の形<ref>久米邦武 編『米欧回覧実記・5』田中彰 校注、岩波書店（岩波文庫）1996年、247頁</ref>」と呼ばれていた。この名の起源は[[漢]]の『[[九章算術]]』「勾股」章にまで遡ることができる。なお、『九章算術』は現代の[[中国]]はもちろんのこと、日本の[[和算]]にも引き継がれている。また「勾股弦」の語は現在の日本の伝統建築の[[規矩術]]<ref>[https://tyouken.tendon.bz/sumigi/koukogen.htm 規矩術指金使いの基本、勾殳玄の図、解勾股弦] 大工さんが作ったホームページ</ref>でも用いられている。（斜辺を「玄」、隣辺を「勾」、「殳」と表す。）

== 脚注 ==
{{Reflist}}

== 外部リンク ==
* {{高校数学の美しい物語|2048|直角三角形の定義とさまざまな公式}}

{{Commonscat|Right triangles}}
{{ウィキポータルリンク|数学}}
{{多角形}}

{{DEFAULTSORT:ちよつかくさんかくけい}}
[[Category:三角形]]
[[Category:数学に関する記事]]