この用語はまだ監査を通っていません（未確認）。
角の加法公理
かくのかほうこうり 対応する語がないangle addition postulate
名詞
CK-12 Geometry は angle addition postulate と呼ぶ（1.9 Measuring Angles ほか、5 件）。用例コーパスには出てこない。見出しの「角の加法公理」は学習指導要領解説に無い、本プロジェクトの訳語。日本の教科書は ∠AOB + ∠BOC = ∠AOC に名前をつけない。英語名は、点 B が ∠AOC の内部にあれば角の大きさがこのように足せるという性質を公理として立てたときの名前。
式と読み方
the measure of angle AOB plus the measure of angle BOC equals the measure of angle AOC
定義
点 B が ∠AOC の内部にあるとき、∠AOB + ∠BOC = ∠AOC が成り立つ、という公理。
The postulate that if point B lies in the interior of angle AOC, then the measure of angle AOB plus the measure of angle BOC equals the measure of angle AOC.
例文
話し言葉 By the angle addition postulate, these two little angles add up to the big one, so 3x + 20 + x = 100. 角の加法公理より、小さい 2 つの角を足すと大きい角になるから、3x + 20 + x = 100。
書き言葉・答案 Point B is in the interior of ∠AOC, m∠AOB = 38°, and m∠AOC = 115°. Use the angle addition postulate to find m∠BOC. 点 B は ∠AOC の内部にあり、∠AOB = 38°、∠AOC = 115° である。∠BOC を求めよ。
言い間違えやすいところ
- 英語の幾何には、角の大きさを m∠AOB と書いて角そのもの ∠AOB と区別する書き方がある。日本の教科書は ∠AOB = 38° のように同じ記号で大きさも表す。
- 三角関数の加法定理（sin(α + β) = …）は angle addition formulas で、この公理とは別物。
根拠の件数
用例コーパスで数えた件数はありません（数えない言い方か、どの取得元にも出てこなかった言い方です）。