Propriété associative de l'addition
(2 + 3) + 4 et 2 + (3 + 4) valent tous deux 9 : la propriété associative est vérifiée. Saisissez trois nombres quelconques et voyez les deux regroupements calculés côte à côte, avec un oui ou un non net sur leur égalité. Gratuit dans votre navigateur.
- Gratuit
- Fonctionne dans votre navigateur
- Sans inscription
- Vos données restent sur votre appareil
Lancer gratuitement
Exemple résolu
- A
- 2
- B
- 3
- C
- 4
- Somme de gauche
- 9
- Somme de droite
- 9
- Regroupement de gauche
- (2 + 3) + 4
- Regroupement de droite
- 2 + (3 + 4)
La propriété associative de l'addition affirme que le groupement ne change pas la somme de trois nombres : (a + b) + c égale a + (b + c). Cette calculatrice accepte trois nombres finis a, b et c, évalue le groupement gauche (a + b) + c et le droit a + (b + c), et renvoie si ces deux sommes coïncident, avec les deux totaux.
Ce que signifie la propriété associative de l'addition
L'addition des réels est associative : lorsqu'on combine trois termes, les parenthèses peuvent se déplacer sans changer le total. Écrite en formule, (a + b) + c égale a + (b + c) pour tout a, b et c réels. Le groupement gauche additionne d'abord a à b puis ajoute c ; le droit additionne d'abord b à c puis ajoute a.
Sur la droite numérique les deux chemins couvrent le même déplacement net, c'est pourquoi les manuels élémentaires traitent l'identité comme une loi plutôt que comme une coïncidence de quelques exemples. Cette même loi permet à un caissier de totaliser un panier selon n'importe quel ordre de groupement, à un tableur de plier une colonne depuis le haut ou depuis une paire imbriquée, et à l'algèbre de réécrire a + (b + c) en (a + b) + c en factorisant ou en regroupant les termes semblables.
Cette capacité n'est pas un additionneur générique de trois nombres qui cache le groupement : elle calcule les deux côtés exprès et indique s'ils coïncident. Cette distinction compte pour la recherche. Qui saisit propriété associative de l'addition veut le contrôle de groupement vu à l'instant sur une fiche, pas une somme sans étiquette.
Il veut voir (2 + 3) + 4 à côté de 2 + (3 + 4) et un oui clair lorsque les deux valent neuf. Il veut aussi le résultat honnête de la machine lorsque les termes sont si éloignés en grandeur que l'arrondi binary64 brise la loi. En renvoyant les deux sommes, les chaînes de groupement, un indicateur holds et un message d'une ligne, le point d'accès rend la loi inspectable au lieu de la présumer.
Zéro, négatifs et décimaux sont des termes licites ; seule l'entrée non finie est rejetée. La vérification est déterministe, n'utilise ni horloge ni réseau, et se prête donc aux tests figés et à l'exécution gratuite dans le navigateur.
Où un contrôle associatif justifie sa place
Les salles de classe et les plateformes de tutorat utilisent un vérificateur de la propriété associative de l'addition pour que les élèves confirment les deux groupements pour des a, b et c quelconques sans glisser une parenthèse à la main puis additionner deux fois. Les générateurs de préparation d'examens ont besoin d'un oracle déterministe qui marque un terme non fini comme invalide au lieu de le forcer silencieusement à zéro. Une validation en échec ne consomme pas le solde.
Gardez les trois termes finis, figez les deux sommes et l'indicateur holds dans les tests, et vous obtenez un contrôle de groupement reproductible pour les devoirs, les greffons LMS et les workers de bord, sans dresser votre propre pile d'algèbre informatique ni apprendre à un tableur à comparer deux formules SUM imbriquées.
Cas d’usage
Contrôles en classe et devoirs
Permettez aux élèves d'envoyer trois termes et de vérifier que (a + b) + c égale a + (b + c), avec les deux chaînes de groupement à côté des sommes.
Questions fréquentes
Qu'est-ce que la propriété associative de l'addition ?
C'est l'identité (a + b) + c = a + (b + c) : grouper trois termes ne change pas la somme en arithmétique réelle exacte. Cet outil évalue les deux groupements et indique si les résultats machine coïncident.
Que se passe-t-il si un terme n'est pas un nombre fini ?
Valeurs manquantes, chaînes vides, NaN et Infinity sont rejetés et ne sont pas facturés.
Les deux regroupements peuvent-ils donner des résultats différents ?
En arithmétique exacte, jamais. Mais sur un ordinateur, additionner des nombres de tailles très différentes peut s'arrondir autrement selon le regroupement, et le calculateur affiche ce résultat réel au lieu de supposer la loi vraie.
Puis-je utiliser des nombres négatifs ou décimaux ?
Oui. Le zéro, les nombres négatifs et les décimaux sont acceptés. Seules les valeurs qui ne sont pas des nombres finis sont refusées, avec un message qui indique laquelle des trois corriger.
Que montre le résultat ?
Les deux regroupements écrits avec vos nombres, par exemple (2 + 3) + 4 et 2 + (3 + 4), le total de chacun, ici 9 et 9, et une phrase claire indiquant si les deux totaux sont égaux.
Outils associés
Pour les développeurs — accès API
Tout sur cette page est disponible par programmation. Cette section s'adresse aux équipes qui veulent l'intégrer à leurs systèmes ; les autres peuvent simplement utiliser l'outil ci-dessus.
Endpoint
Authentification par jeton Bearer : un seul POST met la tâche en file d’attente, et le résultat vous parvient par webhook ou lien signé.
Appeler depuis votre stack
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)Exemple de requête
{
"a": 2,
"b": 3,
"c": 4
}Exemple de réponse
{
"task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
"type": "math.associative_property",
"status": "queued",
"_links": {
"result": "/tasks/tsk_…/result"
}
}L’API est asynchrone : chaque appel renvoie un task_id immédiatement, puis vous interrogez l’état à raison d’une requête par seconde.
Tarifs
Le prix est publié, sans tokens ni crédits. Une tâche qui échoue n’est pas facturée.
Erreurs
| HTTP | Code | Signification |
|---|---|---|
401 | unauthorized | Clé API absente ou invalide : vérifiez l’en-tête Authorization. |
402 | insufficient_balance | Solde insuffisant : rechargez votre compte pour lancer cette tâche. |
404 | unknown_type | Type de tâche inconnu : vérifiez le champ type de votre requête. |
429 | rate_limited | Trop de requêtes : ralentissez la cadence, puis réessayez. |
Notes techniques
Élèves, tuteurs et outils de préparation aux examens ont besoin d'une vérification rapide que les deux groupements produisent vraiment le même résultat, y compris dans les cas gênants où l'arrondi en virgule flottante fait diverger les deux sommes IEEE. Les valeurs non finies, les champs manquants et les chaînes vides échouent avec invalid_input et ne sont pas facturés.
Contrat d'entrée, forme de la réponse et erreurs
Si un groupement déborde vers une valeur non finie, la tâche est rejetée plutôt que sérialisée en null. Associez la charge à vos propres libellés ou à un croquis de la droite ; ce point d'accès n'émet ni graphiques ni prose de classe pas à pas au-delà des chaînes de groupement et du message. Limitez les requêtes à trois scalaires. Envoyez un corps JSON avec trois nombres finis obligatoires : a, le premier terme ; b, le deuxième ; et c, le troisième. Chaque champ peut arriver comme nombre JSON ou comme chaîne numérique. Les alias x, first pour a, y, second pour b, et z, third pour c sont acceptés lorsque le nom canonique est omis, si bien qu'un formulaire libellé first, second, third continue de lier. Champs manquants, chaînes vides, booléens, objets, NaN et Infinity échouent avec invalid_input en nommant le champ et ne sont pas facturés. En cas de succès le corps renvoie en écho les termes analysés a, b et c ; renvoie left_sum comme (a + b) + c ; renvoie right_sum comme a + (b + c) ; met holds à true lorsque ces deux nombres coïncident et à false lorsque l'arrondi IEEE-754 les a fait différer ; liste left_grouping et right_grouping comme chaînes d'affichage telles que (2 + 3) + 4 et 2 + (3 + 4) ; réaffirme l'identité dans formula ; et inclut un court message. Exemple : a vaut deux, b vaut trois, c vaut quatre donnent left_sum neuf, right_sum neuf et holds true. Exemple : a vaut un fois dix à la seize, b vaut l'opposé de cela et c vaut un donnent left_sum un et right_sum zéro, donc holds est false — un contre-exemple classique de binary64, non un bogue du vérificateur. Il n'y a pas de champ de précision : la comparaison est l'égalité IEEE exacte, le contrat honnête d'un contrôle machine d'une loi des réels.
Où un contrôle associatif justifie sa place
Les scripts de comptabilité et de stocks qui plient trois montants avec des parenthésages différents peuvent appeler le même contrôle avant de supposer que les deux sous-totaux coïncideront en arithmétique IEEE. Parce que l'implémentation est parse pure de niveau A, chaque appel réussi coûte le prix de base publié $0.002 sans jetons de modèle ni réseau sortant.
Cas d'intégration
Examens et notation automatique LMS
Notez les items de propriété associative avec un oracle déterministe qui refuse une entrée non finie et n'invente jamais une coïncidence lorsque l'arrondi IEEE sépare les deux sommes.
Tests de régression de bibliothèques numériques
Figez left_sum, right_sum et holds pour les triples de classe et pour le contre-exemple 1e16, -1e16, 1 lors de la refactorisation d'aides à l'addition.
Questions techniques
Quels trois nombres dois-je envoyer ?
Envoyez des nombres finis a, b et c (alias first/second/third ou x/y/z). L'API renvoie left_sum = (a+b)+c, right_sum = a+(b+c) et holds true lorsque ces sommes coïncident.
Le contrôle peut-il renvoyer false ?
Oui. L'addition binary64 n'est pas associative. Un cas classique est a = 1e16, b = -1e16, c = 1 : le groupement gauche vaut 1 et le droit vaut 0, donc holds est false.
Combien coûte le vérificateur de la propriété associative ?
L'outil du navigateur est gratuit. Les requêtes API utilisent le solde prépayé KIT à $0.002 par appel réussi ; une entrée invalide n'est pas facturée.