直角三角形合同計算機

直角三角形には、一般的なSSS／SAS／ASA／AASの枠組みを簡略化する4つの特殊な合同条件——HL、HA、LA、およびLL——があります。その理由は単純です：すべての直角三角形は、すでに1つの角（90°）が既知の状態から始まります。1つの要素が事前に与えられているため、一般的な三角形と比較して、三角形全体を決定するために必要な測定値の数が少なくて済みます。このチュートリアルでは、これら4つの定理それぞれについて、それぞれの使用場面、そしてなぜHLだけが一般的な三角形の公理の特殊ケースとして導出できないのかを説明します。

なぜ直角三角形独自の規則を持つのか

一般的な三角形において、合同であることを証明するには、3つの独立した情報（3辺；または2辺とその間の角；または2角とその間の辺、あるいは間の辺ではない辺）が必要です。SSA（2辺と、そのうちの1辺に対する対角）というパターンは、曖昧な場合（0個、1個、または2個の有効な三角形が存在しうる）を生じさせるため、一般的な三角形に対しては famously 不十分 です。

直角三角形の場合、90°の角が組み込まれています。パターンが簡素化され、残りを決定づけるために指定する必要があるのはあと2つの要素だけです。4つの特殊な定理は、そのような最小限のペアを記述しています。

4つの直角三角形の合同条件

HL —— 唯一無二の公理

斜辺・脚（HL）とは：ある直角三角形の斜辺と1本の脚が、別の直角三角形の斜辺と1本の脚とそれぞれ等しければ、2つの三角形は合同である、というものです。

これが特別な理由：HLは、一般的に有効でないSSAの直角三角形版です。SSAでは0個、1個、または2個の三角形が生じ得ますが、SSAにおける角が直角である場合、第三の辺は（三平方の定理によって）強制されます。つまり、直角三角形におけるSSAは有効なSSSに帰着します。

HLは、4つの直角三角形の定理の中で、三平方の定理を用いずに一般的なSSS／SAS／ASA／AASの規則からの副定理として証明できない唯一のものであり、他の3つは90°の角が暗黙に含まれる直接的な言い換えです。

LL —— 脚・脚（＝SAS）

ある直角三角形の両方の脚が、別の直角三角形の両方の脚と等しければ、2つの三角形は合同です。2本の脚は直角で交わる2辺なので、直角は間の角となります。これは、間の角が事前に90°と指定されているだけのSASです。

LA —— 脚・角

ある直角三角形の1本の脚と1つの鋭角（および暗黙の直角）が、別の直角三角形のそれらと等しければ、2つの三角形は合同です。脚が2つの角の間にある場合はASAとなり、鋭角が与えられた脚の対辺にある場合はAASとなります。いずれの場合も、3つの情報（脚、直角、鋭角）が三角形を決定づけます。

HA —— 斜辺・角

2つの直角三角形間で、斜辺と1つの鋭角（および暗黙の直角）が一致すれば、それらは合同です。これはAASです。斜辺は直角の対辺であり、もう一方の角は鋭角なので、斜辺が「与えられた角の対辺」としての役割を果たすAASとなります。

worked example —— HLの使用

三角形1：脚が6と8、斜辺が10（6-8-10の直角三角形 ＝ 3-4-5の2倍）。
三角形2：脚が6と？、斜辺が10。

HLより、2つの三角形は合同でなければなりません。斜辺（10 = 10）と1本の脚（6 = 6）が一致しているからです。したがって、三角形2の未知の脚は、合同性により（あるいは同等に、三平方の定理により：√(100 − 36) = 8）、8となります。

worked example —— LLの使用

三角形1：脚が5と12。
三角形2：脚が5と12。

LL（＝間の角が90°のSAS）より、三角形は合同です。斜辺は、√(25 + 144) = √169 = 13 で両方とも同じです。これは5-12-13の直角三角形です。

証明においてこれが重要な理由

2段証明では、すべての手順に根拠が必要です。「HL」、「LL」、「LA」、「HA」は、SSS／SAS／ASA／AASの連鎖をすべて書き出す手間を省く、認められた根拠です。多くの教科書の問題では、これらの略語のいずれかを使用することが明示的に要求されています。

この計算機の「AI Solve」ボタンは、入力に応じて適切な4つの定理のいずれかを使用して、段階的な証明を生成します。手書きで書いた証明の確認や、合同であると推測している2つの三角形が本当に合同である理由を理解するのに役立ちます。

よくある間違い

• HLに「SSA」という名前を使うこと。 直角三角形のHLは本質的に直角を含むSSAですが、それを有効にするのは直角三角形という文脈です。直角という修飾子なしに単に「SSA」と呼ぶのは誤りです。
• 角度を指定せずにLAを扱うこと。 「脚・角」は、2つの鋭角がある場合、曖昧になります。どの鋭角が一致しているのかを具体的に指定してください。三角形を合同にするには、2つの鋭角の両方が一致する必要があります（和が90°であるため、一方が分かれば他方も決まるため）。
• 直角が必要であることを忘れること。 4つの定理すべてにおいて、両方の三角形が直角三角形であることが必要です。脚と斜辺が一致する2つの非直角三角形は、必ずしも合同ではありません。
• 合同と相似を混同すること。 合同な三角形は同一（形状もサイズも同じ）です。相似な三角形は形状が同じでも、スケールが異なる場合があります。HL／HA／LA／LLは合同を証明します。相似については、AA／SSS相似／SAS相似を使用してください。