加法の結合法則
(2 + 3) + 4と2 + (3 + 4)はどちらも9なので、結合法則が成り立ちます。3つの数を入力すると、2通りのまとめ方を並べて計算し、一致するかどうかをはっきり示します。ブラウザで無料で使えます。
- 無料
- ブラウザで動作
- 登録不要
- データは端末の外に出ません
無料で実行
計算例
- A
- 2
- B
- 3
- C
- 4
- 左辺の和
- 9
- 右辺の和
- 9
- 左側のグループ化
- (2 + 3) + 4
- 右側のグループ化
- 2 + (3 + 4)
加法の結合法則は、三つの数の和は括弧の付け方で変わらないと述べます。(a + b) + c は a + (b + c) に等しい、ということです。
加法の結合法則が意味すること
実数の加法は結合的です。三つの加数を合わせるとき、括弧は合計を変えずに動かせます。公式では、任意の実数 a、b、c について (a + b) + c は a + (b + c) に等しい、と書きます。
左の括弧付けは先に a と b を足してから c を足し、右の括弧付けは先に b と c を足してから a を足します。数直線上では二つの道が同じ正味の移動を覆うため、小学校の教科書はこの恒等式を少数の例の偶然ではなく法則として扱います。
同じ法則のおかげで、レジはどの括弧順でも籠を合計でき、表計算は列を上からでも入れ子の対からでも畳め、代数は因数分解や同類項のまとめのときに a + (b + c) を (a + b) + c へ書き直せます。この機能は括弧付けを隠す汎用の三数加算器ではありません。両辺を意図して計算し、一致するかを報告します。
検索ではその違いが重要です。加法の結合法則と入力する人は、今見たプリントの括弧照合を求めており、ラベルのない合計ではありません。(2 + 3) + 4 を 2 + (3 + 4) の横に見て、どちらも九なら明確な肯定を望みます。
加数の桁が大きく離れ、binary64 の丸めが法則を破るときの、機械としての正直な結果も望みます。両方の和、括弧付け文字列、holds 旗、一行のメッセージを返すことで、端点は法則を前提ではなく検査可能なものにします。ゼロ、負数、小数はいずれも合法な加数で、拒否されるのは非有限の入力だけです。
判定は決定的で、時計も通信も使わないため、試験に固定でき、ブラウザでも無料で実行できます。
結合法則の照合が役立つ場所
教室や家庭教師の基盤は、学習者が任意の a、b、c について両方の括弧付けを、手で括弧をずらして二度足すことなく確認できるよう、加法の結合法則チェッカーを使います。試験準備の生成器は、非有限の加数を無効とし、黙って零へ強制しない決定的な神託を必要とします。
将来、別の順で足し始める変更があれば、よく知られた 1e16、-1e16、1 の三つ組で holds が偽になるからです。検証失敗は残高を消費しません。
三つの加数を有限に保ち、試験に二つの和と holds 旗を固定すれば、宿題、LMS プラグイン、エッジワーカー向けに再現可能な括弧照合が得られ、独自の数式処理一式を立てたり、表計算に入れ子の SUM 式を比べさせたりする必要はありません。
活用例
教室と宿題の確認
学習者に三つの加数を送らせ、(a + b) + c が a + (b + c) に等しいことを、両方の括弧付け文字列を和の横に出して確かめさせます。
よくある質問
加法の結合法則とは何ですか?
恒等式 (a + b) + c = a + (b + c) です。正確な実数算術では、三つの加数の括弧付けは和を変えません。この道具は両方の括弧付けを評価し、機械の結果が一致するかを報告します。
加数が有限数でないとどうなりますか?
欠落、空文字、NaN、Infinity は拒否され、課金されません。
2通りのまとめ方で結果が違うことはありますか?
正確な計算では決してありません。ただしコンピューターでは、大きさが極端に違う数を足すと、まとめ方によって丸め方が変わることがあり、計算機はその実際の結果をそのまま示します。
負の数や小数も使えますか?
はい、使えます。0、負の数、小数はすべて有効です。有限の数でない値だけは受け付けず、3つのうちどれを直せばよいかをお知らせします。
結果には何が表示されますか?
入力した数で書いた2通りの式、たとえば(2 + 3) + 4と2 + (3 + 4)、それぞれの合計(ここでは9と9)、そして2つの合計が一致するかどうかが表示されます。
関連ツール
開発者向け — APIアクセス
このページの機能はすべてAPIからも利用できます。自社システムに組み込みたいチーム向けのセクションです。それ以外の方は上のツールをそのままお使いください。
エンドポイント
Bearerトークンで認証し、POST1回でタスクをキューに登録します。結果はWebhookまたは署名付きリンクで受け取れます。
お使いのスタックから呼び出す
curl -X POST https://api.kit.forhosting.com/math/associative-property \
-H "Authorization: Bearer $KIT_KEY" \
-H "Content-Type: application/json" \
-d '{"a":2,"b":3,"c":4}'const res = await fetch("https://api.kit.forhosting.com/math/associative-property", {
method: "POST",
headers: {
"Authorization": `Bearer ${process.env.KIT_KEY}`,
"Content-Type": "application/json"
},
body: JSON.stringify({
"a": 2,
"b": 3,
"c": 4
})
});
const { task_id } = await res.json();import os, requests
res = requests.post(
"https://api.kit.forhosting.com/math/associative-property",
headers={"Authorization": f"Bearer {os.environ['KIT_KEY']}"},
json={
"a": 2,
"b": 3,
"c": 4
},
)
task_id = res.json()["task_id"]<?php
$res = file_get_contents("https://api.kit.forhosting.com/math/associative-property", false, stream_context_create([
"http" => [
"method" => "POST",
"header" => "Authorization: Bearer " . getenv("KIT_KEY") . "\r\nContent-Type: application/json",
"content" => '{"a":2,"b":3,"c":4}',
],
]));
$task = json_decode($res, true);body := bytes.NewBufferString(`{"a":2,"b":3,"c":4}`)
req, _ := http.NewRequest("POST", "https://api.kit.forhosting.com/math/associative-property", body)
req.Header.Set("Authorization", "Bearer "+os.Getenv("KIT_KEY"))
req.Header.Set("Content-Type", "application/json")
res, _ := http.DefaultClient.Do(req)リクエスト例
{
"a": 2,
"b": 3,
"c": 4
}レスポンス例
{
"task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
"type": "math.associative_property",
"status": "queued",
"_links": {
"result": "/tasks/tsk_…/result"
}
}非同期APIです。task_idは即時に返ります。ポーリングは1秒あたり1リクエストまでです。
料金
単価はすべて公開しています。トークン換算や独自クレジットはありません。失敗したタスクは課金されません。
エラー
| HTTP | コード | 意味 |
|---|---|---|
401 | unauthorized | APIキーが無効か、指定されていません。Authorizationヘッダーを確認してください。 |
402 | insufficient_balance | 残高が不足しています。チャージ後に再度お試しください。 |
404 | unknown_type | 指定されたタスクタイプは存在しません。タイプ名を確認してください。 |
429 | rate_limited | リクエストが多すぎます。しばらく待ってから再度お試しください。 |
技術的な注記
学習者、指導者、試験準備の道具は、両方の括弧付けが本当に同じ結果になるかを素早く確認する必要があり、浮動小数の丸めで二つの IEEE 和が食い違う厄介な場合も含みます。この計算機は有限の数 a、b、c を受け取り、左の括弧付け (a + b) + c と右の括弧付け a + (b + c) を評価し、二つの和が等しいかどうかと両方の合計を返します。非有限値、欠落欄、空文字は invalid_input で失敗し、課金されません。
入力契約、応答の形、誤り時の振る舞い
a は第一の加数、b は第二、c は第三です。括弧付けが非有限へ溢れた場合は null として直列化せず、依頼を拒否します。ラベルや数直線の略図はご自身で付けてください。この端点は括弧付け文字列とメッセージを超える図や授業用の段階解説は出しません。依頼は三つのスカラーに限ってください。必須の有限数を三つ含む JSON 本体を POST してください。各欄は JSON 数でも数字列でも構いません。正規名を省いたときは、a の別名 x と first、b の y と second、c の z と third を受け付けるので、first、second、third と書いたフォームでも結びます。欠落、空文字、真偽値、オブジェクト、NaN、Infinity は該当欄を示す invalid_input で失敗し、課金されません。成功時は解析した加数 a、b、c をエコーし、left_sum を (a + b) + c として返し、right_sum を a + (b + c) として返し、その二数が等しければ holds を true、IEEE-754 の丸めで食い違えば false にし、left_grouping と right_grouping を (2 + 3) + 4 および 2 + (3 + 4) のような表示文字列として列挙し、恒等式を formula に再掲し、短いメッセージを付けます。例: a が二、b が三、c が四なら left_sum は九、right_sum は九、holds は true です。例: a が十の十六乗、b がその負、c が一なら left_sum は一、right_sum は零となり、holds は false です。これは binary64 の典型的な反例であり、判定器の不具合ではありません。精度欄はありません。 比較は正確な IEEE 相等であり、実数の法則を機械で確かめるための正直な契約です。
結合法則の照合が役立つ場所
ライブラリ作者は数値ヘルパーを作り直すとき、holds、left_sum、right_sum を回帰試験に固定します。異なる括弧付けで三つの金額を畳む会計・在庫スクリプトは、二つの小計が IEEE 算術で一致すると仮定する前に、同じ照合を呼べます。実装は純粋な parse の段階 A のため、成功した呼び出しは公開の基本料金 $0.002 のみで、モデルトークンも外向き通信もありません。
連携の活用例
試験と LMS 自動採点
非有限入力を拒否し、IEEE 丸めで二つの和が割れたときに一致を捏造しない決定的な神託で、結合法則の設問を採点します。
数値ライブラリの回帰試験
加法ヘルパーを作り直すとき、教室の三つ組と反例 1e16、-1e16、1 について left_sum、right_sum、holds を固定します。
技術的な質問
どの三つの数を送ればよいですか。
有限数 a、b、c を送ってください(別名 first/second/third または x/y/z)。API は left_sum = (a+b)+c、right_sum = a+(b+c)、それらの和が等しければ holds true を返します。
判定が false を返すことはありますか。
あります。binary64 の加法は結合的ではありません。典型例は a = 1e16、b = -1e16、c = 1 で、左の括弧付けは 1、右は 0 となり、holds は false です。
結合法則チェッカーの料金はいくらですか。
ブラウザの道具は無料です。API 依頼は成功1回あたり $0.002 の前払い KIT 残高を使い、不正な入力は課金されません。