角度加法公理計算機

角の加法公理は、平面幾何学の基礎的な公理の一つです。これは次のように述べています：点Bが角∠AOCの内側にある場合、2つの小さな角∠AOBと∠BOCを合わせると、ちょうど大きな角を満たします。式で表すと：

∠AOC = ∠AOB + ∠BOC

この単純に見える命題は、幾何学証明において最も頻繁に使用される道具の一つです。大きな角を既知の小さな部分に分解したり、既知の部分を組み合わせて合計を求めたりすることができます。このチュートリアルでは、この公理の正確な意味、「間」の条件、および証明での使用方法について解説します。

設定

3本の半直線OA、OB、OCは、共通の端点（頂点）Oを持っています。半直線OBが半直線OAとOCの「間」にある、つまりBがOAとOCによって形成される角の内側にあると仮定します。

このとき、∠AOCはOAからOCへの「大きな」角であり、∠AOBと∠BOCはOBによって分割された2つの「小さな」角です。

公理は次のことを示しています：大きな角 = 小さな部分の和。

「間」という条件が重要

角の加法公理は、半直線OBが半直線OAとOCの間にある場合にのみ適用されます。OBが角の外側（一方の半直線の反対側）にある場合、公理は直接適用されません。符号や配置が異なる和の関係が得られるかもしれませんが、そのままでは使えません。

「間」とはどのような意味か：OBを描くことは、∠AOCの内側から始まることを意味します。OAからOCへ掃引していくと、OBを通ります。

公理を使う3つの方法

「間」の条件が満たされると、公理は計算上の3つのショートカットを提供します：

1. 部分から合計： ∠AOBと∠BOCが既知の場合、∠AOC = ∠AOB + ∠BOCとなります。
2. 合計と他の部分から1つの部分： ∠AOB = ∠AOC − ∠BOCとなります。
3. 分解： ∠AOC = ∠AOB + ∠BOCは、さらに多くの半直線が角を分割する場合、さらに細かく分割できます。

これは電卓の役割です：3つの値のうち任意の2つを入力すると、残りの1つが得られます。

worked example 1 — 部分の和

半直線OBは半直線OAとOCの間にあります。∠AOB = 35°、∠BOC = 50°です。∠AOCを求めてください。

∠AOC = ∠AOB + ∠BOC = 35° + 50° = 85°。

worked example 2 — 合計から部分を見つける

半直線OBはOAとOCの間にあります。∠AOC = 120°、∠AOB = 45°です。∠BOCを求めてください。

∠BOC = ∠AOC − ∠AOB = 120° − 45° = 75°。

worked example 3 — 公理を用いた証明の設定

幾何学証明では、以下のような状況に出会うことがあります：

与えられた条件： ∠AOC = 90°。∠AOB = ∠BOC。∠AOBを求めてください。

ステップ1：角の加法を適用：∠AOC = ∠AOB + ∠BOC。
ステップ2：与えられた等式（∠AOB = ∠BOC）を代入：90° = 2 × ∠AOB。
ステップ3：解く：∠AOB = 45°。

この3ステップの証明は、公理と代数的置換性質を組み合わせたものです。これは入門幾何学で非常に一般的なパターンです。

角の二等分線と角の加法

角の二等分線とは、角を2つの等しい部分に分割する半直線です。角の加法公理により：

半直線OBが∠AOCを二等分する場合、∠AOC = ∠AOB + ∠BOC = 2 × ∠AOBとなります。

したがって、各小さな角は合計のちょうど半分です。これが角の二等分線を議論する形式的な方法です。二等分する性質と角の加法公理を組み合わせることによって表現されます。

角の減法公理

定理（corollary）、時には「角の減法公理」と呼ばれるもの：等しい角から等しい角を引くと、差は等しくなります。記号的には：

∠AOC = ∠DEF かつ ∠AOB = ∠DEG （BがOAとOCの間、GがDEとDFの間にある場合）、then ∠BOC = ∠GEF。

これは角の加法公理に代数を適用したものに過ぎませんが、2列証明で有用なため、別に名前が付けられています。

多段階の分解

この公理は、より多くの半直線に拡張されます。4本の半直線OA、OB、OC、ODが頂点を共有し（OBとOCがOAとODの間にある場合）、次のようになります：

∠AOD = ∠AOB + ∠BOC + ∠COD

和は拡張されます：半直線が内側の順序で配置されていれば、任意の「大きな」角は連続する小さな角の和に分解できます。

証明における公理の出現箇所

• 三角形の内角。 頂点における三角形の内角は、セビアン（頂点から対辺への線）が引かれると2つの部分角に分割できます。完全な角 = 部分の和。
• 平行線の角度証明。 横断線が頂点で複数の部分角を作成する場合、角の加法を使ってそれらを組み合わせることができます。
• 多角形の分解。 内角の和の計算には、しばしば多角形の頂点角を部分に分解することが含まれます。
• 角の二等分線の証明。 二等分された角の2つの半分が等しいことを示すには、角の加法と二等分線の定義を使用します。

よくある間違い

• 「間」の条件を無視する。 公理では、半直線OBが∠AOCの内側にある必要があります。OBがOAまたはOCと同じ側にある場合、または完全に角の外側にある場合、単純な和の形式は適用されません。
• 隣接角（linear pair）/補角の関係と混同する。 隣接角（一直線上を形成する角）の和は180°です。これは別の概念です。角の加法は180°を与えることができます（∠AOCが直角の場合）、しかしそれは構成がそのように設定されている場合に限ります。
• 同じ頂点にない角を加算する。 角の加法では、3つの角すべてが頂点Oを共有する必要があります。異なる頂点にある角は、この公理を通じて組み合わされません。
• 「加算」を度数の加算と半直線の端点の加算の両方を意味するとして使用する。 公理は角度の測定（度単位）に関するものであり、半直線の構築に関するものではありません。「加算」は数値的なものです。